{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:56:33Z","timestamp":1725566193539},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231769"},{"type":"electronic","value":"9783540301387"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30138-7_15","type":"book-chapter","created":{"date-parts":[[2010,9,18]],"date-time":"2010-09-18T20:10:34Z","timestamp":1284840634000},"page":"166-179","source":"Crossref","is-referenced-by-count":23,"title":["Compositional Hazard Analysis of UML Component and Deployment Models"],"prefix":"10.1007","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Tichy","sequence":"additional","affiliation":[]},{"given":"Daniela","family":"Schilling","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"McDermid, J.A.: Trends in Systems Safety: A European View? In: Lindsay, P. (ed.) Seventh Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Adelaide, Australia. Conferences in Research and Practice in Information Technology, vol.\u00a015, pp. 3\u20138. ACS (2003)"},{"key":"15_CR2","unstructured":"McDermid, J., Pumfrey, D.: Software Safety: Why is there no Consensus? In: Proceedings of the 19th International System Safety Conference, Huntsville, AL, USA, pp. 17\u201325 (2001)"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/381766.381770","volume":"2","author":"P. Fenelon","year":"1994","unstructured":"Fenelon, P., McDermid, J.A., Nicolson, M., Pumfrey, D.J.: Towards integrated safety analysis and design. ACM SIGAPP Applied Computing Review\u00a02, 21\u201332 (1994)","journal-title":"ACM SIGAPP Applied Computing Review"},{"key":"15_CR4","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.R., Sasse, B., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering & System Safety\u00a071, 229\u2013247 (2001)","journal-title":"Reliability Engineering & System Safety"},{"key":"15_CR5","unstructured":"Kaiser, B., Liggesmeyer, P., Maeckel, O.: A New Component Concept for Fault Trees. In: Proceedings of the 8th National Workshop on Safety Critical Systems and Software (SCS 2003), Canberra, Australia, October 9-10. Research and Practice in Information Technology, vol.\u00a033 (2003)"},{"key":"15_CR6","unstructured":"Grunske, L., Neumann, R.: Quality Improvement by Integrating Non-Functional Properties in Software Architecture Specification. In: Proc. of the SecondWorkshop on Evaluating and Architecting System dependability (EASY), San Jose, California, USA (2002)"},{"key":"15_CR7","unstructured":"Grunske, L.: Annotation of Component Specifications with Modular Analysis Models for Safety Properties. In: Overhage, S., Turowski, K. (eds.) Proc. of the 1st Int. Workshop on Component Engineering Methodology, Erfurt, Germany (2003)"},{"key":"15_CR8","unstructured":"Object Management Group: UML2.0 Superstructure Specification, Document ptc\/03-08-02 (2003)"},{"key":"15_CR9","volume-title":"Component Software, Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software, Beyond Object-Oriented Programming. Addison-Wesley, Reading (1998)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"McDermid, J., Pumfrey, D.: A Development of Hazard Analysis to aid Software Design. In: Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS 1994), Gaithersburg, MD, USA, pp. 17\u201325 (1994)","DOI":"10.1109\/CMPASS.1994.318470"},{"key":"15_CR11","volume-title":"Modern control engineering","author":"K. Ogata","year":"1990","unstructured":"Ogata, K.: Modern control engineering. Prentice-Hall, Englewood Cliffs (1990)"},{"key":"15_CR12","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. John Wiley and Sons Inc., Chichester (1994)"},{"key":"15_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03792-8","volume-title":"Reliability engineering : theory and practice","author":"A. Birolini","year":"1999","unstructured":"Birolini, A.: Reliability engineering: theory and practice, 3rd edn. Springer, Berlin (1999)","edition":"3"},{"key":"15_CR14","series-title":"Dependable computing and fault tolerant systems","volume-title":"Dependability : basic concepts and terminology in English, French, German, Italian and Japanese [IFIP WG10.4, Dependable Computing and Fault Tolerance]","year":"1992","unstructured":"Laprie, J.C. (ed.): Dependability: basic concepts and terminology in English, French, German, Italian and Japanese [IFIP WG10.4, Dependable Computing and Fault Tolerance]. Dependable computing and fault tolerant systems, vol.\u00a05. Springer, Wien (1992)"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/TR.2003.809272","volume":"52","author":"A. Rauzy","year":"2003","unstructured":"Rauzy, A.: A new methodology to handle Boolean models with loops. IEEE Transactions on Reliability\u00a052, 96\u2013105 (2003)","journal-title":"IEEE Transactions on Reliability"},{"key":"15_CR16","unstructured":"International Electrotechnical Commission Geneva. International Standard IEC 61025. Fault Tree Analysis (FTA), Switzerland (1990)"},{"key":"15_CR17","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R.E. Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys\u00a024, 293\u2013318 (1992)","journal-title":"ACM Computing Surveys"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1109\/RAMS.1993.296849","volume-title":"Proceedings of the Annual Reliability and Maintainability Symposium","author":"O. Coudert","year":"1993","unstructured":"Coudert, O., Madre, J.: Fault tree analysis: 1020 prime implicants and beyond. In: Proceedings of the Annual Reliability and Maintainability Symposium, Atlanta, GA, USA, pp. 240\u2013245. IEEE Press, Los Alamitos (1993)"},{"key":"15_CR19","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1109\/RAMS.1994.291093","volume-title":"Proceedings of theAnnual Reliability and Maintainability Symposium","author":"J. Madre","year":"1994","unstructured":"Madre, J., Coudert, O., Fraisse, H., Bouissou, M.: Application of a new logically complete ATMSto digraph and network-connectivity analysis. In: Proceedings of theAnnual Reliability and Maintainability Symposium, Anaheim, CA, USA, pp. 118\u2013123. IEEE Press, Los Alamitos (1994)"},{"key":"15_CR20","unstructured":"Giese, H., Burmester, S., Klein, F., Schilling, D., Tichy, M.: Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML. In: Henderson-Sellers, B., Debenham, J. (eds.) OOPSLA 2003 - Second InternationalWorkshop on Agent-Oriented Methodologies,Anaheim, CA, USA, Center for Object TechnologyApplications and Research (COTAR), University of Technology, Sydney, Australia (2003)"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Hawkins, R.D., McDermid, J.A.: Performing Hazard and Safety Analysis of Object Oriented Systems. In: Proceedings of the 20th System Safety Conference (ISSC 2002), Denver, USA (2002)","DOI":"10.1007\/3-540-45739-9_2"},{"key":"15_CR22","volume-title":"Proc. of the European Software Engineering Conference (ESEC)","author":"H. Giese","year":"2003","unstructured":"Giese, H., Tichy, M., Burmester, S., Sch\u00e4fer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc. of the European Software Engineering Conference (ESEC), Helsinki, Finland. ACM Press, New York (2003)"}],"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-540-30138-7_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T00:22:34Z","timestamp":1636503754000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30138-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231769","9783540301387"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30138-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}