Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach-Reference-Cited by-同舟云学术

Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach

Published:2011 Issue: Volume: Page:57-70
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Blanquart Jean-Paul,Armengaud Eric,Baufreton Philippe,Bourrouilh Quentin,Griessnig Gerhard,Krammer Martin,Laurent Odile,Machrouh Joseph,Peikenkamp Thomas,Schindler Cecile,Wien Tormod

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-24270-0_5

Reference22 articles.

1. Guidelines for Development of Civil Aircraft and Systems, EUROCAE ED-79A and SAE Aerospace Recommended Practice ARP 4754A (December 21, 2010)

2. 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)

3. Software considerations in airborne systems and equipment certification, EUROCAE ED-12 and RTCA DO-178, issue B (December 1, 1992)

4. Design Assurance Guidance for Airborne Electronic Hardware, EUROCAE ED-80 and RTCA DO-254 (April 2000)

5. Road vehicles – Functional safety, Final Draft International Standard ISO/FDIS 26262: (Parts 1-10) (2010)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Functional Safety of Automated Driving Systems: Does ISO 26262 Meet the Challenges?;Automated Driving;2016-09-24

2. Managing Functional Safety Processes for Automotive E/E Architectures in Integrated Model-Based Development Environments;SAE International Journal of Passenger Cars - Electronic and Electrical Systems;2014-04-01

3. Making Implicit Safety Requirements Explicit;Lecture Notes in Computer Science;2014

4. Structuring Safety Requirements in ISO 26262 Using Contract Theory;Lecture Notes in Computer Science;2013

5. Using genetic algorithms to generate test sequences for complex timed systems;Soft Computing;2012-07-24