Internal report (Reports)
Refinement of AADL models using early-stage analysis methods : An avionics example
Brau, Guillaume; Hugues, Jérôme; Navet, Nicolas
2013
 

Files


Full Text
refinement_TR-LASSY-13-06.pdf
Author postprint (1.99 MB)
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 Verifi cation & Validation activities towards system quali fication. Still, few works evaluate the early integration of performance evaluation based on architectural models. In this report, 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 e fficiently 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 : An avionics example
Publication date :
October 2013
Publisher :
Laboratory for Advanced Software Systems
Report number :
TR-LASSY-13-06
Commentary :
A shortened version of this technical report has been proposed in the scope of the 4th Analytic Virtual Integration of Cyber-Physical Systems (AVICPS 2013) Workshop. It provides further details about the investigated approach as well as experimental results.
Available on ORBilu :
since 09 February 2014

Statistics


Number of views
210 (9 by Unilu)
Number of downloads
497 (3 by Unilu)

Bibliography


Similar publications



Contact ORBilu