poster

A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design

Authors:

Robert Thorburn,

Vladimiro Sassone,

Asieh Salehi Fathabadi,

Leonardo Aniello,

Michael Butler,

Dana Dghaym,

Thai Son HoangAuthors Info & Claims

MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings

Pages 83 - 84

https://doi.org/10.1145/3550356.3559577

Published: 09 November 2022 Publication History

Get Access

Abstract

Increased systems complexity and ubiquitous computing drive the need for improved systems design. Model-based systems engineering using general purpose languages such as SysML, is a well-established response to this challenge. However, for systems where correctness-by-construction is critical, formal methods are often also deployed. This is a significant undertaking often involving complete model translation. We address this problem by developing a novel requirements interchange system, presented as a SysML model library, to guide the concurrent use of SysML and formal models without requiring complete model translation.

References

[1]

Krzysztof Czarnecki and Simon Helsen. 2006. Feature-based Survey of Model Transformation Approaches. IBM systems journal 45, 3 (2006), 621--645.

Google Scholar

[2]

Sanford Friedenthal, Alan Moore, and Rick Steiner. 2014. A Practical Guide to SysML: the Systems Modeling Language (3rd ed.). Morgan Kaufmann, Waltham.

Google Scholar

[3]

Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, and Gabriele Taentzer. 2020. A Precedence-driven Approach for Concurrent Model Synchronization Scenarios Using Triple Graph Grammars. In Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering. 39--55.

Digital Library

Google Scholar

[4]

Holger Giese, Stephan Hildebrandt, and Stefan Neumann. 2010. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. In Graph transformations and model-driven engineering. Springer, 555--579.

Google Scholar

[5]

Satoko Kinoshita, Hidekazu Nishimura, Hiroki Takamura, and Daichi Mizuguchi. 2014. Describing Software Specification by Combining SysML with the B Method. In 2014 IEEE International Symposium on Software Reliability Engineering Workshops. IEEE, 146--151.

Digital Library

Google Scholar

Cited By

View all

Fathabadi ASnook CDghaym DHoang TAlotaibi FButler M(2024)Systematic hierarchical analysis of requirements for critical systemsInnovations in Systems and Software Engineering10.1007/s11334-024-00551-8Online publication date: 12-Mar-2024
https://doi.org/10.1007/s11334-024-00551-8

Index Terms

A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
      1. Model verification and validation

Recommendations

A proposed extension to the SysML requirements diagram
SE '08: Proceedings of the IASTED International Conference on Software Engineering

There are several approaches to document requirements, from totally informal and document-oriented to formal languages/methods that may represent requirements graphically. The SysML Requirements Diagram has the advantage of being created specifically to ...
Automated transformation of design text ROM diagram into SysML models

This paper proposes an approach to generating System Modeling Language (SysML) diagrams from a Recursive Object Model (ROM) diagram. The ROM diagram represents entities (or concepts) and three kinds of relations between these entities found in a ...
Model-based requirements specification of real-time systems with UML, SysML and MARTE

Activities of specification, analysis and design of real-time systems (RTS) are highly dependent on an effective understanding of the application domain and on the thorough representation of their basic requirements. Model-based approaches using ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings

October 2022

1003 pages

ISBN:9781450394673

DOI:10.1145/3550356

Conference Chairs:
Thomas Kühn
Karlsruhe Institute of Technology, Germany
,
Vasco Sousa
University of Montréal, Canada

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

In-Cooperation

Univ. of Montreal: University of Montreal
IEEE CS

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 November 2022

Check for updates

Author Tags

Qualifiers

Poster

Funding Sources

EPSRC

Conference

MODELS '22

Sponsor:

SIGSOFT

MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems

October 23 - 28, 2022

Quebec, Montreal, Canada

Acceptance Rates

Overall Acceptance Rate 144 of 506 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
89
Total Downloads

Downloads (Last 12 months)24
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Fathabadi ASnook CDghaym DHoang TAlotaibi FButler M(2024)Systematic hierarchical analysis of requirements for critical systemsInnovations in Systems and Software Engineering10.1007/s11334-024-00551-8Online publication date: 12-Mar-2024
https://doi.org/10.1007/s11334-024-00551-8

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

A proposed extension to the SysML requirements diagram

Automated transformation of design text ROM diagram into SysML models

Model-based requirements specification of real-time systems with UML, SysML and MARTE