{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:42:15Z","timestamp":1750308135991,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,5]],"date-time":"2005-09-05T00:00:00Z","timestamp":1125878400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9,5]]},"DOI":"10.1145\/1081180.1081190","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"72-79","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Developing critical systems with PLD components"],"prefix":"10.1145","author":[{"given":"Adrian","family":"Hilton","sequence":"first","affiliation":[{"name":"Praxis High Integrity Systems, Bath, UK"}]},{"given":"Jon G.","family":"Hall","sequence":"additional","affiliation":[{"name":"Open University, Milton Keynes, UK"}]}],"member":"320","published-online":{"date-parts":[[2005,9,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Moore W. Luk W. eds.: FPGAs: Edited Proceedings of the International Workshop on Field Programmable Logic and Applications. In Moore W. Luk W. eds.: FPGAs: Edited Proceedings of the International Workshop on Field Programmable Logic and Applications. (1991) Moore W. Luk W. eds.: FPGAs: Edited Proceedings of the International Workshop on Field Programmable Logic and Applications. In Moore W. Luk W. eds.: FPGAs: Edited Proceedings of the International Workshop on Field Programmable Logic and Applications. (1991)"},{"key":"e_1_3_2_1_2_1","unstructured":"Actel Corporation: http:\/\/www.electronicstalk.com\/news\/act\/act196.html. (2005) Actel Corporation: http:\/\/www.electronicstalk.com\/news\/act\/act196.html. (2005)"},{"key":"e_1_3_2_1_3_1","volume-title":"FPGAs in Space: Programmable Logic in Orbit. FPGA and Programmable Logic Journal (2004) http:\/\/www.fpgajournal.com\/articles\/20040803_space.htm. Last accessed","author":"Morris K.","year":"2005","unstructured":"Morris , K. : FPGAs in Space: Programmable Logic in Orbit. FPGA and Programmable Logic Journal (2004) http:\/\/www.fpgajournal.com\/articles\/20040803_space.htm. Last accessed : May 16, 2005 . Morris, K.: FPGAs in Space: Programmable Logic in Orbit. FPGA and Programmable Logic Journal (2004) http:\/\/www.fpgajournal.com\/articles\/20040803_space.htm. Last accessed: May 16, 2005."},{"key":"e_1_3_2_1_4_1","volume-title":"Ames","author":"Gibbons W.","year":"1999","unstructured":"Gibbons , W. , Ames , H. : Use of FPGAs in critical space flight applications -- a hard lesson. In: 1999 Military and Aerospace Applications of Programmable Devices and Technologies Conference, Space Dynamics Laboratory, Utah State University ( 1999) Gibbons, W., Ames, H.: Use of FPGAs in critical space flight applications -- a hard lesson. In: 1999 Military and Aerospace Applications of Programmable Devices and Technologies Conference, Space Dynamics Laboratory, Utah State University (1999)"},{"key":"e_1_3_2_1_5_1","unstructured":"IEEE : IEEE Std. 1076-1987: IEEE Standard VHDL Language Reference Manual. (1991) IEEE: IEEE Std. 1076-1987: IEEE Standard VHDL Language Reference Manual. (1991)"},{"key":"e_1_3_2_1_6_1","unstructured":"IEEE : IEEE Std. 1364-1995: IEEE Standard Description Language. (1995) Based on the Verilog(TM) Hardware Description Language. IEEE: IEEE Std. 1364-1995: IEEE Standard Description Language. (1995) Based on the Verilog(TM) Hardware Description Language."},{"key":"e_1_3_2_1_7_1","volume-title":"occam Programming Manual","author":"Hoare C.A.R.","year":"1984","unstructured":"Hoare , C.A.R. : occam Programming Manual . Prentice-Hall International ( 1984 ) Hoare, C.A.R.: occam Programming Manual. Prentice-Hall International (1984)"},{"key":"e_1_3_2_1_8_1","volume-title":"Language and Interaction: Essays in Honour of Robin Milner. Foundations of Computing","author":"Berry G.","year":"2000","unstructured":"Berry , G. : The foundations of Esterel . In Plotkin, G., Stirling, C., Tofte, M., eds.: Proof, Language and Interaction: Essays in Honour of Robin Milner. Foundations of Computing . MIT Press ( 2000 ) Berry, G.: The foundations of Esterel. In Plotkin, G., Stirling, C., Tofte, M., eds.: Proof, Language and Interaction: Essays in Honour of Robin Milner. Foundations of Computing. MIT Press (2000)"},{"volume-title":"Proceedings of the Embedded Systems Conference, ARM and Synopsys Inc. (2002)","author":"Connell J.","key":"e_1_3_2_1_9_1","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) 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":"e_1_3_2_1_10_1","unstructured":"Celoxica Ltd.: Handel-C Language Reference Manual. 3.1 edn. (2002) Celoxica Ltd.: Handel-C Language Reference Manual. 3.1 edn. (2002)"},{"key":"e_1_3_2_1_11_1","volume-title":": Communicating Sequential Processes","author":"Hoare C.A.R.","year":"1985","unstructured":"Hoare , C.A.R. : Communicating Sequential Processes . Prentice-Hall International ( 1985 ) Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International (1985)"},{"key":"e_1_3_2_1_12_1","volume-title":"Spivey","author":"Page I.","year":"1993","unstructured":"Page , I. , Spivey , M. : How to program in Handel. Technical report, Oxford University Computing Laboratory ( 1993 ) Page, I., Spivey, M.: How to program in Handel. Technical report, Oxford University Computing Laboratory (1993)"},{"key":"e_1_3_2_1_13_1","volume-title":"Sheeran","author":"Jones G.","year":"1990","unstructured":"Jones , G. , Sheeran , M. : Circuit design in Ruby. In Staunstrup, J., ed.: Formal Methods for VLSI Design, North-Holland ( 1990 ) 13--70 Jones, G., Sheeran, M.: Circuit design in Ruby. In Staunstrup, J., ed.: Formal Methods for VLSI Design, North-Holland (1990) 13--70"},{"key":"e_1_3_2_1_14_1","unstructured":"Claessen K. Sheeran M.: A Tutorial on Lava: A Hardware Description and Verification System. (2000) Claessen K. Sheeran M.: A Tutorial on Lava: A Hardware Description and Verification System. (2000)"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80820-X"},{"key":"e_1_3_2_1_16_1","unstructured":"McHale J.: The new frontier: Reconfigurable computing. Military and Aerospace Electronics (2002) McHale J.: The new frontier: Reconfigurable computing. Military and Aerospace Electronics (2002)"},{"key":"e_1_3_2_1_17_1","unstructured":"Sheraga R.J.: ANSI C to behavioural VHDL translator Ada to behavioural VHDL translator. The RASSP Digest 3 (1996) Sheraga R.J.: ANSI C to behavioural VHDL translator Ada to behavioural VHDL translator. The RASSP Digest 3 (1996)"},{"volume-title":"Karl","author":"Macketanz R.","key":"e_1_3_2_1_18_1","unstructured":"Macketanz , R. , Karl , W. : JVX --- a rapid prototyping system based on Java and FPGAs . {46} 99--108 Macketanz, R., Karl, W.: JVX --- a rapid prototyping system based on Java and FPGAs. {46} 99--108"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/827265.828496"},{"key":"e_1_3_2_1_20_1","volume-title":"Clarke","author":"Morison J.D.","year":"2000","unstructured":"Morison , J.D. , Clarke , A.S. : ELLA 2000 ; a Language for Electronic System Design. McGraw-Hill Book Company ( 1993) Morison, J.D., Clarke, A.S.: ELLA 2000; a Language for Electronic System Design. McGraw-Hill Book Company (1993)"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"e_1_3_2_1_22_1","volume-title":": A mathematical theory of synchronous communication. Technical report","author":"Barnes J.E.","year":"1993","unstructured":"Barnes , J.E. : A mathematical theory of synchronous communication. Technical report , Oxford University Computing Laboratory ( 1993 ) Barnes, J.E.: A mathematical theory of synchronous communication. Technical report, Oxford University Computing Laboratory (1993)"},{"key":"e_1_3_2_1_23_1","volume-title":"Hall","author":"Hilton A.J.","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 . Volume 30 of Electronic Notes in Theoretical Computer Science., Elsevier ( 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. Volume 30 of Electronic Notes in Theoretical Computer Science., Elsevier (2002)"},{"key":"e_1_3_2_1_24_1","volume-title":"Mariano","author":"Aljer A.","year":"2003","unstructured":"Aljer , A. , Devienne , P. , Tison , S. , Boulanger , J.L. , Mariano , G. : BHDL: Circuit design in B. In Lilius, J., Balarin, F., eds.: Third International Conference on Application of Concurrency to System Design, Laboratoire d'Informatique Fondamentale de Lille, Universit\u00e9 de Compi\u00e8gne, Institut National de Recherche sur les Transports et leur S\u00e9curit\u00e9 ( 2003 ) 241 Aljer, A., Devienne, P., Tison, S., Boulanger, J.L., Mariano, G.: BHDL: Circuit design in B. In Lilius, J., Balarin, F., eds.: Third International Conference on Application of Concurrency to System Design, Laboratoire d'Informatique Fondamentale de Lille, Universit\u00e9 de Compi\u00e8gne, Institut National de Recherche sur les Transports et leur S\u00e9curit\u00e9 (2003) 241"},{"key":"e_1_3_2_1_25_1","unstructured":"RTCA \/ EUROCAE: RTCA DO-254 \/ EUROCAE ED-80: Design Assurance Guidance for Airborne Electronic Hardware. (2000) RTCA \/ EUROCAE: RTCA DO-254 \/ EUROCAE ED-80: Design Assurance Guidance for Airborne Electronic Hardware. (2000)"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"MoD: Interim Defence Standard 00-56 issue 3: Safety management requirements for defence systems. Technical report UK Ministry of Defence (2005) http:\/\/www.dstan.mod.uk\/. MoD: Interim Defence Standard 00-56 issue 3: Safety management requirements for defence systems. Technical report UK Ministry of Defence (2005) http:\/\/www.dstan.mod.uk\/.","DOI":"10.1049\/ic:20050407"},{"key":"e_1_3_2_1_27_1","first-page":"1","volume":"0","author":"Mo D","year":"1999","unstructured":"Mo D : Interim Defence Standard 0 0-54 issue 1 ( 1999 ) Requirements for Safety Related Electronic Hardware in Defence Equipment. MoD: Interim Defence Standard 00-54 issue 1 (1999) Requirements for Safety Related Electronic Hardware in Defence Equipment.","journal-title":"Interim Defence Standard"},{"key":"e_1_3_2_1_28_1","unstructured":"International Electrotechnical Commission: IEC Standard 61508 Functional Safety of Electrical \/ Electronic \/ Programmable Electronic Safety-Related Systems. (2000) International Electrotechnical Commission: IEC Standard 61508 Functional Safety of Electrical \/ Electronic \/ Programmable Electronic Safety-Related Systems. (2000)"},{"key":"e_1_3_2_1_29_1","unstructured":"Common Criteria: Common Criteria for Information Technology Security Evaluation. (1999) Common Criteria: Common Criteria for Information Technology Security Evaluation. (1999)"},{"key":"e_1_3_2_1_30_1","unstructured":"MoD: Defence Standard 00-56 issue 2. Technical report Ministry of Defence (1996) Safety Management Requirements for Defence Systems. MoD: Defence Standard 00-56 issue 2. Technical report Ministry of Defence (1996) Safety Management Requirements for Defence Systems."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/163359.163373"},{"key":"e_1_3_2_1_33_1","volume-title":"ISO\/IEC 8809:1989","author":"International Organisation","year":"1993","unstructured":"International Organisation for Standardisation : ISO\/IEC 8809:1989 ; LOTOS : A for mal description technique based on the temporal ordering of observational behaviour. ( 1993 ) International Organisation for Standardisation: ISO\/IEC 8809:1989; LOTOS: A formal description technique based on the temporal ordering of observational behaviour. (1993)"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/262004.262007"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775834"},{"key":"e_1_3_2_1_38_1","volume-title":"Nicolau","author":"Gupta S.","year":"2003","unstructured":"Gupta , S. , Dutt , N. , Gupta , R. , Nicolau , A. : SPARK: a high-level synthesis framework for applying parallelizing compiler transformations. In Ranganathan, N., ed.: Proceedings of the Sixteenth International Conference on VLSI Design, Center for Embedded Computer Systems, University of California at Irvine ( 2003 ) Gupta, S., Dutt, N., Gupta, R., Nicolau, A.: SPARK: a high-level synthesis framework for applying parallelizing compiler transformations. In Ranganathan, N., ed.: Proceedings of the Sixteenth International Conference on VLSI Design, Center for Embedded Computer Systems, University of California at Irvine (2003)"},{"key":"e_1_3_2_1_39_1","volume-title":"Hall","author":"Hilton A.J.","year":"2004","unstructured":"Hilton , A.J. , Hall , J.G. : High-integrity interfacing to programmable logic with Ada. In Llamos\u00ed, A., Strohmeier, A., eds.: Proceedings of the 9th International Conference on Reliable Software Technologies (Ada-Europe 2004 ). (2004) Hilton, A.J., Hall, J.G.: High-integrity interfacing to programmable logic with Ada. In Llamos\u00ed, A., Strohmeier, A., eds.: Proceedings of the 9th International Conference on Reliable Software Technologies (Ada-Europe 2004). (2004)"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/581630.581641"},{"key":"e_1_3_2_1_41_1","volume-title":"High Integrity Software: The SPARK Approach to Safety And Security","author":"Barnes J.","year":"2003","unstructured":"Barnes , J. : High Integrity Software: The SPARK Approach to Safety And Security . Addison Wesley ( 2003 ) Barnes, J.: High Integrity Software: The SPARK Approach to Safety And Security. Addison Wesley (2003)"},{"volume-title":"McKeever","author":"Luk W.","key":"e_1_3_2_1_42_1","unstructured":"Luk , W. , McKeever , S. : Pebble - -- a language for parametrised and reconfigurable hardware. {98} 9--18 Luk, W., McKeever, S.: Pebble --- a language for parametrised and reconfigurable hardware. {98} 9--18"},{"key":"e_1_3_2_1_43_1","volume-title":"Department of Computing","author":"Pell O.","year":"2004","unstructured":"Pell , O. : Quartz: A new language for hardware description. Final year project report , Department of Computing , Imperial College of Science , Technology and Medicine ( 2004 ) Pell, O.: Quartz: A new language for hardware description. Final year project report, Department of Computing, Imperial College of Science, Technology and Medicine (2004)"},{"key":"e_1_3_2_1_44_1","unstructured":"Hilton A.: Practical guide to certification and re-certification of AAvA software elements: Software for programmable logic devices. Technical report QinetiQ (2003) Hilton A.: Practical guide to certification and re-certification of AAvA software elements: Software for programmable logic devices. Technical report QinetiQ (2003)"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/645432.652868"},{"key":"e_1_3_2_1_46_1","volume-title":"8th International Workshop (FPL'98)","volume":"1482","author":"Hartenstein R.W.","unstructured":"Hartenstein , R.W. , Keevallik , A. , eds. : Field-Programmable Logic and Applications: From FPGAs to Computing Paradigm , 8th International Workshop (FPL'98) , Proceedings. In Hartenstein, R.W., Keevallik, A., eds.: Proceedings of the 8th International Workshop on Field Programmable Logic (FPL'98). Volume 1482 of Lecture Notes In Computer Science., Springer-Verlag (1998) Hartenstein, R.W., Keevallik, A., eds.: Field-Programmable Logic and Applications: From FPGAs to Computing Paradigm, 8th International Workshop (FPL'98), Proceedings. In Hartenstein, R.W., Keevallik, A., eds.: Proceedings of the 8th International Workshop on Field Programmable Logic (FPL'98). Volume 1482 of Lecture Notes In Computer Science., Springer-Verlag (1998)"}],"event":{"name":"FMICS05: Tenth International Workshop on Formal Methods in Industrial Criticial Systems 2005","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lisbon Portugal","acronym":"FMICS05"},"container-title":["Proceedings of the 10th international workshop on Formal methods for industrial critical systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081180.1081190","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1081180.1081190","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:33Z","timestamp":1750262913000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081180.1081190"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,5]]},"references-count":43,"alternative-id":["10.1145\/1081180.1081190","10.1145\/1081180"],"URL":"https:\/\/doi.org\/10.1145\/1081180.1081190","relation":{},"subject":[],"published":{"date-parts":[[2005,9,5]]},"assertion":[{"value":"2005-09-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}