{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T20:57:58Z","timestamp":1725829078443},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319242545"},{"type":"electronic","value":"9783319242552"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-24255-2_21","type":"book-chapter","created":{"date-parts":[[2015,9,5]],"date-time":"2015-09-05T13:51:13Z","timestamp":1441461073000},"page":"283-296","source":"Crossref","is-referenced-by-count":4,"title":["Automatic Architecture Hardening Using Safety Patterns"],"prefix":"10.1007","author":[{"given":"Kevin","family":"Delmas","sequence":"first","affiliation":[]},{"given":"R\u00e9mi","family":"Delmas","sequence":"additional","affiliation":[]},{"given":"Claire","family":"Pagetti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,25]]},"reference":[{"issue":"11","key":"21_CR1","doi-asserted-by":"publisher","first-page":"1303","DOI":"10.1002\/spe.1044","volume":"41","author":"M Adachi","year":"2011","unstructured":"Adachi, M., Papadopoulos, Y., Sharvia, S., Parker, D., Tohdo, T.: An approach to optimization of fault tolerant architectures using hip-hops. Softw. Pract. Exper. 41(11), 1303\u20131327 (2011)","journal-title":"Softw. Pract. Exper."},{"doi-asserted-by":"crossref","unstructured":"Armoush, A.:. Design patterns for safety-critical embedded systems. Ph.D. thesis (2010)","key":"21_CR2","DOI":"10.1109\/SEAA.2009.12"},{"issue":"2\u20133","key":"21_CR3","doi-asserted-by":"crossref","first-page":"109","DOI":"10.3233\/FI-1999-402302","volume":"40","author":"A Arnold","year":"1999","unstructured":"Arnold, A., Point, G., Griffault, A., Rauzy, A.: The altarica formalism for describing concurrent systems. Fundam. Inform. 40(2\u20133), 109\u2013124 (1999)","journal-title":"Fundam. Inform."},{"unstructured":"Dassault. Cecilia OCAS framework (2014)","key":"21_CR4"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/978-3-642-24270-0_31","volume-title":"Computer Safety, Reliability, and Security","author":"M G\u00fcdemann","year":"2011","unstructured":"G\u00fcdemann, M., Ortmeier, F.: Model-based multi-objective safety optimization. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 423\u2013436. Springer, Heidelberg (2011)"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-540-87698-4_27","volume-title":"Computer Safety, Reliability, and Security","author":"S Humbert","year":"2008","unstructured":"Humbert, S., Seguin, C., Castel, C., Bosc, J.-M.: Deriving safety software requirements from an AltaRica system model. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol. 5219, pp. 320\u2013331. Springer, Heidelberg (2008)"},{"unstructured":"Kehren, C., Seguin, C., Bieber, P., Castel, C., Bougnol, C., Heckmann, J.P., Metge, S.: Architecture patterns for safe design. In: AAAF 1st Complex and Safe Systems Engineering Conference (2004)","key":"21_CR7"},{"key":"21_CR8","first-page":"59","volume":"7","author":"D Berre Le","year":"2010","unstructured":"Le Berre, D., Parrain, A.: The Sat4j library, release 2.2 system description. J. Satisf. Boolean Model. Comput. 7, 59\u201364 (2010)","journal-title":"J. Satisf. Boolean Model. Comput."},{"doi-asserted-by":"crossref","unstructured":"Pagetti, C., Saussi\u00e9, D., Gratia, R., Noulard, E., Siron, P.: The ROSACE case study: from Simulink specification to multi\/many-core execution. In: 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2014), April 2014","key":"21_CR9","DOI":"10.1109\/RTAS.2014.6926012"},{"issue":"1","key":"21_CR10","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.jss.2004.06.027","volume":"76","author":"Y Papadopoulos","year":"2005","unstructured":"Papadopoulos, Y., Grante, C.: Evolving car designs using model-based automated safety analysis and optimisation techniques. J. Syst. Softw. 76(1), 77\u201389 (2005)","journal-title":"J. Syst. Softw."},{"unstructured":"Preschern, C., Kajtazovic, N., Kreiner, C., et al.: Catalog of safety tactics in the light of the IEC 61508 safety lifecycle. In: Proceedings of VikingPLoP 2013 Conference, p. 79 (2013)","key":"21_CR11"},{"unstructured":"Rugina, A.-E., Feiler, P.H., Kanoun, K., Ka\u00e2niche, M.: Software dependability modeling using an industry-standard architecture description language. In: Embedded Systems and Real-Time Systems (ERTS 2008) (2008)","key":"21_CR12"},{"unstructured":"SAE. Aerospace Recommended Practices 4754a - Development of Civil Aircraft and Systems (2010)","key":"21_CR13"},{"issue":"10","key":"21_CR14","doi-asserted-by":"publisher","first-page":"2467","DOI":"10.1016\/j.jss.2013.04.001","volume":"86","author":"M Walker","year":"2013","unstructured":"Walker, M., Reiser, M.-O., Piergiovanni, S.T., Papadopoulos, Y., L\u00f6nn, H., Mraidha, C., Parker, D., Chen, D.-J., Servat, D.: Automatic optimisation of system architectures using east-adl. J. Syst. Softw. 86(10), 2467\u20132487 (2013)","journal-title":"J. Syst. Softw."}],"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-319-24255-2_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,8]],"date-time":"2020-09-08T01:40:53Z","timestamp":1599529253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24255-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319242545","9783319242552"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24255-2_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}