A metamodel for the design of polychronous systems

DOI10.1016/j.jlap.2008.11.005zbMath1183.68282OpenAlexW1988907288MaRDI QIDQ1014564

Thierry Gautier, Abdoulaye Gamatié, Jean-Pierre Talpin, Christian Brunette

Publication date: 29 April 2009

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2008.11.005

zbMATH Keywords

embedded systemsdesign environmentsynchronous languagessoftware engineeringmodel transformationmetamodeling

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15)

Related Items (2)

Category-theoretic approach to software systems design ⋮ On the semantics of polychronous polytimed specifications

Uses Software

• Matlab
• SCADE
• SynDEx
• Simulink
• LUSTRE
• Polychrony
• Esterel
• MARTE
• GME

Cites Work

• Statecharts: a visual formalism for complex systems
• Mode-automata: A new domain-specific construct for the development of safe critical systems.
• Modelling, analysis and design of hybrid systems
• Formal verification of programs specified with signal: Application to a power transformer station controller
• Unnamed Item
• Unnamed Item

This page was built for publication: A metamodel for the design of polychronous systems