Synchronous programming techniques for embedded systems: Present and future

DOI10.1007/3-540-45449-7_4MaRDI QIDQ4473705zbMATH OpenFDO

Authors Gérard Berry

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2211/22110050.htm

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Synchronous structures
• Synchronous structures
• scientific article; zbMATH DE number 526071
• The Esterel synchronous programming language: Design, semantics, implementation
• scientific article; zbMATH DE number 4082959

Cited in

(10)

• Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
• Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java
• Multi-rate system design through integrating synchronous components
• SCADE: synchronous design and validation of embedded control software
• Automatic production of globally asynchronous locally synchronous systems
• Embedded control: From asynchrony to synchrony and back
• Computer Aided Verification
• Hybrid Systems: Computation and Control
• Formal methods in designing embedded systems -- the SACRES experience
• Multi-task implementation of multi-periodic synchronous programs

Describes a project that uses

Uses Software

• SCADE

This page was built for publication: Synchronous programming techniques for embedded systems: Present and future

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