{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:00Z","timestamp":1772163960366,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T00:00:00Z","timestamp":1131840000000},"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,11,13]]},"DOI":"10.1145\/1103846.1103856","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T10:52:40Z","timestamp":1139223160000},"page":"63-68","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["SafetyChip"],"prefix":"10.1145","author":[{"given":"Gustaf","family":"Naeser","sequence":"first","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}]},{"given":"Lars","family":"Asplund","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}]},{"given":"Johan","family":"Furun\u00e4s","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2005,11,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Reliable Software Technologies - Ada-Europe","author":"Burns A.","year":"1998","unstructured":"A. Burns , B. Dobbing , and G. Romanski , \" The Ravenscar Tasking Profile for High Integrity Real-Time Programs \", Reliable Software Technologies - Ada-Europe 1998 , LNCS 1411, Springer-Verlag , 1998. A. Burns, B. Dobbing, and G. Romanski, \"The Ravenscar Tasking Profile for High Integrity Real-Time Programs\", Reliable Software Technologies - Ada-Europe 1998, LNCS 1411, Springer-Verlag, 1998."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/958420.958424"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/876906.881540"},{"key":"e_1_3_2_1_5_1","unstructured":"Altera Corporation SignalTap II. http:\/\/www.altera.com\/  Altera Corporation SignalTap II. http:\/\/www.altera.com\/"},{"key":"e_1_3_2_1_6_1","first-page":"31","article-title":"Using EmbeddedICE","author":"Limited ARM","year":"1999","unstructured":"ARM Limited , \" Using EmbeddedICE \", Application Note 31 , 1999 . ARM Limited, \"Using EmbeddedICE\", Application Note 31, 1999.","journal-title":"Application Note"},{"key":"e_1_3_2_1_7_1","volume-title":"International Journal on Software Tools for Technology Transfer","author":"Larsen K.","year":"1997","unstructured":"K. Larsen , P. Pettersson , and W. Yi , \" Uppaal in a Nutshell \", International Journal on Software Tools for Technology Transfer , Springer-Verlag , 1997 . K. Larsen, P. Pettersson, and W. Yi, \"Uppaal in a Nutshell\", International Journal on Software Tools for Technology Transfer, Springer-Verlag, 1997."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021701221847"},{"key":"e_1_3_2_1_9_1","volume-title":"MRTC report ISSN 1404-3041 ISRN MDH-MRTC-176\/2005-1-SE","author":"Naeser G.","year":"2005","unstructured":"G. Naeser and J. Furun\u00e4s , \" Evaluation of Delay Queues for a Ravenscar Hardware Kernel \", MRTC report ISSN 1404-3041 ISRN MDH-MRTC-176\/2005-1-SE , M\u00e4lardalen Real-Time Research Centre , 2005 . G. Naeser and J. Furun\u00e4s, \"Evaluation of Delay Queues for a Ravenscar Hardware Kernel\", MRTC report ISSN 1404-3041 ISRN MDH-MRTC-176\/2005-1-SE, M\u00e4lardalen Real-Time Research Centre, 2005."},{"key":"e_1_3_2_1_10_1","volume-title":"San Jose, CA 95124-3400","author":"Xilinx Inc.","year":"2000","unstructured":"Xilinx Inc. , Chipscope integrated logic analyzer , San Jose, CA 95124-3400 , 2000 . http:\/\/www.xilinx.com\/products\/chipscope\/ Xilinx Inc., Chipscope integrated logic analyzer, San Jose, CA 95124-3400, 2000. http:\/\/www.xilinx.com\/products\/chipscope\/"},{"key":"e_1_3_2_1_11_1","volume-title":"ARM Limited","author":"York R.","year":"1999","unstructured":"R. York and J. Sharp , \" Real-time debug for systems-onchip devices \", ARM Limited , June 1999 . R. York and J. Sharp, \"Real-time debug for systems-onchip devices\", ARM Limited, June 1999."}],"event":{"name":"SIGAda '05: ACM SIGAda Annual International Conference","location":"Atlanta GA USA","acronym":"SIGAda '05","sponsor":["ACM Association for Computing Machinery","SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1103846.1103856","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1103846.1103856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:48:54Z","timestamp":1750272534000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1103846.1103856"}},"subtitle":["a time monitoring and policing device"],"short-title":[],"issued":{"date-parts":[[2005,11,13]]},"references-count":10,"alternative-id":["10.1145\/1103846.1103856","10.1145\/1103846"],"URL":"https:\/\/doi.org\/10.1145\/1103846.1103856","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1104011.1103856","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,11,13]]},"assertion":[{"value":"2005-11-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}