Abstract:With the advent of Model-Based Design and production code generation, the ability to demonstrate that the generated object code correctly implements the model used for code generation, i.e. to show the correctness of the model-to-code transformation result, becomes inherent. Various approaches to verify the model-to-code translation result in practice, i.e., to efficiently and effectively assess the correctness of translating real word Simulink models into embedded C code, have been proposed and applied by engineering professionals. Unfortunately, many of these approaches do not exploit the advantages of Model-Based Design and more or less carry out the translation validation of generated code in the same manner as for hand-written code. In this paper, the authors will present Code Generation Verification (CGV) an automated, testing-based approach to assess the numerical equivalence between Simulink models and the generated code. In the CGV approach, each individual model-tocode translation is followed by a verification phase to assess that the input (i.e., the Simulink model used for code generation) and the output (i.e., the target code produced during code generation and compilation) of this translation produce the same numerical results when stimulated with identical inputs. The paper describes the proposed verification approach, and illustrates it by using Simulink and Real-Time Workshop Embedded Coder. It also discusses this approach in the context of high-integrity application development by embedding it into code verification workflows for IEC 61508 and ISO 26262.

Automated Testing of Graphical Models in Heterogeneous Test Environments

Modeling, Simulation and Automatic Verification of Hybrid Systems under Matlab Environment

Embedded Software Testing Requirements Modeling and Automatic Test Case Generation Based on Multiple Graphs

Reachability Resolution for Discrete‐time Hybrid Systems with Application to Automated Test Generation for Simulink/Stateflow

Test Sequence Generation For Integration Testing Of Component Software

Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development

Code Generation Verification – Assessing Numerical Equivalence between Simulink Models and Generated Code

A Concept for Semi-Automatic Configuration of Sufficiently Valid Simulation Setups for Automated Driving Systems

Behavioral Compatibility of Simulink Models for Product Line Maintenance and Evolution

Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks

Simulation and validation of a hybrid testing system with Simulink

SceML - A Graphical Modeling Framework for Scenario-based Testing of Autonomous Vehicles

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components

Integration testing of heterotic systems

Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions

A Benchmark Suite for Hybrid Systems Reachability Analysis.

Formal Simulation and Visualisation of Hybrid Programs

A Method for Classifying Test Bench Configurations in a Scenario-Based Test Approach for Automated Vehicles

Using data mining techniques to generate test cases from graph transformation systems specifications

Navigating Dimensionality through State Machines in Automotive System Validation

Automatic Virtual Test Technology for Intelligent Driving Systems Considering Both Coverage and Efficiency