Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
Formal verification of compiler transformations on polychronous equations
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Synchronous programming in audio processing: A lookup table oscillator case study
ACM Computing Surveys (CSUR)
Exploring system architectures in AADL via Polychrony and SynDEx
Frontiers of Computer Science: Selected Publications from Chinese Universities
A comparative study of two formal semantics of the SIGNAL language
Frontiers of Computer Science: Selected Publications from Chinese Universities
Multi-threaded code generation from Signal program to OpenMP
Frontiers of Computer Science: Selected Publications from Chinese Universities
Formal verification of synchronous data-flow program transformations toward certified compilers
Frontiers of Computer Science: Selected Publications from Chinese Universities
| Hi-index | 0.00 |
This book is about synchronous programming for the design of, safety critical, embedded systems, such as automotive, avionics, nuclear power plants, telecommunication and multimedia. The techniques presented promote the use of formal concepts, i.e. those having a mathematically sound basis. Such concepts enable non ambiguous and rigorous reasoning about the critical properties of addressed systems in order to ensure their reliability. The synchronous programming language, SIGNAL, is used to demonstrate the pragmatic design of embedded systems. This is an invaluable tutorial/reference for scientists, practitioners and students.