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.