Reference : A Contract-Based approach to support Goal-Driven Analysis
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/20282
A Contract-Based approach to support Goal-Driven Analysis
English
Brau, Guillaume mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Hugues, Jérôme mailto [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 mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Apr-2015
Proceedings of the IEEE 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)
IEEE
Yes
International
IEEE 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)
from 13-04-2015 to 17-04-2015
Auckland
New Zealand
[en] Real-time systems ; Design and Analysis ; Contracts ; Goals ; AADL ; Alloy
[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.
http://hdl.handle.net/10993/20282
The publisher version will be available at : http://ieeexplore.ieee.org

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
ISORC2015-pre.pdfAuthor preprint435.68 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.