A Framework to Specify System Requirements using Natural interpretation of UML/MARTE diagrams - Archive ouverte HAL Access content directly
Journal Articles Software and Systems Modeling Year : 2019

A Framework to Specify System Requirements using Natural interpretation of UML/MARTE diagrams

(1) , (2) , (3)
1
2
3
Aamir Khan

Abstract

The ever-increasing design complexity of embedded systems is constantly pressing the demand for more abstract design levels and possible methods for automatic verification and synthesis. Transforming a text-based user requirements document into semantically sound models is always difficult and error-prone as mostly these requirements are vague and improperly documented. This paper presents a framework to specify textual requirements graphically in standard modeling formalisms like uml and marte in the form of temporal and logical patterns. The underlying formal semantics of these graphical models allow to eliminate ambiguity in specifications and automatic design verification at different abstraction levels using these patterns. The semantics of these operators/patterns are presented formally as state automatons and a comparison is made to the existing ccsl relational operators. To reap the benefits of mde, a software plugin TemLoPAC is presented as part of the framework to transform the graphical patterns into ccsl and Verilog-based observers.
Fichier principal
Vignette du fichier
SoSyM2019.pdf (1.17 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01670423 , version 1 (12-04-2019)

Identifiers

Cite

Aamir Khan, Frédéric Mallet, Muhammad Rashid. A Framework to Specify System Requirements using Natural interpretation of UML/MARTE diagrams. Software and Systems Modeling, 2019, 18 (1), pp.11-37. ⟨10.1007/s10270-017-0588-7⟩. ⟨hal-01670423⟩
173 View
288 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More