{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:42Z","timestamp":1772164062421,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,11,10]],"date-time":"2013-11-10T00:00:00Z","timestamp":1384041600000},"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":[[2013,11,10]]},"DOI":"10.1145\/2527269.2527271","type":"proceedings-article","created":{"date-parts":[[2013,11,12]],"date-time":"2013-11-12T10:29:36Z","timestamp":1384252176000},"page":"65-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device"],"prefix":"10.1145","author":[{"given":"Brian","family":"Larson","sequence":"first","affiliation":[{"name":"Kansas State University, Manhattan, KS, USA"}]},{"given":"John","family":"Hatcliff","sequence":"additional","affiliation":[{"name":"Kansas State University, Manhattan, KS, USA"}]},{"given":"Kim","family":"Fowler","sequence":"additional","affiliation":[{"name":"Kansas State University, Manhattan, KS, USA"}]},{"given":"Julien","family":"Delange","sequence":"additional","affiliation":[{"name":"Carnegie Mellon Software Engineering Institute, Pittsburgh, PA, USA"}]}],"member":"320","published-online":{"date-parts":[[2013,11,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"www.aadl.info","author":"Analysis Architecture","year":"2012","unstructured":"Architecture Analysis & Design Language . www.aadl.info , 2012 . Architecture Analysis & Design Language. www.aadl.info, 2012."},{"key":"e_1_3_2_1_2_1","volume-title":"AADL fault modeling and analysis within an ARP4761 safety assessment. Technical report","author":"Delange J.","year":"2013","unstructured":"J. Delange , P. Feiler , D. Gluch , and J. Hudak . AADL fault modeling and analysis within an ARP4761 safety assessment. Technical report , Carnegie Mellon Software Engineering Institute , 2013 . J. Delange, P. Feiler, D. Gluch, and J. Hudak. AADL fault modeling and analysis within an ARP4761 safety assessment. Technical report, Carnegie Mellon Software Engineering Institute, 2013."},{"key":"e_1_3_2_1_3_1","volume-title":"AADL requirements annex (draft, progress update). https:\/\/wiki.sei.cmu.edu\/aadl\/images\/a\/af\/Requirements annex aadl standards meeting 16-19 04","author":"Dominique Blouin E. S.","year":"2012","unstructured":"E. S. Dominique Blouin , Skander Turki . AADL requirements annex (draft, progress update). https:\/\/wiki.sei.cmu.edu\/aadl\/images\/a\/af\/Requirements annex aadl standards meeting 16-19 04 2012 .pdf|. E. S. Dominique Blouin, Skander Turki. AADL requirements annex (draft, progress update). https:\/\/wiki.sei.cmu.edu\/aadl\/images\/a\/af\/Requirements annex aadl standards meeting 16-19 04 2012.pdf|."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/0471739421"},{"key":"e_1_3_2_1_5_1","volume-title":"SAE International","author":"Feiler P.","year":"2013","unstructured":"P. Feiler . Architecture Analysis and Design Language (AADL) Annex Volume 3: Annex E: Error Model V2 Annex. Number SAE AS5506\/3 (Draft) in SAE Aerospace Standard . SAE International , 2013 . P. Feiler. Architecture Analysis and Design Language (AADL) Annex Volume 3: Annex E: Error Model V2 Annex. Number SAE AS5506\/3 (Draft) in SAE Aerospace Standard. SAE International, 2013."},{"key":"e_1_3_2_1_6_1","volume-title":"Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis and Design Language","author":"Feiler P.","year":"2012","unstructured":"P. Feiler and D. Gluch . Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis and Design Language . Addison-Wesley , 2012 . P. Feiler and D. Gluch. Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis and Design Language. Addison-Wesley, 2012."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(93)90029-W"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.9"},{"key":"e_1_3_2_1_10_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Proc. 23rd International Conference on Computer Aided Verification (CAV?11)","author":"Kwiatkowska M.","year":"2011","unstructured":"M. Kwiatkowska , G. Norman , and D. Parker . PRISM 4.0: Verification of probabilistic real-time systems . In G. Gopalakrishnan and S. Qadeer, editors, Proc. 23rd International Conference on Computer Aided Verification (CAV?11) , volume 6806 of LNCS , pages 585 -- 591 . Springer , 2011 . M. Kwiatkowska, G. Norman, and D. Parker. PRISM 4.0: Verification of probabilistic real-time systems. In G. Gopalakrishnan and S. Qadeer, editors, Proc. 23rd International Conference on Computer Aided Verification (CAV?11), volume 6806 of LNCS, pages 585--591. Springer, 2011."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEHC.2013.6602474"},{"key":"e_1_3_2_1_12_1","volume-title":"Requirements Engineering Management Handbook","author":"Lempia D.","year":"2009","unstructured":"D. Lempia and S. Miller . DOT\/FAA\/AR-08\/32 . Requirements Engineering Management Handbook , 2009 . D. Lempia and S. Miller. DOT\/FAA\/AR-08\/32. Requirements Engineering Management Handbook, 2009."},{"key":"e_1_3_2_1_13_1","volume-title":"Safeware: System Safety and Computers","author":"Leveson N.","year":"1995","unstructured":"N. Leveson . Safeware: System Safety and Computers . Addison-Wesley , 1995 . N. Leveson. Safeware: System Safety and Computers. Addison-Wesley, 1995."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/8179.001.0001"},{"key":"e_1_3_2_1_15_1","volume-title":"OpenFTA - http:\/\/www.openfta.com","year":"2013","unstructured":"O-Sys. OpenFTA - http:\/\/www.openfta.com , 2013 . O-Sys. OpenFTA - http:\/\/www.openfta.com, 2013."},{"key":"e_1_3_2_1_16_1","volume-title":"ARP4761 - Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment","author":"International SAE","year":"1996","unstructured":"SAE International . ARP4761 - Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment , 1996 . SAE International. ARP4761 - Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, 1996."},{"key":"e_1_3_2_1_17_1","volume-title":"Open Source AADL Tool Environment (OSATE) - https:\/\/wiki.sei.cmu.edu\/aadl","author":"CMU.","year":"2013","unstructured":"SEI\/ CMU. Open Source AADL Tool Environment (OSATE) - https:\/\/wiki.sei.cmu.edu\/aadl , 2013 . SEI\/CMU. Open Source AADL Tool Environment (OSATE) - https:\/\/wiki.sei.cmu.edu\/aadl, 2013."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.051"},{"key":"e_1_3_2_1_19_1","volume-title":"https:\/\/wiki.sei.cmu.edu\/aadl\/index.php\/Projects_and_Initiatives#AVSI_ SAVIwiki.sei.cmu.edu\/aadl\/index.php\/Projects and Initiatives","author":"Virtual System Architecture","year":"2012","unstructured":"System Architecture Virtual Integration (SAVI) Initiative . https:\/\/wiki.sei.cmu.edu\/aadl\/index.php\/Projects_and_Initiatives#AVSI_ SAVIwiki.sei.cmu.edu\/aadl\/index.php\/Projects and Initiatives , 2012 . System Architecture Virtual Integration (SAVI) Initiative. https:\/\/wiki.sei.cmu.edu\/aadl\/index.php\/Projects_and_Initiatives#AVSI_ SAVIwiki.sei.cmu.edu\/aadl\/index.php\/Projects and Initiatives, 2012."}],"event":{"name":"HILT 2013: High Integrity Language Technology ACM SIGAda Annual","location":"Pittsburgh Pennsylvania USA","acronym":"HILT 2013","sponsor":["Ada Europe Ada Europe","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","SIGBED ACM Special Interest Group on Embedded Systems","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 2013 ACM SIGAda annual conference on High integrity language technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2527269.2527271","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2527269.2527271","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:34:28Z","timestamp":1750217668000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2527269.2527271"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,10]]},"references-count":18,"alternative-id":["10.1145\/2527269.2527271","10.1145\/2527269"],"URL":"https:\/\/doi.org\/10.1145\/2527269.2527271","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2658982.2527271","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,11,10]]},"assertion":[{"value":"2013-11-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}