{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:24:11Z","timestamp":1725906251717},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319641188"},{"type":"electronic","value":"9783319641195"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-64119-5_14","type":"book-chapter","created":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T09:05:09Z","timestamp":1501578309000},"page":"212-226","source":"Crossref","is-referenced-by-count":3,"title":["Verification of Component Fault Trees Using Error Effect Simulations"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Reiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Zeller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"H\u00f6fig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Viehl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oliver","family":"Bringmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Rosenstiel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,2]]},"reference":[{"issue":"1","key":"14_CR1","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Ayestaran, I., Nicolas, C.F., Perez, J., Larrucea, A., Puschner, P.: Modeling and simulated fault injection for time-triggered safety-critical embedded systems. In: IEEE 17th International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC), pp. 180\u2013187 (2014)","DOI":"10.1109\/ISORC.2014.9"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Becker, M., Kuznik, C., Mueller, W.: Virtual platforms for model-based design of dependable cyber-physical system software. In: 17th Euromicro Conference on Digital System Design (DSD), pp. 246\u2013253 (2014)","DOI":"10.1109\/DSD.2014.107"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Bolchini, C., Miele, A., Sciuto, D.: Fault models and injection strategies in SystemC specifications. In: 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools (DSD), pp. 88\u201395 (2008)","DOI":"10.1109\/DSD.2008.35"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Bonfiglio, V., Montecchi, L., Rossi, F., Lollini, P., Pataricza, A., Bondavalli, A.: Executable models to support automated software FMEA. In: 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (2015)","DOI":"10.1109\/HASE.2015.36"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Chaari, M., Ecker, W., Novello, C., Tabacaru, B.A., Kruse, T.: A model-based and simulation-assisted FMEDA approach for safety-relevant e\/e systems. In: 2015 52nd ACM\/EDAC\/IEEE Design Automation Conference (DAC), June 2015","DOI":"10.1145\/2744769.2747908"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-642-21210-9_30","volume-title":"Models in Software Engineering","author":"R Adler","year":"2011","unstructured":"Adler, R., Domis, D., H\u00f6fig, K., Kemmann, S., Kuhn, T., Schwinn, J.-P., Trapp, M.: Integration of component fault trees into the UML. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 312\u2013327. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21210-9_30"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"H\u00f6fig, K., Zeller, M., Heilmann, R.: ALFRED: a methodology to enable component fault trees for layered architectures. In: 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA) (2015)","DOI":"10.1109\/SEAA.2015.26"},{"key":"14_CR9","unstructured":"IEEE Computer Society: IEEE 1666\u20132011 Standard SystemC Language Reference Manual (2011)"},{"key":"14_CR10","unstructured":"International Electrotechnical Commission (IEC): IEC 61508: functional safety of electrical\/electronic\/programmable electronic safety related systems (1998)"},{"key":"14_CR11","unstructured":"International Organization for Standardization (ISO): ISO 26262: road vehicles - functional safety (2011)"},{"key":"14_CR12","unstructured":"Kaiser, B., Liggesmeyer, P., M\u00e4ckel, O.: A new component concept for fault trees. In: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software, SCS 2003, vol. 33, pp. 37\u201346 (2003)"},{"key":"14_CR13","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-319-17581-2_13","volume-title":"Formal Techniques for Safety-Critical Systems","author":"R Marinescu","year":"2015","unstructured":"Marinescu, R., Kaijser, H., Miku\u010dionis, M., Seceleanu, C., L\u00f6nn, H., David, A.: Analyzing industrial architectural models by simulation and model-checking. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2014. CCIS, vol. 476, pp. 189\u2013205. Springer, Cham (2015). doi: 10.1007\/978-3-319-17581-2_13"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Misera, S., Vierhaus, H.T., Sieber, A.: Fault injection techniques and their accelerated simulation in SystemC. In: 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD), pp. 587\u2013595 (2007)","DOI":"10.1109\/DSD.2007.4341528"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Oetjens, J.-H., Bannow, N., et al.: Safety evaluation of automotive electronics using virtual prototypes: state of the art and research challenges. In: 51st ACM\/EDAC\/IEEE Design Automation Conference (DAC), pp. 1\u20136 (2014)","DOI":"10.1145\/2593069.2602976"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Perez, J., Azkarate-Askasua, M., Perez, A.: Codesign and simulated fault injection of safety-critical embedded systems using SystemC. In: European Dependable Computing Conference (EDCC), pp. 221\u2013229 (2010)","DOI":"10.1109\/EDCC.2010.34"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Reiter, S., Pressler, M., Viehl, A., Bringmann, O., Rosenstiel, W.: Reliability assessment of safety-relevant automotive systems in a model-based design flow. In: 18th Asia and South Pacific Design Automation Conference (ASP-DAC) (2013)","DOI":"10.1109\/ASPDAC.2013.6509632"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Reiter, S., Viehl, A., Bringmann, O., Rosenstiel, W.: Fault injection ecosystem for assisted safety validation of automotive systems. In: 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT), October 2016","DOI":"10.1109\/HLDVT.2016.7748256"},{"key":"14_CR19","volume-title":"Fault Tree Handbook","author":"W Vesely","year":"1981","unstructured":"Vesely, W., Goldberg, F., Roberts, N., Haasl, D.: Fault Tree Handbook. US Nuclear Regulatory Commission, Rockville (1981)"},{"key":"14_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-319-45480-1_29","volume-title":"Computer Safety, Reliability, and Security","author":"R Weissnegger","year":"2016","unstructured":"Weissnegger, R., Schu\u00df, M., Kreiner, C., Pistauer, M., R\u00f6mer, K., Steger, C.: Seamless integrated simulation in design and verification flow for safety-critical systems. In: Skavhaug, A., Guiochet, J., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2016. LNCS, vol. 9923, pp. 359\u2013370. Springer, Cham (2016). doi: 10.1007\/978-3-319-45480-1_29"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Zeller, M., H\u00f6fig, K.: Confetti component \u2013 fault tree-based testing. In: Podofillini, L., Sudret, B., Stojadinovic, B., Zio, E., Kr\u00f6ger, W. (eds.) Safety and Reliability of Complex Engineered Systems: Proceedings of the 25th European Safety and Reliability Conference (ESREL), pp. 4011\u20134017 (2015)","DOI":"10.1201\/b19094-526"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Zeller, M., H\u00f6fig, K.: INSiDER: incorporation of system and safety analysis models using a dedicated reference model. In: 2016 Annual Reliability and Maintainability Symposium (RAMS) (2016)","DOI":"10.1109\/RAMS.2016.7448074"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64119-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T18:22:37Z","timestamp":1569954157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-64119-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319641188","9783319641195"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64119-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}