Back to Search Start Over

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

Authors :
Colin J. Fidge
Karl Lermer
Source :
Euro-Par'97 Parallel Processing ISBN: 9783540634409, Euro-Par
Publication Year :
1997
Publisher :
Springer Berlin Heidelberg, 1997.

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.

Subjects

Subjects :
Control flow analysis
Computer science
Programming language
High integrity
Static timing analysis
Hardware_CONTROLSTRUCTURESANDMICROPROGRAMMING
computer.software_genre
Machine code
computer
Real-time operating system

Details

ISBN :
978-3-540-63440-9
ISBNs :
9783540634409
Database :
OpenAIRE
Journal :
Euro-Par'97 Parallel Processing ISBN: 9783540634409, Euro-Par
Accession number :
edsair.doi...........90faa2594b62632fd29972dcba75309b

Tools

Authors Abstract Subjects Details