A Methodology for Compilation of High-Integrity Real-Time Programs

@inproceedings{Lermer1997AMF,
  title={A Methodology for Compilation of High-Integrity Real-Time Programs},
  author={K. Lermer and C. Fidge},
  booktitle={Euro-Par},
  year={1997}
}
A practical methodology for compilation of trustworthy real-time programs is introduced. It combines new program development and timing analysis techniques with traditional compilation and assembly technologies. 
6 Citations
Analysis of the timing path methodology
A formal model of real-time program compilation
  • 3
A Formal Method for Building Concurrent Real-Time Software
  • 13
A theory for execution-time derivation in real-time programs
  • 7
  • PDF
A sequential real-time refinement calculus
  • 53
  • PDF
A Formal Model of Real-Time Program Compilation
  • 8

References

SHOWING 1-10 OF 39 REFERENCES
Semantics-based compiler transformations for enhanced schedulability
  • R. Gerber, S. Hong
  • Computer Science
  • 1993 Proceedings Real-Time Systems Symposium
  • 1993
  • 54
Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language
  • 15
  • PDF
Compiling real-time programs into schedulable code
  • 40
Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion
  • 39
  • PDF
Coercing Real-Time Refinement: A Transmitter, Technical Report 96-11
  • 1
  • Highly Influential
Extending Pearl for industrial real-time applications
  • 35
Real-time computing: a new discipline of computer science and engineering
  • 329
  • PDF
Measuring and analyzing real-time performance
  • 20
  • PDF
Predicting Worst Case Execution Times on a Pipelined RISC Processor
  • 11
  • PDF
...
1
2
3
4
...