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

DOI10.1007/S10703-009-0082-0MaRDI QIDQ845246zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1946732
• Stepwise Development of Simulink Models Using the Refinement Calculus Framework
• Towards verifying model transformations
• Development and automatic deployment of distributed control applications.
• scientific article; zbMATH DE number 2086584

Describes a project that uses

Uses Software

• Simulink Coder
• Simulink

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q845246)