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
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.
International Conference on Model Driven Engineering Languages and Systems, University of Montreal, Montreal, Canada.
23 - 28 Oct 2022.
.
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:
International Conference on Model Driven Engineering Languages and Systems, University of Montreal, 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: 17 Mar 2024 03:48
Export record
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
