{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T18:33:35Z","timestamp":1766428415741},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319641188"},{"type":"electronic","value":"9783319641195"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-64119-5_7","type":"book-chapter","created":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T13:05:09Z","timestamp":1501592709000},"page":"97-111","source":"Crossref","is-referenced-by-count":16,"title":["Architectural Modeling and Analysis for Safety Engineering"],"prefix":"10.1007","author":[{"given":"Danielle","family":"Stewart","sequence":"first","affiliation":[]},{"given":"Michael W.","family":"Whalen","sequence":"additional","affiliation":[]},{"given":"Darren","family":"Cofer","sequence":"additional","affiliation":[]},{"given":"Mats P. E.","family":"Heimdahl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,2]]},"reference":[{"key":"7_CR1","unstructured":"AADL: Predictable Model-Based Engineering"},{"key":"7_CR2","unstructured":"AIR 6110: Contiguous Aircraft\/System Development Process Example (2011)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-319-17524-9_7","volume-title":"NASA Formal Methods","author":"J Backes","year":"2015","unstructured":"Backes, J., Cofer, D., Miller, S., Whalen, M.W.: Requirements analysis of a quad-redundant flight control system. In: Havelund, K., Holzmann, G., Joshi, R. (eds.) NFM 2015. LNCS, vol. 9058, pp. 82\u201396. Springer, Cham (2015). doi: 10.1007\/978-3-319-17524-9_7"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Bittner, B., Bozzano, M., Cavada, R., Cimatti, A., Gario, M., Griggio, A., Mattarei, C., Micheli, A., Zampedri, G.: The xSAP Safety Analysis Platform. In: Proceedings of 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2016), Eindhoven, The Netherlands, 2\u20138 April 2016, pp. 533\u2013539 (2016)","DOI":"10.1007\/978-3-662-49674-9_31"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Bozzano, M., Cimatti, A., Pires, A.F., Jones, D., Kimberly, G., Petri, T., Robinson, R., Tonetta, S.: Formal design and safety analysis of AIR6110 wheel brake system. In: Proceedings of 27th International Conference on Computer Aided Verification (CAV 2015), Part I, San Francisco, CA, USA, 18\u201324 July 2015, pp. 518\u2013535 (2015)","DOI":"10.1007\/978-3-319-21690-4_36"},{"issue":"22","key":"7_CR6","doi-asserted-by":"crossref","first-page":"91","DOI":"10.3182\/20130904-3-UK-4041.00043","volume":"46","author":"D Chen","year":"2013","unstructured":"Chen, D., Mahmud, N., Walker, M., Feng, L., Lnn, H., Papadopoulos, Y.: Systems modeling with EAST-ADL for fault tree analysis through HiP-HOPS*. IFAC Proc. Vol. 46(22), 91\u201396 (2013)","journal-title":"IFAC Proc. Vol."},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/j.scico.2014.06.011","volume":"97","author":"A Cimatti","year":"2015","unstructured":"Cimatti, A., Tonetta, S.: Contracts-refinement proof system for component-based embedded system. Sci. Comput. Program. 97, 333\u2013348 (2015)","journal-title":"Sci. Comput. Program."},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-28891-3_13","volume-title":"NASA Formal Methods","author":"D Cofer","year":"2012","unstructured":"Cofer, D., Gacek, A., Miller, S., Whalen, M.W., LaValley, B., Sha, L.: Compositional verification of architectural models. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol. 7226, pp. 126\u2013140. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-28891-3_13"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Delange, J., Feiler, P., Gluch, D.P., Hudak, J.: AADL Fault Modeling, Analysis Within an ARP4761 Safety Assessment. Technical report CMU\/SEI-2014-TR-020, Software Engineering Institute","DOI":"10.21236\/ADA610294"},{"key":"7_CR10","volume-title":"A Practical Guide to SysML","author":"S Friedenthal","year":"2008","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML. Morgan Kaufman Publisher, San Francisco (2008)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Gudemann, M., Ortmeier, F.: A framework for qualitative and quantitative formal model-based safety analysis. In: Proceedings of the 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering, HASE 2010, pp. 132\u2013141. IEEE Computer Society, Washington, D.C. (2010)","DOI":"10.1109\/HASE.2010.24"},{"issue":"9","key":"7_CR12","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language lustre. Proc. IEEE 79(9), 1305\u20131320 (1991)","journal-title":"Proc. IEEE"},{"issue":"1","key":"7_CR13","doi-asserted-by":"crossref","first-page":"7","DOI":"10.3390\/info8010007","volume":"8","author":"P Hnig","year":"2017","unstructured":"Hnig, P., Lunde, R., Holzapfel, F.: Model based safety analysis with smartIflow. Information 8(1), 7 (2017)","journal-title":"Information"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/11563228_10","volume-title":"Computer Safety, Reliability, and Security","author":"A Joshi","year":"2005","unstructured":"Joshi, A., Heimdahl, M.P.E.: Model-based safety analysis of simulink models using SCADE design verifier. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol. 3688, pp. 122\u2013135. Springer, Heidelberg (2005). doi: 10.1007\/11563228_10"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Joshi, A., Heimdahl, M.P.: Behavioral fault modeling for model-based safety analysis. In: Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium (HASE) (2007)","DOI":"10.1109\/HASE.2007.58"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Joshi, A., Miller, S.P., Whalen, M., Heimdahl, M.P.: A proposal for model-based safety analysis. In: Proceedings of 24th Digital Avionics Systems Conference (Awarded Best Paper of Track) (2005)","DOI":"10.1109\/DASC.2005.1563469"},{"key":"7_CR17","unstructured":"Joshi, A., Whalen, M., Heimdahl, M.P.: Automated Safety Analysis Draft Final Report. Report for NASA Contract NCC-01001 (2005)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Larson, B., Hatcliff, J., Fowler, K., Delange, J.: Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device. In: Proceedings of the 2013 ACM SIGAda Annual Conference on High Integrity Language Technology (HILT 2013), pp. 65\u201384. ACM, New York (2013)","DOI":"10.1145\/2527269.2527271"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Lisagor, O., Kelly, T., Niu, R.: Model-based safety assessment: Review of the discipline and its challenges. In: Proceedings of 2011 9th International Conference on Reliability, Maintainability and Safety, pp. 625\u2013632 (2011)","DOI":"10.1109\/ICRMS.2011.5979344"},{"key":"7_CR20","unstructured":"MathWorks: The MathWorks Inc., Simulink Product Web Site (2004). http:\/\/www.mathworks.com\/products\/simulink"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Murugesan, A., Whalen, M.W., Rayadurgam, S., Heimdahl, M.P.: Compositional verification of a medical device system. In: ACM International Conference on High Integrity Language Technology (HILT 2013), ACM (2013)","DOI":"10.1145\/2527269.2527272"},{"key":"7_CR22","unstructured":"Pajic, M., Mangharam, R., Sokolsky, O., Arney, D., Goldman, J., Lee, I.: Model-driven safety analysis of closed-loop medical systems. IEEE Trans. Industr. Inf. pp. 1\u201312 (2012)"},{"issue":"22","key":"7_CR23","doi-asserted-by":"crossref","first-page":"127","DOI":"10.3182\/20130904-3-UK-4041.00028","volume":"46","author":"T Prosvirnova","year":"2013","unstructured":"Prosvirnova, T., Batteux, M., Brameret, P.-A., Cherfi, A., Friedlhuber, T., Roussel, J.-M., Rauzy, A.: The AltaRica 3.0 project for model-based safety assessment. IFAC Proc. Volum. 46(22), 127\u2013132 (2013)","journal-title":"IFAC Proc. Volum."},{"key":"7_CR24","unstructured":"SAE ARP 4761: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment (1996)"},{"key":"7_CR25","unstructured":"SAE AS 5506B\u20133: Aadl annex volume 1 (2015)"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Sokolsky, O., Lee, I., Clarke, D.: Process-algebraic interpretation of AADL models. In: Proceedings of 14th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2009), Brest, France, 8\u201312 June 2009, pp. 222\u2013236 (2009)","DOI":"10.1007\/978-3-642-01924-1_16"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64119-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T22:22:31Z","timestamp":1569968551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-64119-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319641188","9783319641195"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64119-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}