A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design
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 wellestablished 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
Computing Methodologies, Model Verification, Model Validation, SysML, Formal Methods
83-84
Association for Computing Machinery
Thorburn, Robert
da604f04-44b0-4d81-80de-0c9e64f985c3
Sassone, Vladimiro
df7d3c83-2aa0-4571-be94-9473b07b03e7
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Aniello, Leonardo
9846e2e4-1303-4b8b-9092-5d8e9bb514c3
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Dghaym, Dana
b7b69fe2-c9ff-43ad-a6ba-8b41d6fd19fc
Hoang, Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
28 October 2022
Thorburn, Robert
da604f04-44b0-4d81-80de-0c9e64f985c3
Sassone, Vladimiro
df7d3c83-2aa0-4571-be94-9473b07b03e7
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Aniello, Leonardo
9846e2e4-1303-4b8b-9092-5d8e9bb514c3
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Dghaym, Dana
b7b69fe2-c9ff-43ad-a6ba-8b41d6fd19fc
Hoang, Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Thorburn, Robert, Sassone, Vladimiro, Salehi Fathabadi, Asieh, Aniello, Leonardo, Butler, Michael, Dghaym, Dana and Hoang, Son
(2022)
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design.
In Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings.
Association for Computing Machinery.
.
(doi:10.1145/3550356.3559577).
Record type:
Conference or Workshop Item
(Paper)
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 wellestablished 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
Text
A_Lightweight_Approach_to_the_Concurrent_Use_and_Integration_of_SysML_and_Formal_Methods_in_Systems_Design
- Accepted Manuscript
More information
Published date: 28 October 2022
Venue - Dates:
25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, , Montreal, Canada, 2022-10-23 - 2022-10-28
Keywords:
Computing Methodologies, Model Verification, Model Validation, SysML, Formal Methods
Identifiers
Local EPrints ID: 472968
URI: http://eprints.soton.ac.uk/id/eprint/472968
PURE UUID: 9022c4cd-c3cc-4e78-a080-4c2260be0a66
Catalogue record
Date deposited: 06 Jan 2023 13:48
Last modified: 27 May 2026 02:01
Export record
Altmetrics
Contributors
Author:
Robert Thorburn
Author:
Vladimiro Sassone
Author:
Asieh Salehi Fathabadi
Author:
Leonardo Aniello
Author:
Michael Butler
Author:
Dana Dghaym
Author:
Son Hoang
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics