Lecture Notes in Computer Science, 1997, Volume 1300/1997, 1274-1281, DOI: 10.1007/BFb0002883

A methodology for compilation of high-integrity real-time programs

Karl Lermer and Colin Fidge

View Related Documents

Abstract

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.

Fulltext Preview

Image of the first page of the fulltext document