%0 Conference Proceedings
%T Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software
%+ Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems (ESPRESSO)
%+ Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE)
%+ Thales Alenia Space [Cannes]
%+ Astrium [Toulouse]
%+ Département informatique (INFO)
%A Besnard, Loïc
%A Gautier, Thierry
%A Ouy, Julien
%A Talpin, Jean-Pierre
%A Bodeveix, Jean-Paul
%A Cortier, Alexandre
%A Pantel, Marc
%A Strecker, Martin
%A Garcia, Gérald
%A Rugina, Ana-Elena
%A Buisson, Jérémy
%A Dagnat, Fabien
%< avec comité de lecture
%Z 9379
%B FM 09 - Workshop on Formal Methods for Aerospace
%C Eindhoven, Netherlands
%V 18
%P 80-87
%8 2009-11-03
%D 2009
%R 10.4204/EPTCS.20.9
%Z Computer Science [cs]/Embedded SystemsConference papers
%X The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software indus- try, advocates a top-down approach built on a domain-specific modeling language named Synoptic. In line with previous approaches to real-time modeling such as Statecharts and Simulink, Synoptic features hierarchical decomposition of application and control modules in synchronous block dia- grams and state machines. Its semantics is described in the polychronous model of computation, which is that of the synchronous language SIGNAL.
%G English
%2 https://hal.archives-ouvertes.fr/hal-00624134/document
%2 https://hal.archives-ouvertes.fr/hal-00624134/file/Synoptic_EPTCS.pdf
%L hal-00624134
%U https://hal.archives-ouvertes.fr/hal-00624134
%~ INSTITUT-TELECOM
%~ TELECOM-BRETAGNE
%~ CNRS
%~ UNIV-RENNES1
%~ IRISA
%~ IRISA_SET
%~ INRIA-RENNES
%~ INRIA
%~ IRISA-D4
%~ UNIV-TLSE2
%~ UR1-MATH-STIC
%~ INRIA_TEST
%~ SMS
%~ UR1-HAL
%~ UR1-UFR-ISTIC
%~ TEST-UNIV-RENNES
%~ TEST-UR-CSS
%~ IMTA_INFO
%~ UNIV-RENNES
%~ INRIA-RENGRE
%~ IMT-ATLANTIQUE
%~ IRISA_IMTA
%~ INSA-GROUPE
%~ UNIV-TLSE3
%~ UT1-CAPITOLE
%~ INSTITUTS-TELECOM
%~ IRIT
%~ IRIT-ACADIE
%~ INSA-RENNES
%~ UR1-MATH-NUM
%~ IRIT-FSL