The Open UniversitySkip to content
 

High-integrity interfacing to programmable logic with Ada

Hilton, Adrian J. and Hall, Jon G. (2004). High-integrity interfacing to programmable logic with Ada. In: Llamosí, Albert and Strohmeier, Alfred eds. Reliable software technologies: Ada-Europe 2004. Lecture notes in computer science (3063). Berlin, Germany: Springer, pp. 249–260.

URL: http://www.springer.com/east/home?SGWID=5-102-22-3...
DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1007/b97913
Google Scholar: Look up in Google Scholar

Abstract

Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safety-related or safety-critical functionality. Recent safety standards demand similar rigour in PLD specification, design and verification to that in critical software design. Existing PLD development tools and techniques are inadequate for the higher integrity levels.
In this paper we examine the use of Ada as a design language for PLDs. We analyse earlier work on Ada-to-HDL compilation and identify where it could be improved. We show how program fragments written in the SPARK Ada subset can be efficiently and rigorously translated into PLD programs, and how a SPARK Ada program can be effectively interfaced to a PLD program. The techniques discussed are then applied to a substantial case study and some preliminary conclusions are drawn from the results.

Item Type: Book Chapter
ISBN: 3-540-22011-9, 978-3-540-22011-4
Extra Information: Proceedings of the 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004.
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 3347
Depositing User: Jon Hall
Date Deposited: 26 Jun 2006
Last Modified: 02 Dec 2010 19:49
URI: http://oro.open.ac.uk/id/eprint/3347
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk