{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:40:34Z","timestamp":1771702834676,"version":"3.50.1"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/rtcsa.2014.6910512","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T20:39:52Z","timestamp":1412109592000},"page":"1-10","source":"Crossref","is-referenced-by-count":3,"title":["Hazard analysis for AADL model"],"prefix":"10.1109","author":[{"family":"Xiaomin Wei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yunwei Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Mengmeng Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ning","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong","family":"Ye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","year":"2006","journal-title":"IEC 60812 IEC (Intern Elect Commission)"},{"key":"17","first-page":"477","article-title":"Towards version 4.0 of timenet","author":"zimmermann","year":"2006","journal-title":"13th GI\/ITG Conference on Measurement Modeling and Evaluation of Computer and Communication Systems"},{"key":"18","author":"kaiser","year":"2005","journal-title":"State\/Event-Fault-Trees A Safety and Reliability Analysis Technique for Software-controlled Systems"},{"key":"15","year":"2012","journal-title":"RTCA DO-178C Software Considerations in Airborne Systems and Equipment Certification"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2006.10.010"},{"key":"13","author":"ajmone marsan","year":"1987","journal-title":"On Petri nets with deterministic and exponentially distributed firing times"},{"key":"14","volume":"20","year":"2014","journal-title":"Federal Aviation Administration"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502545"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2013.6698923"},{"key":"3","year":"2013","journal-title":"SAE Aerospace SAEAS5506\/3 SAE Architecture Analysis and Design Language (AADL)"},{"key":"2","year":"2012","journal-title":"SAE Aerospace SAE AS5506B Architecture Analysis & Design Language (AADL) Standard Document"},{"key":"1","article-title":"A case study of measuring process risk for early insights into software safety","author":"layman","year":"2011","journal-title":"Software Engineering (ICSE) 2011 33rd International Conference on"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2012.12.005"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2008.32"},{"key":"6","article-title":"Software dependability modeling using an industry-standard architecture description language","author":"rugina","year":"2008","journal-title":"The Computing Research Repository (CoRR)"},{"key":"5","first-page":"14","author":"ana-elena","year":"2007","journal-title":"Kaniche Mohamed A System Dependability Modeling Framework Using AADL"},{"key":"4","author":"ferler","year":"2012","journal-title":"Model-Based Engineering with AADL"},{"key":"9","author":"fleming","year":"2012","journal-title":"Safety Assurance in NextGen"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1002\/0471739421"}],"event":{"name":"2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)","location":"Chongqing, China","start":{"date-parts":[[2014,8,20]]},"end":{"date-parts":[[2014,8,22]]}},"container-title":["2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6900045\/6910490\/06910512.pdf?arnumber=6910512","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T21:47:32Z","timestamp":1490305652000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6910512\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/rtcsa.2014.6910512","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}