{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:01:34Z","timestamp":1725897694550},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336775"},{"type":"electronic","value":"9783642336782"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33678-2_24","type":"book-chapter","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T11:02:42Z","timestamp":1346929362000},"page":"279-290","source":"Crossref","is-referenced-by-count":4,"title":["Approximate Reliability Algebra for Architecture Optimization"],"prefix":"10.1007","author":[{"given":"Philipp","family":"Helle","sequence":"first","affiliation":[]},{"given":"Michael","family":"Masin","sequence":"additional","affiliation":[]},{"given":"Lev","family":"Greenberg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","volume-title":"Safeware: System Safety and Computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley, Reading (1995)"},{"issue":"2","key":"24_CR2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/7474.7528","volume":"18","author":"N.G. Leveson","year":"1986","unstructured":"Leveson, N.G.: Software Safety: Why, What, and How. ACM Computing Surveys\u00a018(2), 125\u2013163 (1986)","journal-title":"ACM Computing Surveys"},{"key":"24_CR3","first-page":"109","volume-title":"Fundamenta Informaticae","author":"A. Arnold","year":"1999","unstructured":"Arnold, A., Griffault, A., Point, G., Rauzy, A.: The AltaRica formalism for describing concurrent systems. In: Fundamenta Informaticae, vol.\u00a040(2), pp. 109\u2013124. IOS Press, Amsterdam (1999)"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Bieber, P., et al.: Safety assessment with Altarica. In: Building the Information Society, pp. 505\u2013510. Springer (2004)","DOI":"10.1007\/978-1-4020-8157-6_45"},{"key":"24_CR5","unstructured":"Haskins, C. (ed.): Systems Engineering Handbook: A guide for system life cycle processes and activities. In: INCOSE (2006)"},{"key":"24_CR6","unstructured":"Bozzano, M., et al.: ESACS: An integrated methodology for design and safety analysis of complex systems. In: Proceedings of ESREL 2003, pp. 237\u2013245. Balkema Publisher (2003)"},{"key":"24_CR7","unstructured":"David, P., Idasiak, V., Kratz, F.: Towards a better interaction between design and dependability analysis: FMEA derived from UML\/SysML models. In: Proceedings of ESREL 2008 and 17th SRA-Europe Annual Conference, Valencia, Spain (2008)"},{"issue":"4","key":"24_CR8","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1016\/j.ress.2009.11.015","volume":"95","author":"P. David","year":"2010","unstructured":"David, P., Idasiak, V., Kratz, F.: Reliability study of complex physical systems using SysML. Journal of Reliability Engineering and System Safety\u00a095(4), 431\u2013450 (2010)","journal-title":"Journal of Reliability Engineering and System Safety"},{"key":"24_CR9","unstructured":"Vesley, W., et al.: Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance, Washington DC (2002)"},{"issue":"4","key":"24_CR10","doi-asserted-by":"publisher","first-page":"1023","DOI":"10.2514\/1.26311","volume":"30","author":"C. Bauer","year":"2007","unstructured":"Bauer, C., et al.: Flight-control system architecture optimization for fly-by-wire airliners. Journal of Guidance Control and Dynamics\u00a030(4), 1023\u20131029 (2007)","journal-title":"Journal of Guidance Control and Dynamics"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Tabbara, A., Sangiovanni-Vincentelli, A.: Function\/architecture optimization and co-design of embedded systems. Springer (2000)","DOI":"10.1007\/978-1-4615-4359-6"},{"key":"24_CR12","volume-title":"Risk-based reliability analysis and generic principles for risk reduction","author":"M.T. Todinov","year":"2007","unstructured":"Todinov, M.T.: Risk-based reliability analysis and generic principles for risk reduction. Elsevier Science, Amsterdam (2007)"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Verma, A.K., Ajit, S., Karanki, D.R.: Reliability and Safety Engineering. Springer (2010)","DOI":"10.1007\/978-1-84996-232-2"},{"key":"24_CR14","unstructured":"Helle, P., Strobel, C., Mitschke, A., Schamai, W., Rivi\u00e8re, A., Vincent, L.: Improving systems specifications a method proposal. In: CSEM (2008)"},{"key":"24_CR15","unstructured":"Li, R., Etemaadi, R., Emmerich, M.T.M., Chaudron, M.R.V.: Automated Design of Software Architectures for Embedded Systems using Evolutionary Multiobjective Optimization. In: VII ALIO\/EURO (2011)"},{"key":"24_CR16","unstructured":"Condat, H., Strobel, C., Hein, A.: Model-based automatic generation and selection of safe architectures. In: INCOSE (2012)"},{"key":"24_CR17","unstructured":"http:\/\/www-01.ibm.com\/software\/integration\/optimization\/cplex-optimizer\/"},{"key":"24_CR18","unstructured":"http:\/\/www.gurobi.com\/"}],"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-33678-2_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:18:44Z","timestamp":1620116324000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33678-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336775","9783642336782"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33678-2_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}