Testing-based translation validation of generated code in the context of IEC 61508

DOI10.1007/S10703-009-0082-0zbMath1185.68411OpenAlexW2070661383MaRDI QIDQ845246

Mirko Conrad

Publication date: 5 February 2010

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-009-0082-0

zbMATH Keywords

SimulinkCode generationEquivalence testingHigh-integrity softwareIEC 61508IEC Certification KitModel-based designReal-Time Workshop Embedded CoderSafety standardsStateflowTranslation testingTranslation validation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Simulink
• Simulink Coder

This page was built for publication: Testing-based translation validation of generated code in the context of IEC 61508