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

DOI10.1007/S10703-009-0082-0zbMATH Open1185.68411OpenAlexW2070661383MaRDI QIDQ845246FDOQ845246

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

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

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

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