Constructive polychronous systems

DOI10.1007/978-3-642-35722-0_24MaRDI QIDQ3455857zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep Kumar Shukla

Publication date 11 December 2015

Published in Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.4004

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On the polychronous approach to embedded software design
• Synchronous structures
• scientific article; zbMATH DE number 1361139
• A metamodel for the design of polychronous systems
• A denotational theory of synchronous reactive systems

Cites work

• A Switch-Level Model and Simulator for MOS Digital Systems
• A lattice-theoretical fixpoint theorem and its applications
• Analysis of cyclic combinational circuits
• From concurrent multi-clock programs to deterministic asynchronous implementations
• Guarded commands, nondeterminacy and formal derivation of programs
• The Necessity of Closed Circuit Loops in Minimal Combinational Circuits

Cited in

(7)

• On the polychronous approach to embedded software design
• On the semantics of polychronous polytimed specifications
• Formal Methods for Components and Objects
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• A metamodel for the design of polychronous systems
• Compositional design of isochronous systems
• Runtime verification of real-time event streams using the tool HStriver

Describes a project that uses

Uses Software

• Esterel
• UNITY
• Polychrony
• Quartz

This page was built for publication: Constructive polychronous systems

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