Targetting PLDs for high-level High Integrity Systems Development


Combined hardware/software systems are increasingly being used for safety-critical systems, with hardware taking processing load off the software. We have produced a design template that allows SPARK Ada, a programming language used for safety-critical systems development, to be compiled and interpreted on programmable logic devices. In this paper we… (More)

3 Figures and Tables


  • Presentations referencing similar topics