We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First, the language should place the normal programmer (who tends to shy away from exceedingly formal constructs) in a comfortable environment. Secondly, programs written in this language should run on commodity systems, without relying on real-time support from the kernel. Thirdly, the language separates the code from timing restrictions, thus allowing for code re-use. Last but not least, the language should be built on a sound semantics and offer support for conformance testing and model checking.
Stefan D. Bruda, Petter Haggholm, Scott Stoddard