{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T20:10:08Z","timestamp":1746389408327,"version":"3.40.4"},"publisher-location":"Cham","reference-count":47,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319122137"},{"type":"electronic","value":"9783319122144"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12214-4_9","type":"book-chapter","created":{"date-parts":[[2014,9,24]],"date-time":"2014-09-24T05:48:44Z","timestamp":1411537724000},"page":"110-122","source":"Crossref","is-referenced-by-count":3,"title":["metaFMEA-A Framework for Reusable FMEAs"],"prefix":"10.1007","author":[{"given":"Kai","family":"H\u00f6fig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Zeller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Grunske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Adler, R., F\u00f6rster, M., Trapp, M.: Determining Configuration Probabilities of Safety-Critical Adaptive Systems. In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), pp. 548\u2013555. IEEE Computer Society (2007)","DOI":"10.1109\/AINAW.2007.153"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Amari, S., Dill, G., Howald, E.: A new approach to solve dynamic fault trees. In: Annual Reliability and Maintainability Symposium, pp. 374\u2013379 (2003)","DOI":"10.1109\/RAMS.2003.1182018"},{"issue":"3","key":"9_CR3","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/24.159800","volume":"41","author":"J. Bechta-Dugan","year":"1992","unstructured":"Bechta-Dugan, J., Bavuso, S., Boyd, M.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability\u00a041(3), 363\u2013377 (1992)","journal-title":"IEEE Transactions on Reliability"},{"key":"9_CR4","unstructured":"Bondavalli, A., Majzik, I., Mura, I.: Automated Dependability Analysis of UML Designs. IEEE International Symposium on Object-oriented Real-time distributed Computing\u00a02 (1999)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Boulanger, J.L., Dao, V.Q.: Experiences from a model-based methodology for embedded electronic software in automobile. pp. 1\u20136 (April 2008)","DOI":"10.1109\/ICTTA.2008.4530259"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-04468-7_15","volume-title":"Computer Safety, Reliability, and Security","author":"M. Bozzano","year":"2009","unstructured":"Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V.Y., Noll, T., Roveri, M.: The COMPASS approach: Correctness, modelling and performability of aerospace systems. In: Buth, B., Rabe, G., Seyfarth, T. (eds.) SAFECOMP 2009. LNCS, vol.\u00a05775, pp. 173\u2013186. Springer, Heidelberg (2009)"},{"issue":"5","key":"9_CR7","doi-asserted-by":"publisher","first-page":"754","DOI":"10.1093\/comjnl\/bxq024","volume":"54","author":"M. Bozzano","year":"2011","unstructured":"Bozzano, M., Cimatti, A., Katoen, J.P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended aadl models. Comput. J.\u00a054(5), 754\u2013775 (2011)","journal-title":"Comput. J."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Bretschneider, M., Holberg, H.J., Bode, E., Bruckner, I.: Model-based safety analysis of a flap control system. In: Proc. 14th Annual INCOSE Symposium (2004)","DOI":"10.1002\/j.2334-5837.2004.tb00493.x"},{"key":"9_CR9","unstructured":"CENELEC EN 50126,128,129: CENELEC (European Committee for Electro-technical Standardisation): Railway Applications \u2013 the specification and demonstration of Reliability, Availability, Maintainability and Safety, Railway Applications \u2013 Software for Railway Control and Protection Systems, Brussels (2000)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/3-540-40891-6_33","volume-title":"Computer Safety, Reliability, and Security","author":"T. Cichocki","year":"2000","unstructured":"Cichocki, T., G\u00f3rski, J.: Failure mode and effect analysis for safety-critical systems with software components. In: Koornneef, F., van der Meulen, M.J.P. (eds.) SAFECOMP 2000. LNCS, vol.\u00a01943, pp. 382\u2013394. Springer, Heidelberg (2000)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/3-540-45416-0_19","volume-title":"Computer Safety, Reliability and Security","author":"T. Cichocki","year":"2001","unstructured":"Cichocki, T., G\u00f3rski, J.: Formal support for fault modelling and analysis. In: Voges, U. (ed.) SAFECOMP 2001. LNCS, vol.\u00a02187, pp. 190\u2013199. Springer, Heidelberg (2001)"},{"key":"9_CR12","unstructured":"David, P., Idasiak, V., Kratz, F.: Towards a Better Interaction Between Design and Dependability Analysis: FMEA Derived From UML\/SysML Models. In: Safety, Reliability and Risk Analysis: Theory, Methods and Applications, pp. 2259\u20132266 (January 2008)"},{"issue":"5","key":"9_CR13","doi-asserted-by":"publisher","first-page":"365","DOI":"10.5516\/NET.2008.40.5.365","volume":"40","author":"J. Dehlinger","year":"2008","unstructured":"Dehlinger, J., Dugan, J.B.: Analyzing dynamic fault trees derived from model-based system architectures. Nuclear Engineering and Technology: An International Journal of the Korean Nuclear Society\u00a040(5), 365\u2013374 (2008)","journal-title":"Nuclear Engineering and Technology: An International Journal of the Korean Nuclear Society"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-540-87698-4_8","volume-title":"Computer Safety, Reliability, and Security","author":"D. Domis","year":"2008","unstructured":"Domis, D., Trapp, M.: Integrating Safety Analyses and Component-Based Design. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol.\u00a05219, pp. 58\u201371. Springer, Heidelberg (2008)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Elmqvist, J., Nadjm-Tehrani, S.: Safety-Oriented Design of Component Assemblies using Safety Interfaces. Formal Aspects of Component Software (2006)","DOI":"10.1016\/j.entcs.2006.09.031"},{"key":"9_CR16","unstructured":"Ganesh, P., Dugan, J.: Automatic Synthesis of Dynamic Fault Trees from UML SystemModels. In: 13th International Symposium on Software Reliability Engineering, ISSRE (2002)"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-540-30138-7_15","volume-title":"Computer Safety, Reliability, and Security","author":"H. Giese","year":"2004","unstructured":"Giese, H., Tichy, M., Schilling, D.: Compositional hazard analysis of uml component and deployment models. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol.\u00a03219, pp. 166\u2013179. Springer, Heidelberg (2004)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/11921998_17","volume-title":"Quality of Software Architectures","author":"L. Grunske","year":"2006","unstructured":"Grunske, L.: Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM. In: Hofmeister, C., Crnkovi\u0107, I., Reussner, R. (eds.) QoSA 2006. LNCS, vol.\u00a04214, pp. 199\u2013213. Springer, Heidelberg (2006)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Grunske, L., Colvin, R., Winter, K.: Probabilistic model-checking support for FMEA. In: Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), pp. 119\u2013128. IEEE Computer Society (2007)","DOI":"10.1109\/QEST.2007.18"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Grunske, L., Kaiser, B.: Automatic generation of analyzable failure propagation models from component-level failure annotations. In: Fifth International Conference on Quality Software (QSIC 2005), Melbourne, September 19-20, pp. 117\u2013123. IEEE Computer Society (2005)","DOI":"10.1109\/QSIC.2005.16"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11424529_3","volume-title":"Component-Based Software Engineering","author":"L. Grunske","year":"2005","unstructured":"Grunske, L., Kaiser, B., Papadopoulos, Y.: Model-driven safety evaluation with state-event-based component failure annotations. In: Heineman, G.T., Crnkovi\u0107, I., Schmidt, H.W., Stafford, J.A., Ren, X.-M., Wallnau, K. (eds.) CBSE 2005. LNCS, vol.\u00a03489, pp. 33\u201348. Springer, Heidelberg (2005)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"G\u00fcdemann, M., Ortmeier, F.: A framework for qualitative and quantitative formal model-based safety analysis. In: 12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, pp. 132\u2013141. IEEE Computer Society Press (2010)","DOI":"10.1109\/HASE.2010.24"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-540-75101-4_44","volume-title":"Computer Safety, Reliability, and Security","author":"M. G\u00fcdemann","year":"2007","unstructured":"G\u00fcdemann, M., Ortmeier, F., Reif, W.: Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol.\u00a04680, pp. 465\u2013478. Springer, Heidelberg (2007)"},{"issue":"3","key":"9_CR24","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/s10515-005-2642-x","volume":"12","author":"M.P.E. Heimdahl","year":"2005","unstructured":"Heimdahl, M.P.E., Choi, Y., Whalen, M.W.: Deviation analysis: A new use of model checking. Automated Software Engineering\u00a012(3), 321\u2013347 (2005)","journal-title":"Automated Software Engineering"},{"key":"9_CR25","unstructured":"IEC61508: International Standard IEC 61508, International Electrotechnical Commission (IEC) (1998)"},{"key":"9_CR26","unstructured":"ISO 26262: ISO\/DIS 26262- Road vehicles \u2013 Functional safety (2009)"},{"key":"9_CR27","unstructured":"Joshi, A., Miller, S.P., Whalen, M., Heimdahl, M.P.E.: A proposal for model-based safety analysis. In: 24th AIAA\/IEEE Digital Avionics Systems Conference (2005)"},{"key":"9_CR28","unstructured":"Joshi, A., Vestal, S., Binns., P.: Automatic Generation of Static Fault Trees from AADL Models. In: DSN Workshop on Architecting Dependable Systems. LNCS. Springer (2007)"},{"key":"9_CR29","unstructured":"Kaiser, B.: State\/Event Fault Trees: A Safety and Reliability Analysis Technique for Software-Controlled Systems. Ph.D. thesis, Technische Universit\u00e4t Kaiserslautern, Fachbereich Informatik (2005)"},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.ress.2006.10.010","volume-title":"Computer Safety, Reliability, and Security","author":"B. Kaiser","year":"2004","unstructured":"Kaiser, B., Gramlich, C.: State-event-fault-trees \u2013 A safety analysis model for software controlled systems. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol.\u00a03219, pp. 195\u2013209. Springer, Heidelberg (2004), doi:10.1016\/j.ress.2006.10.010"},{"key":"9_CR31","first-page":"37","volume-title":"SCS 2003: Proceedings of the 8th Australian workshop on Safety critical systems and software","author":"B. Kaiser","year":"2003","unstructured":"Kaiser, B., Liggesmeyer, P., M\u00e4ckel, O.: A new component concept for fault trees. In: SCS 2003: Proceedings of the 8th Australian workshop on Safety critical systems and software, pp. 37\u201346. Australian Computer Society, Inc., Darlinghurst (2003)"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"Lipaczewski, M., Struck, S., Ortmeier, F.: Using tool-supported model based safety analysis - progress and experiences in saml development. In: 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, pp. 159\u2013166. IEEE Computer Society (2012)","DOI":"10.1109\/HASE.2012.34"},{"key":"9_CR33","unstructured":"Lisagor, O., McDermid, J.A., York, U.K., Pumfrey, D.J.: Towards a Practicable Process for Automated Safety Analysis. In: 24th International System Safety Conference (2006)"},{"key":"9_CR34","doi-asserted-by":"crossref","unstructured":"Mahmud, N., Walker, M., Papadopoulos, Y.: Compositional synthesis of temporal fault trees from state machines. In: 2011 Sixth International Conference on Availability, Reliability and Security (ARES), pp. 429\u2013435 (August 2011)","DOI":"10.1109\/ARES.2011.89"},{"issue":"3","key":"9_CR35","first-page":"140","volume":"2","author":"J. McDermid","year":"2006","unstructured":"McDermid, J., Kelly, T.: Software in Safety Critical Systems: Achievement and Prediction, University of York, UK (2006)","journal-title":"Nuclear Energy"},{"issue":"3","key":"9_CR36","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1049\/iet-sen:20070050","volume":"2","author":"M.A. Miguel de","year":"2008","unstructured":"de Miguel, M.A., Briones, J.F., Silva, J.P., Alonso, A.: Integration of safety analysis in model-driven software development. IET Software\u00a02(3), 260\u2013280 (2008)","journal-title":"IET Software"},{"key":"9_CR37","unstructured":"Papadopoulos, Y., Maruhn, M.: Model-Based Automated Synthesis of Fault Trees from Matlab.Simulink Models. In: International Conference on Dependable Systems and Networks (2001)"},{"issue":"3","key":"9_CR38","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/S0951-8320(00)00076-4","volume":"71","author":"Y. Papadopoulos","year":"2001","unstructured":"Papadopoulos, Y., McDermid, J.A., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Int. Journal of Reliability Engineering and System Safety\u00a071(3), 229\u2013247 (2001)","journal-title":"Int. Journal of Reliability Engineering and System Safety"},{"key":"9_CR39","doi-asserted-by":"crossref","unstructured":"Papadopoulos, Y., Parker, D., Grante, C.: Automating the failure modes and effects analysis of safety critical systems. In: Int. Symp. on High-Assurance Systems Engineering (HASE 2004), pp. 310\u2013311. IEEE Comp. Society (2004)","DOI":"10.1109\/HASE.2004.1281774"},{"key":"9_CR40","unstructured":"Rae, A., Lindsay, P.: A behaviour-based method for fault tree generation. In: Proceedings of the 22nd International System Safety Conference, pp. 289\u2013298 (2004)"},{"key":"9_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-540-74035-3_2","volume-title":"Architecting Dependable Systems IV","author":"A.-E. Rugina","year":"2007","unstructured":"Rugina, A.-E., Kanoun, K., Ka\u00e2niche, M.: A System Dependability Modeling Framework Using AADL and GSPNs. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems IV. LNCS, vol.\u00a04615, pp. 14\u201338. Springer, Heidelberg (2007)"},{"key":"9_CR42","unstructured":"Szabo, G., Ternai, G.: Automatic Fault Tree Generation as a Support for Safety Studies of Railway Interlocking Systems. In: IFAC Symposium on Control in Transportation Systems (2009)"},{"issue":"1","key":"9_CR43","doi-asserted-by":"publisher","first-page":"791","DOI":"10.4271\/2009-01-0738","volume":"2","author":"M. Walker","year":"2009","unstructured":"Walker, M., Papadopoulos, Y., Parker, D., et al.: Semi-automatic fmea supporting complex systems with combinations and sequences of failures. SAE Int. J. Passeng. Cars - Mech. Syst.\u00a02(1), 791\u2013802 (2009)","journal-title":"SAE Int. J. Passeng. Cars - Mech. Syst."},{"issue":"10","key":"9_CR44","doi-asserted-by":"publisher","first-page":"1115","DOI":"10.1016\/j.conengprac.2008.10.003","volume":"17","author":"M. Walker","year":"2009","unstructured":"Walker, M., Papadopoulos, Y.: Qualitative temporal analysis: Towards a full implementation of the fault tree handbook. Control Engineering Practice\u00a017(10), 1115\u20131125 (2009), http:\/\/www.sciencedirect.com\/science\/article\/pii\/S096706610800186X","journal-title":"Control Engineering Practice"},{"issue":"5","key":"9_CR45","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1002\/spe.966","volume":"40","author":"I. Wolforth","year":"2010","unstructured":"Wolforth, I., Walker, M., Grunske, L., Papadopoulos, Y.: Generalizable safety annotations for specification of failure patterns. Softw., Pract. Exper.\u00a040(5), 453\u2013483 (2010)","journal-title":"Softw., Pract. Exper."},{"key":"9_CR46","doi-asserted-by":"crossref","unstructured":"Wolforth, I., Walker, M., Papadopoulos, Y.: A language for failure patterns and application in safety analysis. In: IEEE Conference on Dependable Computing Systems (DEPCOSA 2008). IEEE Computer Society (2008)","DOI":"10.1109\/DepCoS-RELCOMEX.2008.44"},{"issue":"1\/2\/3","key":"9_CR47","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1504\/IJCCBS.2010.031710","volume":"1","author":"I. Wolforth","year":"2010","unstructured":"Wolforth, I., Walker, M., Papadopoulos, Y., Grunske, L.: Capture and reuse of composable failure patterns. IJCCBS\u00a01(1\/2\/3), 128\u2013147 (2010)","journal-title":"IJCCBS"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12214-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T19:52:50Z","timestamp":1746388370000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-12214-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319122137","9783319122144"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12214-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}