Skip to Main content Skip to Navigation
New interface
Reports (Research report)

Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification

Aamir Mehmood Khan 1 Frédéric Mallet 2 Muhammad Rashid 3 
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, Inria de Paris
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 :
Reports (Research report)
Complete list of metadata

Cited literature [41 references]  Display  Hide  Download
Contributor : Frédéric Mallet Connect in order to contact the contributor
Submitted on : Friday, May 20, 2016 - 2:54:58 PM
Last modification on : Wednesday, October 26, 2022 - 8:15:33 AM
Long-term archiving on: : Sunday, August 21, 2016 - 10:25:58 AM


Files produced by the author(s)


  • HAL Id : hal-01309604, version 2



Aamir Mehmood Khan, Frédéric Mallet, Muhammad Rashid. Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification. [Research Report] RR-8909, I3S; INRIA. 2016. ⟨hal-01309604v2⟩



Record views


Files downloads