{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:19:56Z","timestamp":1725607196147},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/syscon.2015.7116751","type":"proceedings-article","created":{"date-parts":[[2015,6,10]],"date-time":"2015-06-10T15:27:37Z","timestamp":1433950057000},"page":"194-199","source":"Crossref","is-referenced-by-count":3,"title":["A systematic approach for safety evidence collection in the safety-critical domain"],"prefix":"10.1109","author":[{"given":"Huan","family":"Lin","sequence":"first","affiliation":[]},{"given":"Ji","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Chunchun","family":"Yuan","sequence":"additional","affiliation":[]},{"given":"Yaping","family":"Luo","sequence":"additional","affiliation":[]},{"given":"Mark","family":"van den Brand","sequence":"additional","affiliation":[]},{"given":"Luc","family":"Engelen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29958-2_15"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14418-9_10"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05843-6_23"},{"journal-title":"IEEE Software","article-title":"Planning for Safety Evidence Collection: A Tool-Supported Approach Based on Modeling of Standards Compliance Information","year":"2011","author":"falessi","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2013.41"},{"year":"2013","key":"ref15","article-title":"Structured Assurance Case Metaodel (SACM), version 1.0"},{"journal-title":"OPENCOSS","year":"2014","key":"ref16"},{"journal-title":"iFast","year":"2014","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.116"},{"article-title":"Using Model-Driven Engineering to Support the Certification of Safety-Critical Systems","year":"2012","author":"panesar-walawege","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2011.11"},{"year":"2008","key":"ref6","article-title":"Semantics of Business Vocabulary and Business Rules (SBVR), version 1.0"},{"year":"1997","key":"ref5","article-title":"Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems: IEC61508"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1082983.1083182"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-1534-2_14"},{"year":"2011","key":"ref2","article-title":"Software Consideration in Airborne Systems and Equipment Certification: RTCA DO-178C"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38977-1_13"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08422-0_50"}],"event":{"name":"2015 9th Annual IEEE International Systems Conference (SysCon)","start":{"date-parts":[[2015,4,13]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2015,4,16]]}},"container-title":["2015 Annual IEEE Systems Conference (SysCon) Proceedings"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7112393\/7116715\/07116751.pdf?arnumber=7116751","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T15:32:03Z","timestamp":1490369523000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7116751\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/syscon.2015.7116751","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}
