A Framework to Specify System Requirements using Natural interpretation of UML/MARTE diagrams - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Software and Systems Modeling Année : 2019

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

Aamir Khan

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
192 Consultations
432 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More