Targetting PLDs for high-level High Integrity Systems Development

Abstract

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

Topics

  • Presentations referencing similar topics