Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
Loïc BesnardThierry GautierJulien OuyJean-Pierre TalpinJean-Paul BodeveixAlexandre CortierMarc PantelMartin StreckerG. GarciaA. RuginaJérémy BuissonFabien DagnatPublished in: FMA (2009)
Keyphrases
- modeling language
- domain specific
- metamodel
- formal semantics
- uml profile
- design rationale
- general purpose
- control flow
- development process
- embedded systems
- software development process
- software systems
- code generation
- model driven architecture
- declarative language
- formal methods
- constraint language
- business process modeling
- control software
- cooperative
- educational modeling languages
- language constructs
- software quality
- software development
- programming language
- software engineering