589586 event 1490912120 1492117931 <![CDATA[AE Presents: Model-Driven Engineering for Avionics System: leveraging the Architecture and Analysis Design Language]]> The Daniel Guggenheim School of Aerospace Engineering invites you to hear

"Model-Driven Engineering for Avionics System: leveraging the Architecture and Analysis Design Language"

a talk by

Prof. Jérôme Hugues

Associate Professor
Department of Complex Systems Engineering of the Institute for Space and Aeronautics Engineering (ISAE)
 

About the Talk
Model-Based Engineering provides a framework for the design, analysis and implementation of complex systems. This is of interest for real-time critical systems: multiple analysis can be performed so as to increase confidence in the system being built. Then, one can leverage autocoding techniques to generate the system targeting high-integrity real-time operating systems
In this talk, we will present the architecture analysis and design language (AADL), an SAE International standard, and the contributions done at ISAE on this topic
 
About the Speaker: 
Jérôme Hugues is associate professor at the Department of Complex Systems Engineering of the Institute for Space and Aeronautics Engineering (ISAE) in Toulouse. He holds an HDR (2017), a PhD (2005) and engineering degree from the Telecom ParisTech (2002). He is responsible of several distributed and real-time systems courses He is the head of the "Embedded Systems" Master Program at ISAE, and responsible for the management of the Embedded Systems Engineering curriculum.
His research interests are focused on software architecture to support the design of complex software-based real-time and embedded systems; and programming languages and artifacts to support them.
He is also a member of the SAE AS-2C committee working on the definition of the AADL architecture description language to assist the designer in various stages of its design: formal verification, dimensioning down to code generation. He is the main author of two annexes document for AADLv2, and a reviewer of the AADLv2 core document, and associated annexes. He leads the Ocarina project, an AADL model processor.
]]> <![CDATA[]]> 1239 1789