{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T21:36:11Z","timestamp":1760132171693,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242694"},{"type":"electronic","value":"9783642242700"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24270-0_5","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T14:51:44Z","timestamp":1315407104000},"page":"57-70","source":"Crossref","is-referenced-by-count":5,"title":["Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach"],"prefix":"10.1007","author":[{"given":"Jean-Paul","family":"Blanquart","sequence":"first","affiliation":[]},{"given":"Eric","family":"Armengaud","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Baufreton","sequence":"additional","affiliation":[]},{"given":"Quentin","family":"Bourrouilh","sequence":"additional","affiliation":[]},{"given":"Gerhard","family":"Griessnig","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Krammer","sequence":"additional","affiliation":[]},{"given":"Odile","family":"Laurent","sequence":"additional","affiliation":[]},{"given":"Joseph","family":"Machrouh","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Peikenkamp","sequence":"additional","affiliation":[]},{"given":"Cecile","family":"Schindler","sequence":"additional","affiliation":[]},{"given":"Tormod","family":"Wien","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Guidelines for Development of Civil Aircraft and Systems, EUROCAE ED-79A and SAE Aerospace Recommended Practice ARP 4754A (December 21, 2010)"},{"key":"5_CR2","unstructured":"Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment, EUROCAE ED-135 and SAE Aerospace Recommended Practice ARP 4761 (December 1996)"},{"key":"5_CR3","unstructured":"Software considerations in airborne systems and equipment certification, EUROCAE ED-12 and RTCA DO-178, issue B (December 1, 1992)"},{"key":"5_CR4","unstructured":"Design Assurance Guidance for Airborne Electronic Hardware, EUROCAE ED-80 and RTCA DO-254 (April 2000)"},{"key":"5_CR5","unstructured":"Road vehicles \u2013 Functional safety, Final Draft International Standard ISO\/FDIS 26262: (Parts 1-10) (2010)"},{"key":"5_CR6","unstructured":"Functional safety of electrical\/electronic\/ programmable electronic safety-related systems, IEC 61508 Parts 1-7, Edition 2.0, (April 2010)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Functional safety \u2013 Safety instrumented systems for the process industry sector, IEC 61511 Parts 1-3, Edition 1.0 (March 2003)","DOI":"10.1049\/ic:20030262"},{"key":"5_CR8","unstructured":"Railway applications \u2013 The specification and demonstration of reliability, availability, maintainability and safety (RAMS), CENELEC, EN 50126 (February 28, 2007)"},{"key":"5_CR9","unstructured":"Railway applications \u2013 Communications, signalling and processing systems \u2013 Software for railway control and protection systems, CENELEC, EN 50128 (May 15, 2001)"},{"key":"5_CR10","unstructured":"Railway applications \u2013 Communications, signalling and processing systems \u2013 Safety related electronic systems for signalling, CENELEC, EN 50129 (May 7, 2003)"},{"key":"5_CR11","unstructured":"Space product assurance \u2013 Dependability, European Cooperation for Space Standardisation, ECSS-Q-ST-30C (March 6, 2009)"},{"key":"5_CR12","unstructured":"Space product assurance \u2013 Safety, European Cooperation for Space Standardisation, ECSS-Q-ST-40C (March 6, 2009)"},{"key":"5_CR13","unstructured":"Space product assurance \u2013 Software product assurance, European Cooperation for Space Standardisation, ECSS-Q-ST-80C (March 6, 2009)"},{"key":"5_CR14","unstructured":"Baufreton, P., Blanquart, J.P., Boulanger, J.L., Delseny, H., Derrien, J.C, Gassino, J., Ladier, G., Ledinot, E., Leeman, M., Qu\u00e9r\u00e9, P., Ricque, B.: Multi-domain comparison of safety standards. In: Proceedings of the 5th International Conference on Embedded Real Time Software and Systems (ERTS2 2010), Toulouse, France (May 19-21, 2010)"},{"key":"5_CR15","unstructured":"Recommended Practice for Architectural Description of Software-Intensive Systems, ANSI\/IEEE Std 1471, ISO\/IEC 42010:2007 (2007)"},{"key":"5_CR16","unstructured":"Object Management Group, Software and Systems Process Engineering Meta-Model, v2.0 (2008)"},{"key":"5_CR17","unstructured":"Haumer, P.: Increasing Development Knowledge with EPFC. Eclipse Review (Spring 2006)"},{"key":"5_CR18","unstructured":"Cifaldi, M., Lanteri, F.: CESAR Practices Framework \u2013 SPEM Mapping Guidelines, Draft 1, CESAR internal document (2010)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Chiam, Y.K., Staples, M., Zhu, L.: Representing Quality Attribute Techniques Using SPEM and EPF Composer. In: EuroSPI 2009 (2009)","DOI":"10.1007\/978-3-642-04133-4_15"},{"key":"5_CR20","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: Proceedings of the 4th International Conference on Embedded Real Time Software (ERTS 2008), Toulouse, France (January 29-February 1, 2008)"},{"key":"5_CR21","unstructured":"Rugina, A.E., Blanquart, J.P.: Formal Methods in Space Systems: Lessons Learnt. In: Data Systems in Aerospace, DASIA Conference, Budapest, Hungary (June 1-4, 2010)"},{"key":"5_CR22","unstructured":"Blanquart, J.P., Valadeau, P.: Model-based approaches for an improved FDIR development and validation process. In: Data Systems in Aerospace, DASIA Conference, Malta (May 17-20, 2011)"}],"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-24270-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T23:27:55Z","timestamp":1741562875000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24270-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242694","9783642242700"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24270-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}