{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:11:38Z","timestamp":1767262298700,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,2,9]],"date-time":"2018-02-09T00:00:00Z","timestamp":1518134400000},"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":[[2018,2,9]]},"DOI":"10.1145\/3172871.3172877","type":"proceedings-article","created":{"date-parts":[[2018,2,9]],"date-time":"2018-02-09T13:14:09Z","timestamp":1518182049000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Safety Validation Using AADL System Architecture Models"],"prefix":"10.1145","author":[{"given":"Gracy","family":"Philip","sequence":"first","affiliation":[{"name":"CEMILAC-DRDO, Bangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Varsha P.","family":"Suresh","sequence":"additional","affiliation":[{"name":"IIIT-Bangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meenakshi","family":"D'Souza","sequence":"additional","affiliation":[{"name":"IIIT-Bangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,2,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Software Considerations in Airborne systems and equipment certification DO-178C","author":"RTCA","year":"2011","unstructured":"RTCA , Software Considerations in Airborne systems and equipment certification DO-178C , 2011 . RTCA, Software Considerations in Airborne systems and equipment certification DO-178C, 2011."},{"key":"e_1_3_2_1_2_1","volume-title":"Model based Development and Verification Supplement to DO-178C and DO-278A","author":"RTCA","year":"2011","unstructured":"RTCA , DO-331 , Model based Development and Verification Supplement to DO-178C and DO-278A , 2011 . RTCA, DO-331, Model based Development and Verification Supplement to DO-178C and DO-278A, 2011."},{"key":"e_1_3_2_1_3_1","volume-title":"Guidelines for Development of Civil and Aircraft Systems","author":"SAE ARP","year":"2010","unstructured":"SAE ARP 4754 , Guidelines for Development of Civil and Aircraft Systems , 2010 . SAE ARP 4754, Guidelines for Development of Civil and Aircraft Systems, 2010."},{"key":"e_1_3_2_1_4_1","volume-title":"Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment","author":"SAE ARP","year":"1996","unstructured":"SAE ARP 4761 , Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment , 1996 . SAE ARP 4761, Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, 1996."},{"key":"e_1_3_2_1_5_1","volume-title":"Model-based Engineering with AADL: An Introduction to the SAE Architecture Analysis and Design Language","author":"P.","year":"2012","unstructured":"Feiler, P. and Gluch D. , Model-based Engineering with AADL: An Introduction to the SAE Architecture Analysis and Design Language , 2012 , Addison Wesley . Feiler, P. and Gluch D., Model-based Engineering with AADL: An Introduction to the SAE Architecture Analysis and Design Language, 2012, Addison Wesley."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of 9th International Conference on Advances in Computers and Communication Technologies","author":"Philip Gracy","year":"2015","unstructured":"Gracy Philip and Meenakshi D'Souza , Safety validation of an embedded system at hardware-software integration test environment , in Proceedings of 9th International Conference on Advances in Computers and Communication Technologies , Springer , 2015 . Gracy Philip and Meenakshi D'Souza, Safety validation of an embedded system at hardware-software integration test environment, in Proceedings of 9th International Conference on Advances in Computers and Communication Technologies, Springer,2015."},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of National conference on Formal Methods for Safety and Security","author":"Philip Gracy","year":"2017","unstructured":"Gracy Philip and Meenakshi D'Souza , Model based safety validation of embedded real time systems , in Proceedings of National conference on Formal Methods for Safety and Security , Springer , 2017 . Gracy Philip and Meenakshi D'Souza, Model based safety validation of embedded real time systems, in Proceedings of National conference on Formal Methods for Safety and Security, Springer, 2017."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2014.20"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICACTE.2010.5579524"},{"key":"e_1_3_2_1_10_1","volume-title":"UML and AADL","author":"Kordon Fabrice","year":"2013","unstructured":"Fabrice Kordon and Jerome Hugues and Agusti Canals and Alain Dohet (Eds.), Embedded Systems: Analysis and Modeling with SysML , UML and AADL , 2013 , Wiley-ISTE. Fabrice Kordon and Jerome Hugues and Agusti Canals and Alain Dohet (Eds.), Embedded Systems: Analysis and Modeling with SysML, UML and AADL, 2013, Wiley-ISTE."},{"key":"e_1_3_2_1_11_1","volume-title":"Fault Tree Handbook","author":"Wesley W. E.","year":"1981","unstructured":"W. E. Wesley and F. F. Goldberf and N. H. Roberts and D. F. Haasl , Fault Tree Handbook , 1981 , Office of the Nuclear Regulatory Research, US Nuclear Regulatory Commission . W. E. Wesley and F. F. Goldberf and N. H. Roberts and D. F. Haasl, Fault Tree Handbook, 1981, Office of the Nuclear Regulatory Research, US Nuclear Regulatory Commission."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2015.03.001"},{"key":"e_1_3_2_1_13_1","volume-title":"Automatic Generation of Systematic Test Cases Using AADL for embedded software, in International Journal of Future Computer and Communication, Vol 1. No.2","author":"Ma Chunyan","year":"2012","unstructured":"Chunyan Ma , Yue Li , Yunwei Dong and Yagi Liu , Automatic Generation of Systematic Test Cases Using AADL for embedded software, in International Journal of Future Computer and Communication, Vol 1. No.2 , 2012 . Chunyan Ma, Yue Li, Yunwei Dong and Yagi Liu, Automatic Generation of Systematic Test Cases Using AADL for embedded software, in International Journal of Future Computer and Communication, Vol 1. No.2, 2012."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2008.13"},{"key":"e_1_3_2_1_15_1","unstructured":"Architecture Analysis and Design Language Available from www.aadl.info\/aadl  Architecture Analysis and Design Language Available from www.aadl.info\/aadl"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961850"},{"key":"e_1_3_2_1_17_1","volume-title":"HandBook Airworthiness Certification Criteria MIL-HDBK-516B, 26","author":"Department of Defense","year":"2005","unstructured":"Department of Defense , HandBook Airworthiness Certification Criteria MIL-HDBK-516B, 26 , 2005 . Department of Defense, HandBook Airworthiness Certification Criteria MIL-HDBK-516B, 26, 2005."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100113"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.90"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2008.32"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.45"},{"key":"e_1_3_2_1_22_1","unstructured":"OpenFTA Available from www.openfta.com.  OpenFTA Available from www.openfta.com."},{"key":"e_1_3_2_1_23_1","unstructured":"COMPASS tool Available from http:\/\/www.compass-toolset.org\/  COMPASS tool Available from http:\/\/www.compass-toolset.org\/"},{"key":"e_1_3_2_1_24_1","unstructured":"Isolette example Available from the AADL Wiki https:\/\/wiki.sei.cmu.edu\/aadl\/index.php\/  Isolette example Available from the AADL Wiki https:\/\/wiki.sei.cmu.edu\/aadl\/index.php\/"},{"key":"e_1_3_2_1_25_1","volume-title":"Software Testing: A Craftsman's Approach","author":"Jorgensen Paul C.","year":"2014","unstructured":"Paul C. Jorgensen , Software Testing: A Craftsman's Approach , fourth edition, CRC Press , 2014 . Paul C. Jorgensen, Software Testing: A Craftsman's Approach, fourth edition, CRC Press, 2014."}],"event":{"name":"ISEC '18: Innovations in Software Engineering Conference","sponsor":["iSOFT iSOFT"],"location":"Hyderabad India","acronym":"ISEC '18"},"container-title":["Proceedings of the 11th Innovations in Software Engineering Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3172871.3172877","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3172871.3172877","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:15:18Z","timestamp":1750281318000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3172871.3172877"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2,9]]},"references-count":25,"alternative-id":["10.1145\/3172871.3172877","10.1145\/3172871"],"URL":"https:\/\/doi.org\/10.1145\/3172871.3172877","relation":{},"subject":[],"published":{"date-parts":[[2018,2,9]]},"assertion":[{"value":"2018-02-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}