Real-Time Programming Languages - Operating Systems
Real-Time Programming Languages - Operating Systems
Real-Time Programming Languages - Operating Systems
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Synchronous <strong>Systems</strong> → Synchronous <strong>Languages</strong><br />
Gerard Berry:<br />
Our approach is based on the standard principle of separation of<br />
concerns. First, write the program at the logical level and make<br />
use of all the mathematics available there. Then, implement the<br />
program using the best available automatic synthesis tools, and<br />
check that the result is practically OK.<br />
Gerard<br />
Berry<br />
Ideal <strong>Systems</strong> produce their outputs synchronously with their inputs.<br />
WS 2013/14 <strong>Real</strong>-<strong>Time</strong> <strong>Systems</strong>, <strong>Real</strong>-<strong>Time</strong> Prog. <strong>Languages</strong> / Hermann Härtig 5