EDN

Understanding the specific use cases for Simulink and Stateflow

In model-based design (MBD) approach, model remains the primary artifact around which revolves the entire development process. Refining the model is a continuing quest for a developer till it’s ready ...
New Electronics

QGen, a customizable code generator and model verifier for Simulink and Stateflow models

AdaCore announces the release of QGen 2.1.0, a qualifiable and customizable code generator and model verifier for Simulink and Stateflow models. This tool can generate MISRA C and SPARK/Ada source ...
IEEE

A Model DrivenTesting Solution for Embedded System with Simulink/Stateflow Model

Abstract: The Simulink/Stateflow is a commonly used approach in modeling embedded systems. This paper presents a model driven testing method for embedded systems using Simulink/Stateflow model, where ...
Electronic Design

MathWorks’ Simulink design verifier proves properties for model-based designs

The MathWorks has introduced Simulink design verifier for generating tests and providing design properties for Simulink and Stateflow models using the Prover plug-in from Prover Technology. Paul ...
IEEE

SimCoTest: A Test Suite Generation Tool for Simulink/Stateflow Controllers

Abstract: We present SimCoTest, a tool to generate small test suites with high fault revealing ability for Simulink/Stateflow controllers. SimCoTest uses meta-heuristic search to (1) maximize the ...