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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Amey, P., Chapman, R.: Industrial strength exception freedom. In: Proceedings of ACM SIGAda Annual International Conference, December 2002, ACM Press, New York (2002)
Barnes, J.: High Integrity Software: The SPARK Approach to Safety And Security, April 2003. Addison-Wesley, Reading (2003)
Bowen, M.: Handel-C Language Reference Manual. Embedded Solutions Ltd, 2.0 edition (October 1998)
Chapman, R.: SPARK Examiner release note - release 7.0. Technical report, Praxis Critical Systems Ltd. (August 2003)
Connell, J., Johnson, B.: Early HW/SW integration using SystemC v2.0. In: Proceedings of the Embedded Systems Conference. ARM and Synopsys Inc. (2002)
Davis, D.: Forge: High performance hardware from high-level software. Technical report, Xilinx (September 2002)
Hilton, A.J.: High Integrity Hardware-Software Codesign. PhD thesis, The Open University (December 2003)
Hilton, A.J., Hall, J.G.: Mandated requirements for hardware/software combination in safety-critical systems. In: Proceedings of the workshop on Requirements for High-Assurance Systems 2002. Software Engineering Institute, Carnegie- Mellon University (September 2002)
Hilton, A.J., Hall, J.G.: Refining specifications to programmable logic. In: Derrick, J., Boiten, E., Woodcock, J., von Wright, J. (eds.) Proceedings of REFINE 2002, November 2002. Electronic Notes in Theoretical Computer Science, vol. 30, Elsevier, Amsterdam (2002)
International Electrotechnical Commission. IEC Standard 61508, Functional Safety of Electrical / Electronic / Programmable Electronic Safety-Related Systems (March 2000)
Romanski, G.: Review of ‘Safer C’ (by Les Hatton). Technical report, Thomson Software Products (January 1996)
RTCA / EUROCAE. RTCA DO-178B / EUROCAE ED-12B: Software Considerations in Airborne Systems and Equipment Certification (December 1992)
RTCA / EUROCAE. RTCA DO-254 / EUROCAE ED-80: Design Assurance Guidance for Airborne Electronic Hardware (April 2000)
Sheraga, R.J.: ANSI C to behavioural VHDL translator, Ada to behavioural VHDL translator. The RASSP Digest, September 3 (1996)
UK Ministry of Defence. Defence Standard 00-56 Issue 2. Safety Management Requirements for Defence Systems (December 1996)
UK Ministry of Defence. Interim Defence Standard 00-54 Issue 1 Requirements for Safety Related Electronic Hardware in Defence Equipment (March 1999)
Ward, M., Audsley, N.C.: Hardware implementation of programming languages for real-time. In: Proceedings of the Eighth IEEE Real-Time Embedded Technology and Applications Symposium (RTAS 2002), September 2002, pp. 276–284. IEEE, Los Alamitos (2002)
Ward, M., Audsley, N.C.: Hardware implementation of the Ravenscar Ada tasking profile. In: Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems, ACM Press, New York (2002)
Ward, M., Audsley, N.C.: Language issues of compiling Ada to hardware. In: 11th International Real Time Ada Workshop (April 2002)
Ward, M., Audsley, N.C.: Hardware compilation of sequential Ada. In: Proceedings of CASES 2001, pp. 99–107 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hilton, A.J., Hall, J.G. (2004). High-Integrity Interfacing to Programmable Logic with Ada. In: LlamosÃ, A., Strohmeier, A. (eds) Reliable Software Technologies - Ada-Europe 2004. Ada-Europe 2004. Lecture Notes in Computer Science, vol 3063. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24841-5_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-24841-5_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22011-4
Online ISBN: 978-3-540-24841-5
eBook Packages: Springer Book Archive