Hardware Implementation of Programming Languages for Real-Time

Authors:
M. Ward;N. C. Audsley
Affiliations:
-;-
Venue:
RTAS '02 Proceedings of the Eighth IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'02)
Year:
2002

Citing 0
Cited 4

Developing critical systems with PLD components

Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Suggestions for stream based parallel systems in Ada

IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Programming languages for real-time systems

Embedded Systems Design
Other issues

Embedded Systems Design

Quantified Score

Hi-index	0.02

Visualization

Abstract

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.