A framework to specify system requirements using natural interpretation of UML/MARTE diagrams

Aamir Khan 1 Frédéric Mallet 2, 3 Muhammad Rashid 4
3 KAIROS - Logical Time for Formal Embedded System Design
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
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.
Type de document :
Article dans une revue
Software and Systems Modeling, Springer Verlag, 2017, 〈10.1007/s10270-017-0588-7〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01670423
Contributeur : Frédéric Mallet <>
Soumis le : jeudi 21 décembre 2017 - 13:38:23
Dernière modification le : mercredi 31 janvier 2018 - 10:24:06

Identifiants

Collections

Citation

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, Springer Verlag, 2017, 〈10.1007/s10270-017-0588-7〉. 〈hal-01670423〉

Partager

Métriques

Consultations de la notice

130