{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T05:31:36Z","timestamp":1738387896912,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876977"},{"type":"electronic","value":"9783540876984"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87698-4_27","type":"book-chapter","created":{"date-parts":[[2008,9,19]],"date-time":"2008-09-19T19:53:29Z","timestamp":1221854009000},"page":"320-331","source":"Crossref","is-referenced-by-count":8,"title":["Deriving Safety Software Requirements from an AltaRica System Model"],"prefix":"10.1007","author":[{"given":"Sophie","family":"Humbert","sequence":"first","affiliation":[]},{"given":"Christel","family":"Seguin","sequence":"additional","affiliation":[]},{"given":"Charles","family":"Castel","sequence":"additional","affiliation":[]},{"given":"Jean-Marc","family":"Bosc","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","volume-title":"18th IFIP World Computer Congress, Topical Day on New Methods for Avionics Certification","author":"P. Bieber","year":"2004","unstructured":"Bieber, P., Bougnol, C., Castel, C., Heckmann, J.-P., Kehren, C., Metge, S., Seguin, C.: Safety Assessment with AltaRica - Lessons learnt based on two aircraft system studies. In: Jacquart, R. (ed.) 18th IFIP World Computer Congress, Topical Day on New Methods for Avionics Certification, Toulouse. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"27_CR2","unstructured":"Bieber, P., Blanquart, J.-P., Durrieu, G., Lesens, D., Lucotte, J., Tardy, F., Turin, M., Seguin, C., Conquet, E.: Integration of formal fault analysis in ASSERT: Case studies and lessons learnt. In: European Congress on Embedded Real-Time Software ERTS 2008, SIA, AAAF, SEE, Toulouse (2008) (electronic paper), http:\/\/www.erts2008.org\/"},{"key":"27_CR3","unstructured":"Humbert, S., Bosc, J.-M., Castel, C., Darfeuil, P., Dutuit, Y., Focone, E., Seguin, C.: D\u00e9clinaison d\u2019exigences de s\u00e9curit\u00e9 du syst\u00e8me vers le logiciel assist\u00e9e par des mod\u00e8les formels. In: Potet, M.-L., Schobbens, P.-Y., Toussaint, Y., Saval, G. (eds.) AFADL 2007, Presses universitaires de Namur, pp. 57\u201373 (2007)"},{"issue":"2-3","key":"27_CR4","first-page":"109","volume":"40","author":"A. Arnold","year":"2000","unstructured":"Arnold, A., Griffault, A., Point, G., Rauzy, A.: The AltaRica Formalism for Describing Concurrent Systems. Fundamenta Informaticae\u00a040(2-3), 109\u2013124 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"27_CR5","unstructured":"The AltaRica project, http:\/\/altarica.labri.fr\/wiki\/"},{"issue":"1","key":"27_CR6","doi-asserted-by":"publisher","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. Reliability Engineering and System Safety\u00a078(1), 1\u201312 (2002)","journal-title":"Reliability Engineering and System Safety"},{"key":"27_CR7","unstructured":"Humbert, S., Bosc, J.-M., Castel, C., Darfeuil, P., Dutuit, Y., Seguin, C.: M\u00e9thodologie de mod\u00e9lisation AltaRica pour la s\u00fbret\u00e9 de fonctionnement d\u2019un syst\u00e8me de propulsion h\u00e9licopt\u00e8re incluant une partie logicielle. In: proceedings of Lambda Mu 15, communication 113, Lille, IMdR (2006)"},{"issue":"2","key":"27_CR8","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/S0951-8320(97)00034-3","volume":"58","author":"Y. Dutuit","year":"1997","unstructured":"Dutuit, Y., Rauzy, A.: Exact and Truncated Computation of Prime Implicants of Coherent and Non-Coherent Fault Trees within Aralia. Reliability Engineering and System Safety\u00a058(2), 127\u2013144 (1997)","journal-title":"Reliability Engineering and System Safety"},{"issue":"2","key":"27_CR9","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/102792.102799","volume":"34","author":"N.G. Leveson","year":"1991","unstructured":"Leveson, N.G.: Software Safety in Embedded Computer Systems. Communications of ACM\u00a034(2), 34\u201346 (1991)","journal-title":"Communications of ACM"},{"issue":"7","key":"27_CR10","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1109\/32.708570","volume":"24","author":"K.M. Hansen","year":"1998","unstructured":"Hansen, K.M., Ravn, A.P., Stavridou, V.: From Safety Analysis to Software Requirements. IEEE Transaction on Software Engineering\u00a024(7), 573\u2013584 (1998)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"27_CR11","first-page":"69","volume-title":"SAFECOMP 1991, IFAC Symposia, , Trondheim, series #8","author":"M. Bouissou","year":"1991","unstructured":"Bouissou, M., Bouhadana, H., Bannelier, M., Villatte, N.: Knowledge modelling and reliability processing: presentation of the FIGARO language and associated tools. In: Lindeberg, J.F. (ed.) SAFECOMP 1991, IFAC Symposia, Trondheim, series #8, pp. 69\u201375. Pergamon Press, Oxford (1991)"},{"issue":"1","key":"27_CR12","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., Nicholson, M., Pumfrey, D.J.: Towards Integrated Safety Analysis and Design. ACM Computing Reviews\u00a02(1), 21\u201332 (1994)","journal-title":"ACM Computing Reviews"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Papadopoulos, Y., Maruhn, M.: Model-based automated synthesis of fault trees from Matlab-Simulink models. In: DSN 2001, International Conference on Dependable Systems and Networks (former FTCS), Gothenburg, pp.77\u201382 (2001) ISBN 0-7695-1101-5","DOI":"10.1109\/DSN.2001.941393"},{"key":"27_CR14","unstructured":"Bozzano, M., Villafiorita, A., et al.: ESACS: an integrated methodology for design and safety analysis of complex systems. In: proceedings of ESREL 2003, European Safety and Reliability Conference, Maastricht, pp. 237\u2013245. Balkema Publishers (2003)"},{"key":"27_CR15","unstructured":"Humbert, S.: D\u00e9clinaison d\u2019exigences de s\u00e9curit\u00e9 du niveau syst\u00e8me vers le niveau logiciel assist\u00e9e par des mod\u00e8les formels. PhD thesis of University of Bordeaux (2008)"},{"key":"27_CR16","unstructured":"Society of Automotive Engineers: ARP4754: Certification Considerations for Highly-Integrated or Complex Aircraft Systems. SAE International, Warrendale, PA (1996)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87698-4_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T00:37:06Z","timestamp":1738370226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87698-4_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876977","9783540876984"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87698-4_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}