Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Refinement of AADL models using early-stage analysis methods
Brau, Guillaume; Hugues, Jérôme; Navet, Nicolas
2013In Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop
Peer reviewed
 

Files


Full Text
avicps13.pdf
Author preprint (419.05 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
AADL; ARINC653; AFDX; analysis combination; WCTT evaluation; Network Calculus
Abstract :
[en] Model-Driven Engineering (MDE) is a relevant approach to support the engineering of distributed embedded systems with performance and dependability constraints. MDE involves models definitions and transformations to cover most of the system life-cycle: design, implementation and Verification & Validation activities towards system qualification. Still, few works evaluate the early integration of performance evaluation based on architectural models. In this paper, we investigate the early-stage use of analysis in AADL modeling. Precisely, we exemplify on an avionics case study how to dimension the data flows for an application distributed over an AFDX network. Based on the insight from this study, we suggest a simple framework and associated techniques to efficiently support analysis activities in the early-stage design phases.
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 :
Refinement of AADL models using early-stage analysis methods
Publication date :
November 2013
Event name :
4th Analytic Virtual Integration of Cyber-Physical Systems (AVICPS) Workshop
Event place :
Vancouver, Canada
Event date :
03-12-2013
Audience :
International
Main work title :
Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop
Publisher :
Linköping University Electronic Press - Linköpings universitet
Pages :
29-32
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 15 January 2014

Statistics


Number of views
128 (11 by Unilu)
Number of downloads
262 (3 by Unilu)

Bibliography


Similar publications



Contact ORBilu