|
|
|
<i>Prelude</i> is a high-level language for programming real-time embedded
|
|
|
|
control systems. It is built upon Synchronous Languages (such as
|
|
|
|
<a href="http://en.wikipedia.org/wiki/Lustre_%28programming_language%29">Lustre</a>)
|
|
|
|
and inherits their formal properties. It adds real-time primitives to
|
|
|
|
enable the programming of multi-periodic systems. The objective of the
|
|
|
|
language is not to replace other synchronous languages but instead to
|
|
|
|
provide a higher layer of abstraction, on top of classic synchronous
|
|
|
|
languages. It can be considered as a real-time software architecture
|
|
|
|
language that enables to assemble locally mono-periodic synchronous
|
|
|
|
systems into a globally multi-periodic synchronous system. <br><br> |
