Compositional design of isochronous systems

DOI10.1016/J.SCICO.2010.06.006MaRDI QIDQ456402zbMATH OpenOpenAlexFDO

Authors Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic

Publication date 24 October 2012

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2010.06.006

zbMATH Keywords

automated distributionembedded systemsformal verificationsoftware engineeringsynchronous modeling

Mathematics Subject Classification ID

Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• On the polychronous approach to embedded software design
• scientific article; zbMATH DE number 1361139
• Constructive polychronous systems
• A compositional semantic theory for synchronous component-based design.
• Concurrency in synchronous systems

Cites work

• An algebraic theory for behavioral modeling and protocol synthesis in system design
• Automated Technology for Verification and Analysis
• Compositional design of isochronous systems
• Concurrency in synchronous systems
• Formal verification of programs specified with signal: Application to a power transformer station controller
• From concurrent multi-clock programs to deterministic asynchronous implementations
• scientific article; zbMATH DE number 2017355 (Why is no real title available?)
• scientific article; zbMATH DE number 2102700 (Why is no real title available?)

Cited in

(8)

• A metamodel for the design of polychronous systems
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• Concurrency in synchronous systems
• Compositional strategy mapping
• On the polychronous approach to embedded software design
• scientific article; zbMATH DE number 2080749 (Why is no real title available?)
• Compositional design of isochronous systems
• A compositional semantic theory for synchronous component-based design.

Describes a project that uses

Uses Software

• LUSTRE
• Polychrony
• Ptolemy

This page was built for publication: Compositional design of isochronous systems

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