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, Laboratoire I3S - 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.
Complete list of metadatas

https://hal.inria.fr/hal-00757168
Contributor : Team Kairos <>
Submitted on : Monday, November 26, 2012 - 2:13:14 PM
Last modification on : Monday, November 5, 2018 - 3:36:03 PM

Identifiers

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, IEEE Requirement Engineering Conference, Sep 2012, Chicago, United States. pp.49-57, ⟨10.1109/MoDRE.2012.6360074⟩. ⟨hal-00757168⟩

Share

Metrics

Record views

461