A DSL for Specifying Timing Requirements - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

A DSL for Specifying Timing Requirements

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
243 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More