Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A Contract-Based approach to support Goal-Driven Analysis
Brau, Guillaume; Hugues, Jérôme; Navet, Nicolas
2015In Proceedings of the IEEE 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)
Peer reviewed
 

Files


Full Text
ISORC2015-pre.pdf
Author preprint (446.13 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Real-time systems; Design and Analysis; Contracts; Goals; AADL; Alloy
Abstract :
[en] 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 goals and 2) using 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.
Disciplines :
Computer science
Author, co-author :
Brau, Guillaume ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Hugues, Jérôme;  Université de Toulouse, Institut Supérieur de l'Aéronautique et de l'Espace (ISAE) > Département de Mathématiques, Informatique, Automatique (DMIA) > Modélisation et Architecture des Systèmes (MARS)
Navet, Nicolas ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
A Contract-Based approach to support Goal-Driven Analysis
Publication date :
April 2015
Event name :
IEEE 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)
Event place :
Auckland, New Zealand
Event date :
from 13-04-2015 to 17-04-2015
Audience :
International
Main work title :
Proceedings of the IEEE 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)
Publisher :
IEEE
Peer reviewed :
Peer reviewed
Commentary :
The publisher version will be available at : http://ieeexplore.ieee.org
Available on ORBilu :
since 06 March 2015

Statistics


Number of views
124 (11 by Unilu)
Number of downloads
246 (0 by Unilu)

Scopus citations®
 
6
Scopus citations®
without self-citations
3

Bibliography


Similar publications



Contact ORBilu