Arctic: A Functional Language for Real-Time Control
Arctic is a langu-~ge for tile specification and imp!ementation of real-time control systems. Unlike more conventional languages for real-time control, which emphasize concurrency, Arctic is a stateless language in which the relationships between system inputs, outputs and intermediate terms are exp...
Main Author: | |
---|---|
Other Authors: | |
Format: | Text |
Language: | English |
Published: |
1984
|
Subjects: | |
Online Access: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.6150 http://www-2.cs.cmu.edu/%7Erbd/papers/arctic-lisp84.pdf |
Summary: | Arctic is a langu-~ge for tile specification and imp!ementation of real-time control systems. Unlike more conventional languages for real-time control, which emphasize concurrency, Arctic is a stateless language in which the relationships between system inputs, outputs and intermediate terms are expressed as operation. ~ on time-varying functions. Arctic allows discrete events or conditions to invoke and modify responses asynchronously, but because programs have no state, synchronization problems are greatly simplified. Furthermore, Arctic programs are non-sequential, and the timing of system responses is notated explicitly. This eliminates the need for the programmer to be concerned with the execution sequence, which accounts for much of the difficulty in real-time programming. 1. |
---|