A DSL for Specifying Timing Requirements

Arda Goknil 1 Marie-Agnès Peraldi-Frati 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : The engineering of real-time distributed embedded systems becomes more and more complex today due to the amount of new functionalities, constraints applied on these functions and the diversity of hardware supporting software execution and communication. Modeling and analysis of time is a key issue for the correct development of these systems. From an engineering point of view, there is a need of a development process supporting modeling timing requirements at different abstraction levels. In this paper we present a Domain Specific Language (DSL) for specifying timing requirements at the analysis phase of the software development life-cycle. The DSL provides the following features: the modeling of different types of timing requirements, the modeling of symbolic timing expressions, i.e. able to deal with bounded or unset parameters in timing requirements, and the integration of complex concepts of distributed systems such as multi rate and multi clock systems.
Type de document :
Communication dans un congrès
MoDRE 2012 - 2nd IEEE International Workshop on Model-Driven Requirements Engineering, Sep 2012, Chicago, United States. IEEE, Model-Driven Requirements Engineering Workshop (MoDRE), 2012 IEEE, pp.49-57, 2012, 〈http://cserg0.site.uottawa.ca/modre2012/proceedings.htm〉. 〈10.1109/MoDRE.2012.6360074〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00757168
Contributeur : Team Aoste <>
Soumis le : lundi 26 novembre 2012 - 14:13:14
Dernière modification le : vendredi 25 mai 2018 - 12:02:04

Lien texte intégral

Identifiants

Collections

Citation

Arda Goknil, Marie-Agnès Peraldi-Frati. A DSL for Specifying Timing Requirements. MoDRE 2012 - 2nd IEEE International Workshop on Model-Driven Requirements Engineering, Sep 2012, Chicago, United States. IEEE, Model-Driven Requirements Engineering Workshop (MoDRE), 2012 IEEE, pp.49-57, 2012, 〈http://cserg0.site.uottawa.ca/modre2012/proceedings.htm〉. 〈10.1109/MoDRE.2012.6360074〉. 〈hal-00757168〉

Partager

Métriques

Consultations de la notice

312