*********************************
There is now a CONTENT FREEZE for Mercury while we switch to a new platform. It began on Friday, March 10 at 6pm and will end on Wednesday, March 15 at noon. No new content can be created during this time, but all material in the system as of the beginning of the freeze will be migrated to the new platform, including users and groups. Functionally the new site is identical to the old one. webteam@gatech.edu
*********************************
You are invited to hear
Associate professor at the Department of Complex Systems Engineering
Institute for Space and Aeronautics Engineering (ISAE) Toulouse, France
April 6 @ 12pm
Weber Building CoVE Auditorium
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.
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.
