Hardware implementation of programming languages for real-time

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 a 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.