{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T15:22:19Z","timestamp":1773760939000,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540876977","type":"print"},{"value":"9783540876984","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87698-4_8","type":"book-chapter","created":{"date-parts":[[2008,9,19]],"date-time":"2008-09-19T19:53:29Z","timestamp":1221854009000},"page":"58-71","source":"Crossref","is-referenced-by-count":29,"title":["Integrating Safety Analyses and Component-Based Design"],"prefix":"10.1007","author":[{"given":"Dominik","family":"Domis","sequence":"first","affiliation":[]},{"given":"Mario","family":"Trapp","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"IEC 61508: Functional safety of electrical\/electronic\/programmable electronic safety-related systems, International Electrotechnical Commission (1999)"},{"key":"8_CR2","unstructured":"MISRA: Guidelines for safety analysis of vehicle based programmable systems, MIRA Limited, Warwickshire (2007)"},{"key":"8_CR3","unstructured":"Lisagor, O., McDermid, J.A., Pumfrey, D.J.: Towards a Practicable Process for Automated Safety Analysis. In: 24th International System Safety Conference, pp. 596\u2013607 (2006)"},{"key":"8_CR4","first-page":"237","volume-title":"14th European Safety and Reliability Conference","author":"M. Bozzano","year":"2003","unstructured":"Bozzano, M., Villafiorita, A.: ESACS: An Integrated Methodology for Design and Safety Analysis of Complex Systems. In: 14th European Safety and Reliability Conference, pp. 237\u2013245. Balkema Publishers, Maastricht (2003)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Bretschneider, M., Holberg, H.-J., Peikenkamp, T., B\u00f6de, E., Br\u00fcckner, I., Spenke, H.: Model-based Safety Analysis of a Flap Control System. In: Proceedings of the INCOSE 2004 \u2013 14th Annual International Symposium, Toulouse (2004)","DOI":"10.1002\/j.2334-5837.2004.tb00493.x"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/3-540-48249-0_13","volume-title":"18th International Conference on Computer Safety, Reliability and Security","author":"Y. Papadopoulos","year":"1999","unstructured":"Papadopoulos, Y., McDermid, J.A.: Hierarchically Performed Hazard Origin and Propagation Studies. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) 18th International Conference on Computer Safety, Reliability and Security. LNCS, vol.\u00a01608, pp. 139\u2013152. Springer, Heidelberg (1999)"},{"key":"8_CR7","first-page":"117","volume-title":"5th IEEE International Conference on Quality Software","author":"L. Grunske","year":"2005","unstructured":"Grunske, L., Kaiser, B.: Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations. In: 5th IEEE International Conference on Quality Software, pp. 117\u2013123. IEEE Computer Society Press, New York (2005)"},{"key":"8_CR8","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":"8_CR9","doi-asserted-by":"crossref","unstructured":"Wallnau, K.C.: Volume III: A Technology for Predictable Assembly from Certifiable Components (PACC). Technical report CMU\/SEI-2003-TR-009, Pittsburg, PA: Software Engineering Institute, Carnegie Mellon University (2003)","DOI":"10.21236\/ADA413574"},{"key":"8_CR10","volume-title":"Proceedings of the Foundation of Interface Technology Workshop","author":"W. Damm","year":"2005","unstructured":"Damm, W., Votintseva, A., Metzner, A., Josko, B., Peikenkamp, T., B\u00f6de, E.: Boosting Re-use of Embedded Automotive Applications Through Rich Components. In: Proceedings of the Foundation of Interface Technology Workshop. Elsevier Science, Amsterdam (2005)"},{"key":"8_CR11","volume-title":"Component-based Product Line Engineering with UML","author":"C. Atkinson","year":"2001","unstructured":"Atkinson, C., Bayer, J., Bunse, C., Kamsties, E., Laitenberger, O., Laqua, R., Muthig, D., Peach, B., W\u00fcst, J., Zettel, J.: Component-based Product Line Engineering with UML. Addison-Wesley, London (2001)"},{"key":"8_CR12","unstructured":"Pumfrey, D.J.: The Principled Design of Computer System Safety Analyses, DPhil Thesis, University of York (1999)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"8_CR14","unstructured":"Kaiser, B., Liggesmeyer, P., M\u00e4ckel, O.: A New Component Concept for Fault Trees. In: Lindsay, P., Cant, T. (eds.) Proceedings of the 8th Australian workshop on Safety critical systems and software, Canberra, vol.\u00a033, pp. 37\u201346. Australian Computer Society (to be published, 2003); Conferences in Research and Practice in Information Technology Series"},{"key":"8_CR15","unstructured":"MathWorks, Simulink: Simulation and Model-Based Design, www.mathworks.com"},{"key":"8_CR16","unstructured":"Embedded Systems Safety and Reliability Analyser (ESSaRel), http:\/\/www.essarel.de"},{"key":"8_CR17","unstructured":"Isograph: Fault Tree Analysis Software - FaultTree, http:\/\/www.isograph.com"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87698-4_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:05:54Z","timestamp":1606183554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87698-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876977","9783540876984"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87698-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}