OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A contract-based approach to support goal-driven analysis

Brau, Guillaume and Hugues, Jérôme and Navet, Nicolas A contract-based approach to support goal-driven analysis. (2015) In: 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, 13 April 2015 - 17 April 2015 (Auckland, New Zealand).

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


In the design of real-time systems, models are usual artifacts to capture and represent the various features of the system. They are later analyzed to check for their correctness. A key issue is to handle models and analyses in a systematic, consistent and efficient way. This paper presents an approach for the systematic and correct execution of analyses on real-time system models along with a proof-of-concept. The contribution aims at 1) directing the analyses targeting \emph{goals} and 2) using \emph{contracts} to reason about models, analyses and goals. An example of goal is to enrich a model with missing information or to obtain precise data to conclude about the system quality. In our approach, contracts are used to formally depict both the properties required and provided by the analyses~; but also models and goals. Through the concept of contracts, we identify all the feasible paths to execute the analyses in order to reach a goal.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > University of Luxembourg (LUXEMBOURG)
Laboratory name:
Deposited On:22 Jul 2015 15:29

Repository Staff Only: item control page