Real-Time Systems place large demands on the languages used to implement them. The current, processor based implementation methods do not allow accurate timing analysis due to the complexity of modern processors. FPGAs provide a means to implement a real-time system in way that allows accurate timing analysis. Existing implementations of programming languages in hardware do not support the needs of a real-time system. This paper presents a hardware implementation of SPARK Ada that allows accurate timing analysis.

BibTex Entry

@inproceedings{Ward2002,
 author = {M. Ward and N. Audsley},
 booktitle = {Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium},
 category = {noveltechnology, languages},
 pages = {276-285},
 title = {Hardware Implementation of Programming Languages for Real-Time},
 year = {2002}
}