Skip to main content
SpringerLink
Log in
Book cover

International Conference on Software and Software Reuse

ICSR 2020: Reuse in Emerging Software Engineering Practices pp 19–34Cite as

Safety Patterns for SysML: What Does OMG Specify?

  • Conference paper
  • First Online:

  • 632 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 12541))

Abstract

The Systems Modeling Language (SysML) represents a significant and increasing segment of industrial support for building critical systems. The Object Management Group (OMG) has been releasing and revising the formal specification of SysML since 2007, with version 1.6 recently formalized in November 2019. However, little is known about what OMG specifies and how the official specification influences model-driven engineering (MDE). To fill the gap, we present a new way of analyzing the OMG SysML specification (version 1.6) to uncover reusable guidelines and constraints for safe MDE practice. We illustrate our approach with the discovery of the recurring “Asset Leakage” safety pattern and the development of a semantic-role-based theory to support practitioners’ identification, formulation, and verification of critical properties in their modeling contexts.

DISTRIBUTION STATEMENT A: Approved for public release: distribution unlimited. Approval ID: 88ABW-2020-1390.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Alenazi, M., Niu, N., Savolainen, J.: A novel approach to tracing safety requirements and state-based design models. In: International Conference on Software Engineering, pp. 848–860 (2020)

    Google Scholar 

  2. Alenazi, M., Niu, N., Savolainen, J.: SysML modeling mistakes and their impacts on requirements. In: International Model-Driven Requirements Engineering Workshop, pp. 14–23 (2019)

    Google Scholar 

  3. Alenazi, M., Niu, N., Wang, W., Gupta, A.: Traceability for automated production systems: a position paper. In: International Model-Driven Requirements Engineering Workshop, pp. 51–55 (2017)

    Google Scholar 

  4. Alenazi, M., Niu, N., Wang, W., Savolainen, J.: Using obstacle analysis to support SysML-based model testing for cyber physical systems. In: International Model-Driven Requirements Engineering Workshop, pp. 46–55 (2018)

    Google Scholar 

  5. Alenazi, M., Reddy, D., Niu, N.: Assuring virtual PLC in the context of SysML models. In: International Conference on Software Reuse, pp. 121–136 (2018)

    Google Scholar 

  6. Bencomo, N., Götz, S., Song, H.: Models@run.time: a guided tour of the state of the art and research challenges. Software Syst. Model. 18(5), 3049–3082 (2019)

    Article  Google Scholar 

  7. Besnard, V., Brun, M., Jouault, F., Teodorov, C., Dhauss, P.: Unified LTL verification and embedded execution of UML models. In: International Conference on Model Driven Engineering Languages and Systems, pp. 112–122 (2018)

    Google Scholar 

  8. Besnard, V., Teodorov, C., Jouault, F., Brun, M., Dhaussy, P.: Verifying and monitoring UML models with observer automata: a transformation-free approach. In: International Conference on Model Driven Engineering Languages and Systems, pp. 161–171 (2019)

    Google Scholar 

  9. Bhowmik, T., Niu, N., Savolainen, J., Mahmoud, A.: Leveraging topic modeling and part-of-speech tagging to support combinational creativity in requirements engineering. Requirements Eng. 20(3), 253–280 (2015). https://doi.org/10.1007/s00766-015-0226-2

    Article  Google Scholar 

  10. Breaux, T.D., Antón, A.I., Doyle, J.: Semantic parameterization: a process for modeling domain descriptions. ACM Trans. Software Eng. Methodol. 18(2), 5:1–5:27 (2008)

    Article  Google Scholar 

  11. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001)

    Book  Google Scholar 

  12. Czepa, C., Amiri, A., Ntentos, E., Zdun, U.: Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability. Software Syst. Model. 18(6), 3331–3371 (2019)

    Article  Google Scholar 

  13. Czepa, C., Zdun, U.: How understandable are pattern-based behavioral constraints for novice software designers? ACM Trans. Softw. Eng. Methodol. 28(2), 11:1–11:38 (2019)

    Article  Google Scholar 

  14. Czepa, C., Zdun, U.: On the understandability of temporal properties formalized in linear temporal logic, property specification patterns and event processing language. IEEE Trans. Software Eng. 46(1), 100–112 (2020)

    Article  Google Scholar 

  15. Dadeau, F., Fourneret, E., Bouchelaghem, A.: Temporal property patterns for model-based testing from UML/OCL. Softw. Syst. Model. 18(2), 865–888 (2017). https://doi.org/10.1007/s10270-017-0635-4

    Article  Google Scholar 

  16. Fillmore, C.J., Baker, C.F.: Frame semantics for text understanding. In: WordNet and Other Lexical Resources Workshop (2001)

    Google Scholar 

  17. García-Domínguez, A., Bencomo, N., Ullauri, J.M.P., Paucar, L.H.G.: Querying and annotating model histories with time-aware patterns. In: International Conference on Model Driven Engineering Languages and Systems, pp. 194–204 (2019)

    Google Scholar 

  18. Dou, W., Bianculli, D., Briand, L.C.: Model-driven trace diagnostics for pattern-based temporal specifications. In: International Conference on Model Driven Engineering Languages and Systems, pp. 278–288 (2018)

    Google Scholar 

  19. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: International Conference on Software Engineering, pp. 411–420 (1999)

    Google Scholar 

  20. Goldsby, H., Cheng, B.: Automatically discovering properties that specify the latent behavior of UML models. In: International Conference on Model Driven Engineering Languages and Systems, pp. 316–330 (2010)

    Google Scholar 

  21. Guo, J., Wang, Y., Zhang, Z., Nummenmaa, J., Niu, N.: Model-driven approach to developing domain functional requirements in software product lines. IET Software 6(4), 391–401 (2012)

    Article  Google Scholar 

  22. International Organization for Standardization. Road Vehicles – Functional Safety (ISO 26262). https://www.iso.org/standard/68383.html. Accessed October 2020

    Google Scholar 

  23. Khatwani, C., Jin, X., Niu, N., Koshoffer, A., Newman, L., Savolainen, J.: Advancing viewpoint merging in requirements engineering: A theoretical replication and explanatory study. Requirements Eng. 22(3), 317–338 (2017)

    Article  Google Scholar 

  24. Liaskos, S., Lapouchnian, A., Yu, Y., Yu, E., Mylopoulos, J.: On goal-based variability acquisition and analysis. In: International Requirements Engineering Conference, pp. 76–85 (2006)

    Google Scholar 

  25. Mahmoud, A., Niu, N.: Supporting requirements to code traceability through refactoring. Requirements Eng. 19(3), 309–329 (2013). https://doi.org/10.1007/s00766-013-0197-0

    Article  Google Scholar 

  26. Montaghami, V., Rayside, D.: Pattern-based debugging of declarative models. In: International Conference on Model Driven Engineering Languages and Systems, pp. 322–327 (2015)

    Google Scholar 

  27. Niu, N., Easterbrook, S.: Extracting and modeling product line functional requirements. In: International Requirements Engineering Conference, pp. 155–164 (2008)

    Google Scholar 

  28. Niu, N., Koshoffer, A., Newman, L., Khatwani, C., Samarasinghe, C., Savolainen, J.: Advancing repeated research in requirements engineering: a theoretical replication of viewpoint merging. In: International Requirements Engineering Conference, pp. 186–195 (2016)

    Google Scholar 

  29. Niu, N., Reddivari, S., Chen, Z.: Keeping requirements on track via visual analytics. In: International Requirements Engineering Conference, pp. 205–214 (2013)

    Google Scholar 

  30. Niu, N., Wang, W., Gupta, A.: Gray links in the use of requirements traceability. In: International Symposium on Foundations of Software Engineering, pp. 384–395 (2016)

    Google Scholar 

  31. Ober, I., Graf, S., Ober, I.: Validating timed UML models by simulation and verification. Int. J. Softw. Tools Technol. Transfer 8(2), 128–145 (2006)

    Article  Google Scholar 

  32. Object Management Group. Systems Modeling Language (SysML). http://www.omgsysml.org. Accessed Oct 2020

  33. Object Management Group. Systems Modeling Language (SysML) Specification. https://www.omg.org/spec/SysML/. Accessed Oct 2020

    Google Scholar 

  34. Object Management Group. Systems Modeling Language (SysML) Specification (Version 1.6). https://www.omg.org/spec/SysML/1.6/PDF. Accessed Oct 2020

    Google Scholar 

  35. Reddivari, S., Chen, Z., Niu, N.: ReCVisu: a tool for clustering-based visual exploration of requirements. In: International Requirements Engineering Conference, pp. 327–328 (2012)

    Google Scholar 

  36. Schäfer, W., Wehrheim, H.: The challenges of building advanced mechatronic systems. In: International Conference on the Future of Software Engineering, pp. 72–84 (2007)

    Google Scholar 

  37. Strauss, A.L., Corbin, J.: Grounded Theory in Practice. Sage Publications, Thousand Oaks (1997)

    Google Scholar 

  38. Vale, T., Santana de Almeida, E., Alves, V., Kulesza, U., Niu, N., de Lima, R.: Software product lines traceability: a systematic mapping study. Inf. Softw. Technol. 84, 1–18 (2017)

    Article  Google Scholar 

  39. Wang, W., Gupta, A., Niu, N., Xu, L.D., Cheng, J.-R.C., Niu, Z.: Automatically tracing dependability requirements via term-based relevance feedback. IEEE Trans. Industr. Inf. 14(1), 342–349 (2018)

    Article  Google Scholar 

  40. Wang, W., Niu, N., Alenazi, M., Xu, L.D.: In-place traceability for automated production systems: a survey of PLC and SysML tools. IEEE Trans. Industr. Inf. 15(6), 3155–3162 (2019)

    Article  Google Scholar 

  41. Wang, W., Niu, N., Liu, H., Niu, Z.: Enhancing automated requirements traceability by resolving polysemy. In: International Requirements Engineering Conference, pp. 40–51 (2018)

    Google Scholar 

  42. Westland, T., Niu, N., Jha, R., Kapp, D., Kebede, T.: Relating the empirical foundations of attack generation and vulnerability discovery. In: International Conference on Information Reuse and Integration, pp. 37–44 (2020)

    Google Scholar 

Download references

Acknowledgments

We thank Raj Desai and Mounifah Alenazi from the University of Cincinnati for their assistances during data collection and analysis.

Author information

Authors and Affiliations

  1. University of Cincinnati, Cincinnati, OH, 45221, USA

    Nan Niu & Logan Johnson

  2. Edaptive Computing, Inc., Dayton, OH, 45458, USA

    Christopher Diltz

Authors
  1. Nan Niu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Logan Johnson
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Christopher Diltz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nan Niu .

Editor information

Editors and Affiliations

  1. Manouba University, Tunis, Tunisia

    Sihem Ben Sassi

  2. University of Lille, Inria, CNRS, Lille, France

    Stéphane Ducasse

  3. Université du Québec à Montréal, Montréal, QC, Canada

    Hafedh Mili

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Niu, N., Johnson, L., Diltz, C. (2020). Safety Patterns for SysML: What Does OMG Specify?. In: Ben Sassi, S., Ducasse, S., Mili, H. (eds) Reuse in Emerging Software Engineering Practices. ICSR 2020. Lecture Notes in Computer Science(), vol 12541. Springer, Cham. https://doi.org/10.1007/978-3-030-64694-3_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-64694-3_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-64693-6

  • Online ISBN: 978-3-030-64694-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation