OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Validate implementation correctness using simulation: the TASTE approach

Delange, Julien and Hugues, Jérôme and Dissaux, Pierre Validate implementation correctness using simulation: the TASTE approach. (2012) In: ERTS2 2012 (Embedded Real Time Software and Systems), 01-03 Feb 2012, Toulouse .

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
268Kb

Abstract

High-integrity systems operate in hostile environment and must guarantee a continuous operational state, even if unexpected events happen. In addition, these systems have stringent requirements that must be validated and correctly translated from high-level specifications down to code. All these constraints make the overall development process more time-consuming. This becomes especially complex because the number of system functions keeps increasing over the years. As a result, engineers must validate system implementation and check that its execution conforms to the specifications. To do so, a traditional approach consists in a manual instrumentation of the implementation code to trace system activity while operating. However, this might be error-prone because modifications are not automatic and still made manually. Furthermore, such modifications may have an impact on the actual behavior of the system. In this paper, we present an approach to validate a system implementation by comparing execution against simulation. In that purpose, we adapt TASTE, a set of tools that eases system development by automating each step as much as possible. In particular, TASTE automates system implementation from functional (system functions description with their properties – period, deadline, priority, etc.) and deployment(processors, buses, devices to be used) models. We tailored this tool-chain to create traces during system execution. Generated output shows activation time of each task, usage of communication ports (size of the queues, instant of events pushed/pulled, etc.) and other relevant execution metrics to be monitored. As a consequence, system engineers can check implementation correctness by comparing simulation and execution metrics.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to 3AF editor
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Other partners > Ellidiss Technologies (FRANCE)
Other partners > European Space Agency - ESA (UNITED KINGDOM)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Laboratory name:
Statistics:download
Deposited By:Jerome Hugues

Repository Staff Only: item control page