Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification

Aamir Mehmood Khan 1 Frédéric Mallet 2 Rashid Muhammad 3
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
Inria de Paris, CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : To verify embedded systems early in the design stages, we need formal ways to requirements specification which can be as close as possible to natural language interpretation, away from the lower ESL/RTL levels. This paper proposes to contribute to the FSL (Formal Specification Level) by specifying natural language requirements graphically in the form of temporal patterns. Standard modeling artifacts like UML and MARTE are used to provide formal semantics of these graphical models allowing to eliminate ambiguity in specifications and automatic design verification at different abstraction levels using these patterns.
Document type :
Conference papers
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/hal-01394665
Contributor : Frédéric Mallet <>
Submitted on : Wednesday, December 21, 2016 - 5:50:28 PM
Last modification on : Wednesday, November 7, 2018 - 1:09:46 AM
Long-term archiving on : Monday, March 20, 2017 - 9:34:07 PM

File

sies-reviewed-paper.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Aamir Mehmood Khan, Frédéric Mallet, Rashid Muhammad. Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification. 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), May 2016, Krakow, Poland. pp.193-198, ⟨10.1109/SIES.2016.7509429⟩. ⟨hal-01394665⟩

Share

Metrics

Record views

344

Files downloads

97