A DSL for Specifying Timing Requirements - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

A DSL for Specifying Timing Requirements


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.

Dates and versions

hal-00757168 , version 1 (26-11-2012)



Arda Goknil, Marie-Agnès Peraldi-Frati. A DSL for Specifying Timing Requirements. MoDRE 2012 - 2nd IEEE International Workshop on Model-Driven Requirements Engineering, IEEE Requirement Engineering Conference, Sep 2012, Chicago, United States. pp.49-57, ⟨10.1109/MoDRE.2012.6360074⟩. ⟨hal-00757168⟩
240 View
0 Download



Gmail Facebook Twitter LinkedIn More