A metamodel for the design of polychronous systems

DOI10.1016/J.JLAP.2008.11.005MaRDI QIDQ1014564zbMATH OpenOpenAlexFDO

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

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

metamodelingembedded systemssoftware engineeringmodel transformationsynchronous languagesdesign environment

Mathematics Subject Classification ID

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

Recommendations

• On the polychronous approach to embedded software design
• Constructive polychronous systems
• scientific article; zbMATH DE number 1955910
• Compositional design of isochronous systems
• scientific article; zbMATH DE number 1361139

Cites work

• scientific article; zbMATH DE number 3930354 (Why is no real title available?)
• scientific article; zbMATH DE number 1531624 (Why is no real title available?)
• Formal verification of programs specified with signal: Application to a power transformer station controller
• Mode-automata: A new domain-specific construct for the development of safe critical systems.
• Modelling, analysis and design of hybrid systems
• Statecharts: a visual formalism for complex systems

Cited in

(4)

• On the polychronous approach to embedded software design
• Constructive polychronous systems
• On the semantics of polychronous polytimed specifications
• Category-theoretic approach to software systems design

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1014564)