Language Constructs for High-Precision Specification of Real-Time Constraints

In practice, the hard real-time systems are still implemented in low-level programming languages for time critical portions and manually tuned to meet all the timing requirements. Without a real-time language that supports an appropriate way of specifying time constraints for a generic hard real-time systems and the fine-grain timing analysis that is transparent to users, the users will ever suffer from the complex coding and accurate analysis, particularly for the systems requiring fast turn-around responses. In this paper, we propose novel language constructs that can be added to any imperative programming language so that the extended language provides users a way to specify relative time constraints between arbitrary operations at instruction-level. The compilation techniques unique to transformation of proposed language are also presented as a part of the CHaRTS, Compiler for Hard Real-Time Systems, that generates a valid instruction sequence for a target execution model. Key word..