Compositional design of isochronous systems

DOI10.1016/j.scico.2010.06.006zbMath1250.68094OpenAlexW1967224003MaRDI QIDQ456402

Loïc Besnard, Thierry Gautier, Jean-Pierre Talpin, Julien Ouy, 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

formal verificationembedded systemssoftware engineeringautomated distributionsynchronous modeling

Mathematics Subject Classification ID

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

Related Items (2)

Compositional design of isochronous systems ⋮ Denotational fixed-point semantics for constructive scheduling of synchronous concurrency

Uses Software

• Ptolemy
• LUSTRE
• Polychrony

Cites Work

• Compositional design of isochronous systems
• Concurrency in synchronous systems
• An algebraic theory for behavioral modeling and protocol synthesis in system design
• From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
• Automated Technology for Verification and Analysis
• Formal verification of programs specified with signal: Application to a power transformer station controller
• Unnamed Item
• Unnamed Item

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