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

Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditional compilation and assembly technologies.

• Type: Conference
• Year: 1997
• Where: EUROPAR
• Authors: Karl Lermer, Colin J. Fidge
• Keywords: Distributed And Parallel Computing, EUROPAR 1997, Timing Analysis Techniques, Traditional Compilation, Trustworthy Realtime Programs