From control system design to embedded code: The synchronous data-flow approach

Proceedings of the IEEE Conference on Decision and Control

Volumn 4, Issue , 2001, Pages 3278-3283

  Caspi, Paul ^a   Raymond, Pascal ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA FLOW ANALYSIS; EMBEDDED SYSTEMS; PROGRAM COMPILERS; SEMANTICS;

EMBEDDED CODE; SAFETY CRITICAL SYSTEMS; SYNCHRONOUS DATA FLOW APPROACH;

CONTROL SYSTEM SYNTHESIS;

EID: 0035711055     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. The synchronous dataflow programming language LUSTRE
2. Synchronous programming with events and relations: The SIGNAL language and its semantics
3. Methods and specification tools for Airbus on-board systems
4. SAGA; a software development environment for dependability in automatic control
5. Using synchronous languages for interlocking
6. Calculi for synchrony and asynchrony
7. Communication sequential processes
8. The ESTEREL synchronous programming language, design, semantics, implementation
9. Esterel on hardware
10. The synchronous approach to reactive and real-time systems
11. Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE
12. A tutorial on Stålmarck's proof procedure for propositional logic
13. A methodology for proving control programs with Lustre and PVS
14. Statecharts: A visual approach to complex systems