A metamodel for the design of polychronous systems

DOI10.1016/J.JLAP.2008.11.005zbMATH Open1183.68282OpenAlexW1988907288MaRDI QIDQ1014564FDOQ1014564

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

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

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)

Cites Work

• Statecharts: a visual formalism for complex systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modelling, analysis and design of hybrid systems
• 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.

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

Uses Software

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

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)