Reference : Refinement of AADL models using early-stage analysis methods
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/14949
Refinement of AADL models using early-stage analysis methods
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) >]
Nov-2013
Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop
Linköping University Electronic Press; Linköpings universitet
29-32
Yes
International
4th Analytic Virtual Integration of Cyber-Physical Systems (AVICPS) Workshop
03-12-2013
Vancouver
BC, Canada
[en] AADL ; ARINC653 ; AFDX ; analysis combination ; WCTT evaluation ; Network Calculus
[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.
Researchers ; Professionals ; Students ; General public
http://hdl.handle.net/10993/14949
http://dx.doi.org/10.3384/ecp13090006

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
avicps13.pdfAuthor preprint409.22 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.