{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:41:23Z","timestamp":1761489683057,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/syscon.2015.7116812","type":"proceedings-article","created":{"date-parts":[[2015,6,10]],"date-time":"2015-06-10T15:27:37Z","timestamp":1433950057000},"page":"570-577","source":"Crossref","is-referenced-by-count":9,"title":["Model-driven multi-level safety analysis of critical systems"],"prefix":"10.1109","author":[{"given":"Nataliya","family":"Yakymets","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthieu","family":"Perin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agnes","family":"Lanusse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Aerospace Recommended Practice (ARP) by Society of Automotive Engineers (SAE)","article-title":"ARP-47 61, Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment","year":"1996","key":"ref10"},{"journal-title":"Application guide International Electrotechnical Commission","article-title":"IEC 61882, Hazard and operability studies(HAZOP studies)","year":"2001","key":"ref11"},{"journal-title":"Fault Tree Handbook with Aerospace Applications","year":"2002","author":"stamatelatos","key":"ref12"},{"journal-title":"International Electrotechnical Commission","article-title":"IEC 60812, Analysis techniques for system reliability _ Procedure for failure mode and effects analysis (FMEA)","year":"2006","key":"ref13"},{"journal-title":"eclipse org\/papyrusl","article-title":"Papyrus tool web page","year":"0","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75101-4_12"},{"key":"ref16","first-page":"109","article-title":"The altarica language and its semantics","volume":"34","author":"arnold","year":"2000","journal-title":"Fundamenta Informaticae"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696493"},{"key":"ref18","first-page":"71","article-title":"Sophia framework for model-based safety analysis","author":"yakymets","year":"2014","journal-title":"Proc of the 19th Congres de Maitrise des Risques et Surete de Fonctionnement"},{"journal-title":"ARC web page is altarica","year":"0","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2010.24"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2011.32"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-006-0001-2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2009.11.015"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74035-3_3"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0400-x"},{"journal-title":"Model-Based Engineering with AADL AnIntroduction to the SAE Architecture Analysis & Design Language","year":"2012","author":"feiler","key":"ref5"},{"journal-title":"International Electrotechnical Commission","article-title":"IEC 61508, Functional Safety of Electrical Electronic\/Programmable Electronic Safety-related Systems","year":"2000","key":"ref8"},{"key":"ref7","first-page":"11","article-title":"A modeling language for modelbased safety engineering","author":"cancila","year":"2009","journal-title":"Proc of the 2nd lnternationai Workshop On Model Based Architecting And Construction Of Embedded Systems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/AIM.2014.6878163"},{"journal-title":"ARP-4754 Certi_cation Considerations for Highly-Integrated Or Complex Aircraft Systems Aerospace Recommended Practice (ARP) by Society of Automotive Engineers (SAE)","year":"1996","key":"ref9"},{"journal-title":"Eclipse modeling tool web page eclipse org","year":"0","key":"ref1"},{"journal-title":"XFTA web page is lix polytechnique","year":"0","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1243\/0954408971529656"},{"journal-title":"Open-PSA format web page is available","year":"0","key":"ref21"},{"key":"ref24","article-title":"Esacs: an integrated methodology for design and safety analysis of complex systems","author":"bozzano","year":"2003","journal-title":"European Safety and Reliability Conference Proceedings"},{"key":"ref23","article-title":"Towards a practicable process for automated safety analysis","author":"lisagor","year":"2006","journal-title":"Proceedings of the 24th International System Safety Conference (ISSC)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2007.58"},{"key":"ref25","first-page":"1434","article-title":"Deductive causeconsequence analysis (dcca)","author":"ortmeier","year":"2005","journal-title":"Proc 16th IFAC World Congr"}],"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\/07116812.pdf?arnumber=7116812","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T15:49:11Z","timestamp":1490370551000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7116812\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/syscon.2015.7116812","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}