8 results  save search


...
inria-00536907v1  Conference papers
Huafeng YuYue MaYann GloucheJean-Pierre TalpinLoïc Besnard et al.  System-level Co-simulation of Integrated Avionics Using Polychrony
ACM Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. 6 p
hal-01095002v1  Journal articles
Zhibin YangKai HuDianfu MaJean-Paul BodeveixLei Pi et al.  From AADL to timed abstract state machine: a certified model transformation
Journal of Systems and Software, Elsevier, 2014, Journal of Systems and Software, pp.20
hal-00788450v1  Conference papers
Alexandre CortierLoïc BesnardJean-Paul BodeveixJérémy BuissonFabien Dagnat et al.  Synoptic: a domain specific modeling language for embedded flight-software
FMA 2009 : Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands
hal-02061818v1  Book sections
Alexandre CortierLoïc BesnardJean-Paul BodeveixJérémy BuissonFabien Dagnat et al.  Synoptic: a domain-specific modeling language for space on-board application software
Synthesis of embedded software, frameworks and methodologies for correctness by construction, Springer, pp.79 - 119, 2010, Engineering, 978-1-4419-6399-4. ⟨10.1007/978-1-4419-6400-7_3⟩