Language Constructs and Transformation for Hard Real-time Systems

Tai M. Chung, Hank G. Dietz

Research output: Contribution to journalArticlepeer-review

5 Scopus citations

Abstract

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.

Original languageEnglish
Pages (from-to)41-49
Number of pages9
JournalACM SIGPLAN Notices
Volume30
Issue number11
DOIs
StatePublished - Nov 1 1995

Keywords

  • CHARTS
  • hard real-time
  • real-time language
  • timing constraint

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design

Fingerprint

Dive into the research topics of 'Language Constructs and Transformation for Hard Real-time Systems'. Together they form a unique fingerprint.

Cite this