{"589494":{"#nid":"589494","#data":{"type":"event","title":"AE Presents: SysML-based Model-Based Engineering at ISAE-Supaero","body":[{"value":"\u003Cp\u003E\u003Cem\u003E\u003Cstrong\u003EYou are invited to hear\u003C\/strong\u003E\u003C\/em\u003E\u003C\/p\u003E\r\n\r\n\u003Ch2\u003E\u003Cstrong\u003EProf. \u003C\/strong\u003E\u003Cstrong\u003EPierre de Saqui-Sannes\u003C\/strong\u003E\u003C\/h2\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EProfessor in Space Systems Engineering\u003Cbr \/\u003E\r\nISAE-SUPAERO \u003C\/strong\u003E\u003C\/p\u003E\r\n\r\n\u003Ch2\u003E\u003Cstrong\u003E\u0026quot;\u003C\/strong\u003E\u003Cstrong\u003ESysML-based Model-Based Engineering at ISAE-Supaero\u003C\/strong\u003E\u003Cstrong\u003E\u0026quot;\u003C\/strong\u003E\u003C\/h2\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EApril 4 @ 4:30pm\u003Cbr \/\u003E\r\nMontgomery Knight 317\u003C\/strong\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EAbstract\u003C\/strong\u003E:\u003Cbr \/\u003E\r\nThe 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.\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EAbout the Speaker\u003C\/strong\u003E\u003Cbr \/\u003E\r\nPierre 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.\u0026nbsp; Also, he serves as academic advisor for student exchanges between ISAE-SUPAERO and Georgia Tech.\u003C\/p\u003E\r\n","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":"","field_summary_sentence":[{"value":"Pierre de Saqui-Sannes will present a talk SysML-based Model-Based Engineering at ISAE-Supaero"}],"uid":"33975","created_gmt":"2017-03-29 19:28:43","changed_gmt":"2017-04-13 21:12:13","author":"Margaret Ojala","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2017-04-04T17:30:00-04:00","event_time_end":"2017-04-04T18:30:00-04:00","event_time_end_last":"2017-04-04T18:30:00-04:00","gmt_time_start":"2017-04-04 21:30:00","gmt_time_end":"2017-04-04 22:30:00","gmt_time_end_last":"2017-04-04 22:30:00","rrule":null,"timezone":"America\/New_York"},"extras":[],"groups":[{"id":"1239","name":"School of Aerospace Engineering"}],"categories":[],"keywords":[{"id":"2082","name":"aerospace engineering"}],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"1795","name":"Seminar\/Lecture\/Colloquium"}],"invited_audience":[{"id":"78761","name":"Faculty\/Staff"},{"id":"78771","name":"Public"},{"id":"78751","name":"Undergraduate students"},{"id":"174045","name":"Graduate students"}],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}