A DSL for Specifying Timing Requirements

Arda Goknil 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- 2sd International Model-Driven Requirements Engineering (MoDRE) Workshop, Sep 2012, Chicago, United States. IEEE, pp.49-57, 2012, <http://cserg0.site.uottawa.ca/modre2012/proceedings.htm>. <10.1109/MoDRE.2012.6360074>


https://hal.inria.fr/hal-00757168
Contributeur : Team Aoste <>
Soumis le : lundi 26 novembre 2012 - 14:13:14
Dernière modification le : lundi 5 octobre 2015 - 16:59:00

Identifiants

Collections

Citation

Arda Goknil, Marie-Agnès Peraldi-Frati. A DSL for Specifying Timing Requirements. MoDRE- 2sd International Model-Driven Requirements Engineering (MoDRE) Workshop, Sep 2012, Chicago, United States. 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

190