Compilation and synthesis for real-time embedded controllers |
|
| Abstract | This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract requirements rather than verified against the timing requirements a posteriori. The first, more pragmatic approach is concerned with translation of imperative programs, extended by hard real-time commands which allow one to specify upper bounds for the execution time of basic blocks. In the second approach, Duration Calculus, a metric-time temporal logic, is used as the source language. Duration Calculus allows one to specify real-time systems at a very high level of abstraction. |
| Type | Book [Chapter] |
| Book title | Correct System Design: Recent Insights and Advances |
| Editors | |
| Year | 1999 Vol. 1710 pp. 256-287 |
| Publisher | Springer Verlag |
| Series | Lecture Notes in Computer Science |
| Electronic version(s) | [ps] |
| Publication link | http://www.imm.dtu.dk/~mf/festschrift-HL.ps.Z |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |