{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:22:03Z","timestamp":1761488523810},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540220114"},{"type":"electronic","value":"9783540248415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24841-5_20","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:28:22Z","timestamp":1281299302000},"page":"249-260","source":"Crossref","is-referenced-by-count":1,"title":["High-Integrity Interfacing to Programmable Logic with Ada"],"prefix":"10.1007","author":[{"given":"Adrian J.","family":"Hilton","sequence":"first","affiliation":[]},{"given":"Jon G.","family":"Hall","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"Proceedings of ACM SIGAda Annual International Conference","author":"P. Amey","year":"2002","unstructured":"Amey, P., Chapman, R.: Industrial strength exception freedom. In: Proceedings of ACM SIGAda Annual International Conference, December 2002, ACM Press, New York (2002)"},{"key":"20_CR2","volume-title":"High Integrity Software: The SPARK Approach to Safety And Security","author":"J. Barnes","year":"2003","unstructured":"Barnes, J.: High Integrity Software: The SPARK Approach to Safety And Security, April 2003. Addison-Wesley, Reading (2003)"},{"key":"20_CR3","unstructured":"Bowen, M.: Handel-C Language Reference Manual. Embedded Solutions Ltd, 2.0 edition (October 1998)"},{"key":"20_CR4","unstructured":"Chapman, R.: SPARK Examiner release note - release 7.0. Technical report, Praxis Critical Systems Ltd. (August 2003)"},{"key":"20_CR5","unstructured":"Connell, J., Johnson, B.: Early HW\/SW integration using SystemC v2.0. In: Proceedings of the Embedded Systems Conference. ARM and Synopsys Inc. (2002)"},{"key":"20_CR6","unstructured":"Davis, D.: Forge: High performance hardware from high-level software. Technical report, Xilinx (September 2002)"},{"key":"20_CR7","unstructured":"Hilton, A.J.: High Integrity Hardware-Software Codesign. PhD thesis, The Open University (December 2003)"},{"key":"20_CR8","unstructured":"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)"},{"key":"20_CR9","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of REFINE 2002","author":"A.J. Hilton","year":"2002","unstructured":"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.\u00a030, Elsevier, Amsterdam (2002)"},{"key":"20_CR10","unstructured":"International Electrotechnical Commission. IEC Standard 61508, Functional Safety of Electrical \/ Electronic \/ Programmable Electronic Safety-Related Systems (March 2000)"},{"key":"20_CR11","unstructured":"Romanski, G.: Review of \u2018Safer C\u2019 (by Les Hatton). Technical report, Thomson Software Products (January 1996)"},{"key":"20_CR12","unstructured":"RTCA \/ EUROCAE. RTCA DO-178B \/ EUROCAE ED-12B: Software Considerations in Airborne Systems and Equipment Certification (December 1992)"},{"key":"20_CR13","unstructured":"RTCA \/ EUROCAE. RTCA DO-254 \/ EUROCAE ED-80: Design Assurance Guidance for Airborne Electronic Hardware (April 2000)"},{"key":"20_CR14","unstructured":"Sheraga, R.J.: ANSI C to behavioural VHDL translator, Ada to behavioural VHDL translator. The RASSP Digest, September 3 (1996)"},{"key":"20_CR15","unstructured":"UK Ministry of Defence. Defence Standard 00-56 Issue 2. Safety Management Requirements for Defence Systems (December 1996)"},{"key":"20_CR16","unstructured":"UK Ministry of Defence. Interim Defence Standard 00-54 Issue 1 Requirements for Safety Related Electronic Hardware in Defence Equipment (March 1999)"},{"key":"20_CR17","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/RTTAS.2002.1137403","volume-title":"Proceedings of the Eighth IEEE Real-Time Embedded Technology and Applications Symposium (RTAS 2002)","author":"M. Ward","year":"2002","unstructured":"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\u2013284. IEEE, Los Alamitos (2002)"},{"key":"20_CR18","volume-title":"Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems","author":"M. Ward","year":"2002","unstructured":"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)"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Ward, M., Audsley, N.C.: Language issues of compiling Ada to hardware. In: 11th International Real Time Ada Workshop (April 2002)","DOI":"10.1145\/584418.584430"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Ward, M., Audsley, N.C.: Hardware compilation of sequential Ada. In: Proceedings of CASES 2001, pp. 99\u2013107 (2001)","DOI":"10.1145\/502217.502233"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies - Ada-Europe 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24841-5_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:13:38Z","timestamp":1620011618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24841-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220114","9783540248415"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24841-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}