{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:19Z","timestamp":1740098899397,"version":"3.37.3"},"publisher-location":"Cham","reference-count":12,"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_5","type":"book-chapter","created":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T09:05:09Z","timestamp":1501578309000},"page":"67-81","source":"Crossref","is-referenced-by-count":6,"title":["Performing Safety Analyses with AADL and AltaRica"],"prefix":"10.1007","author":[{"given":"Julien","family":"Brunel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Feiler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Hugues","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruce","family":"Lewis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tatiana","family":"Prosvirnova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christel","family":"Seguin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lutz","family":"Wrage","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,2]]},"reference":[{"key":"5_CR1","unstructured":"Akerlund, O., Bieber, P., Boede, E., Bozzano, M., Bretschneider, M., Castel, C., Cavallo, A., Cifaldi, M., Gauthier, J., Griffault, A., Lisagor, O., Luedtke, A., Metge, S., Papadopoulos, C., Peikenkamp, T., Sagaspe, L., Seguin, C., Trivedi, H., Valacca, L.: ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. In: Proceedings of 3rd European Congress Embedded Real Time Software, ERTS 2006, Toulouse, France (2006)"},{"key":"5_CR2","first-page":"109","volume":"34","author":"A Arnold","year":"2000","unstructured":"Arnold, A., Griffault, A., Point, G., Rauzy, A.: The AltaRica language and its semantics. Fundamenta Informaticae 34, 109\u2013124 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"5_CR3","unstructured":"Batteux, M., Prosvirnova, T., Rauzy, A.: AltaRica 3.0 specification. Technical report, AltaRica Association (2015). http:\/\/openaltarica.fr\/docs\/AltaRica3.0LanguageSpecification.pdf"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"747","DOI":"10.1016\/j.ress.2004.12.004","volume":"91","author":"M Boiteau","year":"2006","unstructured":"Boiteau, M., Dutuit, Y., Rauzy, A., Signoret, J.P.: The AltaRica data-flow language in use: assessment of production availability of a multistates system. Reliab. Eng. Syst. Saf. 91, 747\u2013755 (2006)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"5","key":"5_CR5","doi-asserted-by":"crossref","first-page":"754","DOI":"10.1093\/comjnl\/bxq024","volume":"54","author":"M Bozzano","year":"2011","unstructured":"Bozzano, M., Cimatti, A., Katoen, J.P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended AADL models. Comput. J. 54(5), 754\u2013775 (2011). http:\/\/dx.doi.org\/10.1093\/comjnl\/bxq024","journal-title":"Comput. J."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Delange, J., Feiler, P.: Architecture fault modeling with the AADL error-model annex. In: 40th Euromicro Conference on Software Engineering and Advanced Applications. IEEE (2014)","DOI":"10.1109\/SEAA.2014.20"},{"key":"5_CR7","unstructured":"Mokos, K., Katsaros, P., Bassiliades, N., Vassiliadis, V., Perrotin, M.: Towards compositional safety analysis via semantic representation of component failure behaviour. In: Proceedings of the 2008 Conference on Knowledge-Based Software Engineering, pp. 405\u2013414. Amsterdam, The Netherlands (2008)"},{"key":"5_CR8","doi-asserted-by":"crossref","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. In: Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013. IFAC, York, Great Britain, September 2013","DOI":"10.3182\/20130904-3-UK-4041.00028"},{"issue":"1","key":"5_CR9","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1504\/IJCCBS.2015.068852","volume":"6","author":"T Prosvirnova","year":"2015","unstructured":"Prosvirnova, T., Rauzy, A.: Automated generation of minimal cut sets from AltaRica 3.0 models. IJCCBS 6(1), 50\u201380 (2015)","journal-title":"IJCCBS"},{"key":"5_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0951-8320(02)00042-X","volume":"78","author":"A Rauzy","year":"2002","unstructured":"Rauzy, A.: Mode automata and their compilation into fault trees. Reliab. Eng. Syst. Saf. 78, 1\u201312 (2002)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"5_CR11","unstructured":"SAE: Architecture Analysis and Design Language (AADL) AS-5506B. Technical report, The Engineering Society For Advancing Mobility Land Sea Air and Space, Aerospace Information Report, Version 2.1, September 2012"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Teichteil-K\u00f6nigsbuch, F., Infantes, G., Seguin, C.: Lazy forward-chaining methods for probabilistic model-checking. In: Advances in Safety, Reliability and Risk Management, pp. 318\u2013326. Informa UK Limited, August 2011. http:\/\/dx.doi.org\/10.1201\/b11433-47","DOI":"10.1201\/b11433-47"}],"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_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T18:22:25Z","timestamp":1569954145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-64119-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319641188","9783319641195"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64119-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}