Model integration for formal qualification of timing-aware software data acquisition components - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne
Chapitre D'ouvrage Année : 2010

Model integration for formal qualification of timing-aware software data acquisition components

Résumé

The paper proposes to integrate design and formal modelling approaches, based on MARTE, IF and CDL, to evaluate different possible uses and configurations of a data acquisition software component. The uses are related to actor's (sensor and application) behaviour and configurations are related to implementation parameterization. Evaluation considers safety and performance properties, delay evaluation, and are automatically evaluated by OBP tool. The work is illustrated via an example to show the impact of parameters and contextual use on software acquisition driver performances. Using this tool, it is possible to tune the driver's parameters to get the required performances, in term of delays, for a certain context use. The approach is applied to sensor monitoring applications.
Fichier non déposé

Dates et versions

hal-00635969 , version 1 (26-10-2011)

Identifiants

  • HAL Id : hal-00635969 , version 1

Citer

Jean-Philippe Babau, Philippe Dhaussy, Pierre-Yves Pillain. Model integration for formal qualification of timing-aware software data acquisition components. Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010. ⟨hal-00635969⟩
264 Consultations
0 Téléchargements

Partager

More