Accéder directement au contenu Accéder directement à la navigation
Chapitre d'ouvrage

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

Jean-Philippe Babau 1 Philippe Dhaussy 2, 3 Pierre-Yves Pillain 3
1 Lab-STICC_UBO_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, UBO - Université de Brest
Abstract : 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.
Liste complète des métadonnées

https://hal-ensta-bretagne.archives-ouvertes.fr/hal-00635969
Contributeur : Annick Billon-Coat <>
Soumis le : mercredi 26 octobre 2011 - 13:26:03
Dernière modification le : mercredi 24 juin 2020 - 16:19:22

Identifiants

  • HAL Id : hal-00635969, version 1

Citation

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⟩

Partager

Métriques

Consultations de la notice

508