{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:52:55Z","timestamp":1725454375454},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336744"},{"type":"electronic","value":"9783642336751"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33675-1_43","type":"book-chapter","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T16:33:04Z","timestamp":1347294784000},"page":"454-465","source":"Crossref","is-referenced-by-count":2,"title":["Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems"],"prefix":"10.1007","author":[{"given":"Max","family":"Steiner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patric","family":"Keller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Liggesmeyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"43_CR1","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/1368088.1368104","volume-title":"Proceedings of the 30th International Conference on Software Engineering, ICSE 2008","author":"L. Cheung","year":"2008","unstructured":"Cheung, L., Roshandel, R., Medvidovic, N., Golubchik, L.: Early prediction of software component reliability. In: Proceedings of the 30th International Conference on Software Engineering, ICSE 2008, pp. 111\u2013120. ACM, New York (2008)"},{"key":"43_CR2","doi-asserted-by":"crossref","unstructured":"F\u00f6rster, M., Trapp, M.: Fault tree analysis of software-controlled component systems based on second-order probabilities. In: ISSRE 2009 Proceedings (2009)","DOI":"10.1109\/ISSRE.2009.22"},{"key":"43_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-540-30138-7_17","volume-title":"Computer Safety, Reliability, and Security","author":"B. Kaiser","year":"2004","unstructured":"Kaiser, B., Gramlich, C., F\u00f6rster, M.: State-event-fault-trees \u2013 A safety analysis model for software controlled systems. Reliability Engineering & System Safety 92(11), 1521\u20131537 (2007); In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol.\u00a03219, pp. 195\u2013209. Springer, Heidelberg (2004)"},{"key":"43_CR4","unstructured":"Kaiser, B., Liggesmeyer, P., M\u00e4ckel, O.: A new component concept for fault trees. In: 8th Australian Workshop on Safety Critical Systems and Software, Canberra (October 2003)"},{"key":"43_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-45732-1_10","volume-title":"Computer Safety, Reliability and Security","author":"K. Lano","year":"2002","unstructured":"Lano, K., Clark, D., Androutsopoulos, K.: Safety and Security Analysis of Object-Oriented Models. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol.\u00a02434, pp. 82\u201393. Springer, Heidelberg (2002)"},{"key":"43_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-45739-9_2","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"J. McDermid","year":"2002","unstructured":"McDermid, J.: Software Hazard and Safety Analysis. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 23\u201334. Springer, Heidelberg (2002)"},{"key":"43_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/3-540-48249-0_20","volume-title":"Computer Safety, Reliability and Security","author":"S.-Y. Min","year":"1999","unstructured":"Min, S.-Y., Jan, Y.-K., Cha, S.-D., Kwon, Y.-R., Bae, D.-H.: Safety Verification of Ada95 Programs Using Software Fault Trees. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol.\u00a01698, pp. 226\u2013238. Springer, Heidelberg (1999)"},{"key":"43_CR8","doi-asserted-by":"crossref","unstructured":"Priese, L., Wimmel, H.: Petri-Netze. Springer (2008)","DOI":"10.1007\/978-3-540-76971-2"},{"issue":"1","key":"43_CR9","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/j.robot.2009.07.027","volume":"58","author":"M. Proetzsch","year":"2010","unstructured":"Proetzsch, M., Luksch, T., Berns, K.: Development of complex robotic systems using the behavior-based control architecture iB2C. Robotics and Autonomous Systems\u00a058(1), 46\u201367 (2010)","journal-title":"Robotics and Autonomous Systems"},{"key":"43_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/3-540-49646-7_26","volume-title":"Computer Safety, Reliability and Security","author":"K. Sacha","year":"1998","unstructured":"Sacha, K.: Safety Verification of Software Using Structured Petri Nets. In: Ehrenberger, W. (ed.) SAFECOMP 1998. LNCS, vol.\u00a01516, pp. 329\u2013342. Springer, Heidelberg (1998)"},{"key":"43_CR11","unstructured":"Sch\u00e4fer, B.H.: Robot Control Design Schemata and their Application in Off-road Robotics. Ph.D. thesis, TU Kaiserslautern (2011)"},{"key":"43_CR12","unstructured":"TU Berlin, Real-Time Systems and Robotics group: TimeNET 4.0 (2007), www.tu-ilmenau.de\/TimeNET"},{"key":"43_CR13","unstructured":"TU Kaiserslautern, AG seda and Fraunhofer IESE: Embedded system safety and reliability analyzer (ESSaRel) (2009), http:\/\/www.essarel.de"},{"key":"43_CR14","unstructured":"Vesely, W., Goldberg, F., Roberts, N., Haasl, D.: Fault Tree Handbook. U.S. Nuclear Regulatory Commission (1981)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33675-1_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:12:42Z","timestamp":1606187562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33675-1_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336744","9783642336751"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33675-1_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}