{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T02:33:10Z","timestamp":1780367590010,"version":"3.54.1"},"reference-count":39,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1109\/hase.2010.24","type":"proceedings-article","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T16:29:12Z","timestamp":1290184152000},"page":"132-141","source":"Crossref","is-referenced-by-count":49,"title":["A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis"],"prefix":"10.1109","author":[{"given":"Matthias","family":"Gudemann","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank","family":"Ortmeier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.29"},{"key":"ref38","first-page":"32","article-title":"Efficient probabilistic model checking on general purpose graphics processors","volume":"5578","author":"bosnacki","year":"2009","journal-title":"Proceedings of the 16th International SPIN Workshop (SPIN 09) ser LNCS"},{"key":"ref33","article-title":"Pandora 2: The time of priority-OR gates","author":"walker","year":"0","journal-title":"Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 07)"},{"key":"ref32","author":"mcmillan","year":"1990","journal-title":"Symbolic Model Checking"},{"key":"ref31","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking","volume":"2404","author":"cimatti","year":"2002","journal-title":"Proceedings of the 14th International Conference on Computer-Aided Verification (CAV 02) ser LNCS"},{"key":"ref30","article-title":"Quantitative model-based safety analysis: A case study","author":"g\u00fcdemann","year":"2010","journal-title":"Proceedings of 5th conference for Sicherheit Schutz und Zuverlaessigkeit (SICHERHEIT 10)"},{"key":"ref37","article-title":"Computing ordered minimal critical sets","author":"g\u00fcdemann","year":"2008","journal-title":"Proceedings of the 7th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS\/FORMAT 08)"},{"key":"ref36","author":"clarke","year":"2000","journal-title":"Model checking"},{"key":"ref35","article-title":"Failure-sensitive specification: A formal method for finding failure modes","volume":"3","author":"ortmeier","year":"2004"},{"key":"ref34","article-title":"Hazop and HAZAN notes on the identification and assessment of hazards","author":"kletz","year":"1986"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2007.18"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88387-6_27"},{"key":"ref12","article-title":"Fault Tree Handbook with Aerospace Applications","author":"vesley","year":"2002","journal-title":"NASA Office of Safety and Mission Assurance"},{"key":"ref13","article-title":"Formal Fault Tree Analysis - Practical Experiences","author":"ortmeier","year":"2006","journal-title":"Proceedings of 6th International Workshop On Automated Verification of Critical Systems (AVoCS 06)"},{"key":"ref14","article-title":"Deductive cause-consequence analysis (DCCA)","author":"ortmeier","year":"2006","journal-title":"Proceedings of the 17th IFAC World Congress"},{"key":"ref15","article-title":"ESACS: An integrated methodology for design and safety analysis of complex systems","year":"2003","journal-title":"Proceedings of the European Safety and Reliability Conference (ESREL)"},{"key":"ref16","article-title":"Designing safe, reliable systems using SCADE","author":"abdulla","year":"2004","journal-title":"Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods Verification and Validation (ISoLA 04)"},{"key":"ref17","article-title":"Safety, dependability, and performance analysis of extended AADL models","author":"bozzano","year":"2010","journal-title":"The Computer Journal"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.2"},{"key":"ref19","first-page":"87","article-title":"Model-based codesign of critical embedded systems","volume":"507","author":"bozzano","year":"2009","journal-title":"Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 09)"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"ref4","article-title":"Formal safety analysis of a radio-based railroad crossing using deductive cause-consequence analysis (DCCA)","volume":"3463","author":"ortmeier","year":"2005","journal-title":"Proceedings of 5th European Dependable Computing Conference (EDCC 05) ser LNCS"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.07.033"},{"key":"ref3","year":"2009","journal-title":"Road vehicles-functional safety draft international standard (DIS)"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/978-3-540-39878-3_5","article-title":"Improving system reliability via model checking: the FSAP\/NuSMV-SA safety analysis platform","author":"bozzano","year":"2003","journal-title":"Proceedings of the 22nd International Conference on Computer Safety Reliability and Security SAFECOMP"},{"key":"ref29","article-title":"Formal failure models","author":"ortmeier","year":"2007","journal-title":"Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 07)"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-27863-4_26","article-title":"Combining formal methods and safety analysis – the For MoSA approach","author":"ortmeier","year":"2004","journal-title":"Integration of Software Specification Techniques for Applications in Engineering (INT 04)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2004.1311935"},{"key":"ref7","article-title":"ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects","author":"akerlund","year":"2006","journal-title":"Proceedings of 2nd European Congress on Embedded Real Time Software (ERTS 2006)"},{"key":"ref2","article-title":"DO-178B: Software considerations in airborne systems and equipment certification","year":"1992"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.28.8"},{"key":"ref1","article-title":"An overview of IEC 61508 on E\/E\/PE functional safety","author":"ladkin","year":"2008"},{"key":"ref20","article-title":"Architecture analysis and design language (AADL)","year":"2004"},{"key":"ref22","first-page":"347","article-title":"A markov chain model checker","author":"hermanns","year":"2000","journal-title":"Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 00)"},{"key":"ref21","article-title":"Architecture analysis and design language (AADL) Annex E: Error Model Annex","year":"2006"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/3-540-46002-0_5","article-title":"Probabilistic symbolic model checking with PRISM: A hybrid approach","volume":"2280","author":"kwiatkowska","year":"2002","journal-title":"Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 02) ser LNCS"},{"key":"ref23","article-title":"The Definitive ANTLR Reference: Building Domain-Specific Languages","author":"parr","year":"2007","journal-title":"Pragmatic Programmers Pragmatic Bookshelf"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"ref25","year":"2010","journal-title":"The PRISM language - semantics"}],"event":{"name":"2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE)","location":"San Jose, CA, USA","start":{"date-parts":[[2010,11,3]]},"end":{"date-parts":[[2010,11,4]]}},"container-title":["2010 IEEE 12th International Symposium on High Assurance Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5628339\/5634286\/05634319.pdf?arnumber=5634319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T12:20:32Z","timestamp":1497874832000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5634319\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/hase.2010.24","relation":{},"subject":[],"published":{"date-parts":[[2010,11]]}}}