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.