Qualifying software tools according to ISO 26262

Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, MBEES 2010

Volumn , Issue , 2010, Pages 117-128

  Conrad, Mirko ^a   Munier, Patrick ^b   Rauch, Frank ^c  

^a MATHWORKS INC   (United States)

^b SAS   (France)

^c TUV SUD Rail GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE SOFTWARE; SAFETY STANDARD; VERIFICATION TOOLS;

AUTOMOTIVE INDUSTRY; EMBEDDED SYSTEMS; SAFETY ENGINEERING;

COMPUTER SOFTWARE;

EID: 80053039740     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. M. Beine, A. Bärwald: Einsatz zertifizierter Codegenerierungswerkzeuge in sicherheitsgerichteteten Entwicklungen. Safetronic 2009, Munich, Germany, 2009.
2. M. Conrad: Using Simulink and Real-Time Workshop Embedded Coder for IEC 61508 Applications. White Paper, Safety Users Group, 2007 www. safetyusersgroup. com/documents/AR070002/EN/AR070002. pdf
3. M. Conrad: Testing-based translation validation of generated code in the context of IEC 61508. Formal Methods in System Design, 2009. DOI 10. 1007/s10703-009-0082-0
4. M. Conrad, G. Sandmann: A Verification and Validation Workflow for IEC 61508 Applications. SAE Techn. Paper #2009-01-0271, SAE World Congress 2009
5. RTCA/DO-178B. Software Considerations in Airborne Systems and Equipment Certification. 1992
6. T. Glötzner: IEC 61508 Certification of a Code Generator, ICSS2008
7. V. Hilderman, T. Baghai: Avionics Certification -A complete guide to DO-178 (Software) DO-254 (Hardware). Avionics Communications Inc. , VA, USA, 2007
8. IEC 61508-3:1998. Int. Standard Functional safety of electrical/ electronic/ programmable electronic safety-related systems - Part 3: Software requirements. 1998.
9. IEC 61508-6:1998. Int. Standard Functional safety of electrical/ electronic/ programmable electronic safety-related systems - Part 6: Guidelines on the application of IEC 61508-2 and IEC 61508-3. 1998.
10. ISO/DIS 26262-8:2009. Draft International Standard Road vehicles - Functional safety - Part 8: Supporting processes. 2009.
11. F. Junker, G. Glöe: Guaranteed Product Safety According to the IEC 61508 Standard. RealTimes 1/2003
12. M. Kühl, K. D. Müller-Glaser: Qualitätssicherung und Zertifizierung beim Softwareentwurf sicherheitskritischer Kfz-Steuergeräte mit X-By-Wire-Technologie (Quality Assurance and Software Certification in respect to Software Construction of Safety Critical X-by-Wire Systems). Elektronik im Kraftfahrzeug, Baden-Baden, Germany 2003. VDI Berichte 1789/2003:467-475
13. Model-Based Design web page. The MathWorks Inc. , www. mathworks. com/applications/controldesign/description
14. MISRA-C:2004. Guidelines for the use of the C language in critical systems. 2004.
15. A. Kornecki, J. Zalewski: Certification of software for real-time safety-critical systems: state of the art. Innovations Syst Softw Eng (2009) 5:149-161
16. Y. Papadopoulos, J. A. McDermid: The Potential for a Generic Approach to Certification of Safety-Critical Systems in the Transportation Sector. Journal of Reliability Engineering and System Safety 63 (1999) 47-66
17. Real-Time Workshop Embedded CoderTM product page. The MathWorks Inc. , www. mathworks. com/products/rtwembedded
18. J. Sauler: Die ISO 26262 für Automotive kommt! Elektronikpraxis TV (in German), 2009 Part 1: www. youtube. com/watch?v=wqbNrgRcEVo Part 2: www. youtube. com/watch?v=vWkdIRINb8o
19. S. Schneider, T. Lovric, P. S. Mai: The Validation Suite Approach to Safety Qualification of Tools. SAE World Congress 2009, Detroit, MI, USA, 2009.
20. The MathWorks Real-Time Workshop Embedded Coder Certified By TÜV SÜD Automotive GmbH. Press Release, The MathWorks, Inc. , 2008 www. mathworks. com/company/pressroom/articles/article31189. html
21. The MathWorks Real-Time Workshop Embedded Coder and PolySpace Products Qualified According To ISO 26262. Press Release, The MathWorks, Inc. , 2009 www. mathworks. com/company/pressroom/articles/article39270. html