Skip to Main content Skip to Navigation
  1. Search


...
hal-02267722v1  Conference papers
Alexandre Cortier, Jean-Paul Bodeveix, M Filali, G. Garcia, E. Morand et al.  Synoptic: a DSML for On-Board Real-Time Software Design
5th European Congress on Embedded Real Time Software and Systems (ERTS2 2010), May 2010, Toulouse, France
...
hal-00624134v1  Conference papers
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix et al.  Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software
FM 09 - Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.80-87, ⟨10.4204/EPTCS.20.9⟩
...
inria-00417682v1  Reports
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Cortier Alexandre. Modular interpretation of heterogeneous modeling diagrams into synchronous equations using static single assignment
[Research Report] RR-7036, INRIA. 2009, pp.22
...
inria-00536907v1  Conference papers
Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard et al.  System-level Co-simulation of Integrated Avionics Using Polychrony
ACM Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. 6 p
...
inria-00381639v1  Conference papers
Charles André, Mariano Belaunde, Bernard Berthomieu, Christian Brunette, Agusti Canals et al.  Présentation des résultats du projet OpenEmbeDD
Neptune, May 2009, Paris, France
...
hal-01123837v1  Journal articles
Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi et al.  From AADL to Timed Abstract State Machines: A Verified Model Transformation
Journal of Systems and Software, Elsevier, 2014, vol. 93, pp. 42-68. ⟨10.1016/j.jss.2014.02.058⟩
hal-02061818v1  Book sections
Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien 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⟩
hal-00788450v1  Conference papers
Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien 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-01095002v1  Journal articles
Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei 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

CONTACT

scd.ao@univ-tlse3.fr