Execution of a high level real-time language

Prototype system description language is a high-level real-time language with special features for hard real-time system specification and design. It can be used to firm up requirements through execution of its software prototypes. The language design is based on a real-time model merging data and control flow, and its implementation is beyond conventional compiler technology because of the need to meet real-time constraints. A special scheme used to meet the hard real-time constraints and the guidelines used to implement such a language in the target language Ada are described and illustrated. The required software tools for automated translation and scheduling are also discussed. These tools have been designed, and a prototype version has been partially implemented.<<ETX>>

[1]  Aloysius K. Mok,et al.  Safety analysis of timing properties in real-time systems , 1986, IEEE Transactions on Software Engineering.

[2]  Luqi,et al.  Rapidly prototyping real-time systems , 1988, IEEE Software.

[3]  B. Dasarathy,et al.  Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them , 1989, IEEE Transactions on Software Engineering.

[4]  Valdis Berzins.  The design of software interfaces in Spec , 1988, Proceedings. 1988 International Conference on Computer Languages.

[5]  Luqi,et al.  A computer-aided prototyping system , 1988, IEEE Software.

[6]  Luqi,et al.  A Prototyping Language for Real-Time Software , 1988, IEEE Trans. Software Eng..

[7]  Valdis Berzins,et al.  Abstraction-based software development , 1986, CACM.

[8]  Luqi,et al.  A static scheduler for the computer aided prototyping system , 1988, Computer Assurance, 1988. COMPASS '88.

[9]  Luqi.  Normalized specifications for identifying reusable software , 1987, FJCC.

[10]  Luqi,et al.  Semantics of a real-time language , 1988, Proceedings. Real-Time Systems Symposium.

[11]  David Lorge Parnas,et al.  On synchronization in hard-real-time systems , 1988, CACM.

[12]  Aloysius K. Mok,et al.  Modeling and Scheduling of Dataflow Real-Time Systems , 1985, RTSS.