Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Real-time Euclid: a language for reliable real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
The refined-language approach to compiling for parallel supercomputers
The refined-language approach to compiling for parallel supercomputers
Second Generation TMS20 User's Guide
Second Generation TMS20 User's Guide
Tutorial: hard real-time systems
Tutorial: hard real-time systems
PCCTS reference manual: version 1.00
ACM SIGPLAN Notices
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Static scheduling of hard real-time code with instruction-level timing accuracy
RTCSA '96 Proceedings of the Third International Workshop on Real-Time Computing Systems Application
Algorithms to Schedule Tasks With AND/OR Precedence Constraints
Algorithms to Schedule Tasks With AND/OR Precedence Constraints
Statically Safe Speculative Execution for Real-Time Systems
IEEE Transactions on Software Engineering
Issues in using heterogeneous HPC systems for embedded real time signal processing applications
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
Deriving objects from use cases in real-time embedded systems
Information and Software Technology
| Hi-index | 0.00 |
In practice, time critical portions of hard real-time systems are still implemented in low-level programming languages and manually tuned to meet all the timing requirements. Without a real-time language that supports an appropriate way of specifying timing constraints for a generic hard real-time systems, and high precision timing analysis that is transparent to users, the users will ever suffer from the complex coding and analysis, particularly for systems requiring fast turnaround 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 timing constraints between arbitrary operations at instruction-level. The compilation techniques unique to transformation of the proposed language are also presented as a part of CHaRTS, the Compiler for Hard Real-Time Systems, which generates a valid instruction sequence for a target execution model.