*********************************
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
Professor in Space Systems Engineering
ISAE-SUPAERO
April 4 @ 4:30pm
Montgomery Knight 317
Abstract:
The objective of the talk is to share an experience in using SysML and the free software Tool for real-time and networked system design with application to aeronautical and space systems. An educational case study will exemplify requirement capture, functional analysis, architectural/behavioral design, model simulation, and model formal verification combining model checking, invariants and abstractions. Discussion will go on with past and ongoing research projects.
About the Speaker
Pierre de Saqui-Sannes is full professor and academic advisor for student exchanges at ISAE-SUPAERO, Toulouse, France. He holds a PhD and a HDR (Habilitation to Supervise PhD students) in computer science. After a postdoctoral year at the University of Montreal, Canada, he joined ENSICA in 1992 and moved to ISAE-SUPAERO in 2007. Dr. de Saqui-Sannes lectures on real-time system modeling (SysML), and object-oriented design (UML, Java). His research interests include model-based engineering of real-time systems, SysML, formal methods, model simulation, model formal verification, and testing. He applies MBSE to aeronautical and space applications. Also, he serves as academic advisor for student exchanges between ISAE-SUPAERO and Georgia Tech.
