Execution of a high level real-time language
- 6 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
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.<>Keywords
This publication has 10 references indexed in Scilit:
- The design of software interfaces in SpecPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A static scheduler for the computer aided prototyping systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Semantics of a real-time languagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A prototyping language for real-time softwareIEEE Transactions on Software Engineering, 1988
- Rapidly prototyping real-time systemsIEEE Software, 1988
- On synchronization in hard-real-time systemsCommunications of the ACM, 1988
- A computer-aided prototyping systemIEEE Software, 1988
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- Abstraction-based software developmentCommunications of the ACM, 1986
- Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating ThemIEEE Transactions on Software Engineering, 1985