Reference : Refinement of AADL models using early-stage analysis methods

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/14949

Title :	Refinement of AADL models using early-stage analysis methods
Language :	English
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) >]
Publication date :	Nov-2013
Main document 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 :	Yes
Audience :	International
Event name :	4th Analytic Virtual Integration of Cyber-Physical Systems (AVICPS) Workshop
Event date :	03-12-2013
Event place (city) :	Vancouver
Event country :	BC, Canada
Keywords :	[en] 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.
Target :	Researchers ; Professionals ; Students ; General public
Permalink :	http://hdl.handle.net/10993/14949
Other URL :	http://dx.doi.org/10.3384/ecp13090006

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access avicps13.pdf Author preprint 409.22 kB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map