EverBits EverCheck and EverTest for Simulink

EverCheck

EverCheck is a qualifiable tool for static model analysis and correction of Simulink, Stateflow and TargetLink models and libraries. EverCheck provides all you need to check your models, including modelling quidelines, design fixes, exclusion handling, verification reports, and just enough process to help you deliver safety compliant models.

EverCheck has been certified for static model verification within a qualified development environment under IEC 61508 and ISO 26262.

EverCheck Features

• ISO 26262 Qualifikation Kit
• Safety Manual (TCL3)
• Graphical User Interface
• Safety Modeling Guidelines
• Compliance Checking API
• Automated Model Correction
• Exclusion Handling API
• Verification Reporting
• Interactive Model Web View
• Custom Check Integration

Basic System Requirements:

• Windows® 10 or later;
• MATLAB® R2018a or later.

Pricing and Licensing:

• Individual annual license;
• Individual perpetual license;
• Network named user license;
• Network concurrent license.

Get a free trial

EverTest

EverTest is a qualifiable tool for dynamic model verification of Simulink, Stateflow and TargetLink models and libraries. EverTest software enables test-driven design and supports software-in-the-loop (SIL) and processor-in-the-loop (PIL) verification with manually developed or automatically generated external code. EverTest supports the creation, management, execution, assessment and documentation of simulation-based tests in a systematic manner.

EverTest enables requirements-based, equivalence, and back-to-back testing. You can generate verification reports, archive and review test results, rerun failed tests, and analyze the data- and control-flows in the models with an integrated step-by-step debugger. EverTest has been certified for dynamic model verification within a qualified development environment under IEC 61508 and ISO 26262.

EverTest Features

• ISO 26262 Qualifikation
• Safety Manual (TCL 3)
• Graphical User Interface
• Compliance Testing API
• Generation of Test Harness
• Pass-Fail Criteria Coloring
• Simple Test Specification
• Definition of Tolerance Values
• Automatic Test Assessments
• Automated Test Generation
• Exclusion Handling API
• Verification Reporting
• Interactive Model Web View
• Structural Test Coverage
• Requirements Coverage
• Reactive & B2B Testing (SIL)
• Step-by-Step Debugger
• Data & Control Flow Analysis
• Import/Export MDF4 & MAT

Basic System Requirements:

• Windows® 10 or later;
• MATLAB® R2018a or later.

Pricing and Licensing:

• Individual annual license;
• Individual perpetual license;
• Network named user license;
• Network concurrent license.

Get a free trial

EverView

For best collaboration on a project everyone on your team shall be able to see the entire model-base at any time without any extra tools, installations and licensing issues. Furthermore, the model views shall be fast and user friendly. The models shall be displayed exactly the same way as the developers wanted the models to look like. And you shall be able to comment such model views in a distributed way and then merge all the relevant comments.

We do not provide an extra tool for that. No. We provide an easy to use EverTest feature that generates a Simulink view - EverView® - in a single HTML file which feels exactly like your Simulink model. No extra tools, no extra installations and no extra license costs are required after EverView generation. A regular web browser is sufficient to view the models and to comment in them. Even the data plots from signal builder and look-up tables are integrated! You can now freely view, search and comment in the model hierarchy.

EverView Features

• EverView generation is a feature of EverTest
• The generated EverView report is free from any license dependences
• Off-line inspections and annotations in a regular web browser
• Graphical user experience exactly like in your Simulink or Stateflow model
• Native navigation capability to go up and down in all subsystem and chart levels
• Exact display of all model characteristics including types, dimensions and colors
• Graphical display of lookup tables and test-cases in the signal builder
• Model tree representation of the exported model hierarchically
• Customizable restriction of exporting depth for protected model parts
• Adding, saving and merging of custom review annotations

Basic System Requirements:

• Open EverView in any web browser of your choice.

Pricing and Licensing:

• No license required after EverView generation.

Live EverView Demo

MATLAB

Learn MATLAB features and tools essential for Simulink and Stateflow Users. The course is intended for beginners and those who want to refresh their skills in writing automation scripts for model simulation and test. No programming experience is required.

We cover the following topics in this training:

• Data Import and Visualization
• Data Types & Data Handling
• Scripting for Automation
• Functions for Encapsulation
• Advanced Programming
• Debugging and Profiling

Go to course

Simulink

Learn Simulink for function development in production projects. The course is intended for beginners and those who want to refresh their skills. After developing models in different domains you will integrate the complete system and understand model reuse.

We cover the following topics in this training:

• Modeling Dynamic Systems
• Modeling Algebraic Systems
• Modeling Logical Systems
• Modeling Continuous Systems
• Modeling Discrete Systems
• Verification Methods

Go to course

Stateflow

Learn Stateflow for function development in production projects. The course is intended for beginners and those who want to refresh their skills. After developing flow charts and state machines you will verify them in Simulink test harness.

We cover the following topics in this training:

• Flow Charts and Functions
• Handling Interfaces and Data
• Finite State Machines
• State Transition Rules
• Data, Events and Logics
• Hierarchical State Machines

Go to course

ISO 26262

Learn the ISO 26262 compliant processes for Model-Based Design. The course is intended for function developers, who already work with Simulink and want to develop automotive applications based on ISO 26262 safety standard.

We cover the following topics in this training:

• Processes in ISO 26262
• Modeling and Tool Guidelines
• Configuration Management
• Software Architectural Design
• Unit Design & Implementation
• Unit and Integration Testing

Go to course

Simulink Test Harness

EverTest can automatically isolate any Simulink subsystem from the remainder of the model and create a test harness which provides:

• time sequences of input data to stimulate the unit
• parameter values to test variants of functionality
• expected output data for the reference behavior
• an assessment mechanism to verify the unit behavior

Populating Test-Case Parameters

EverTest reads the MATLAB workspace to populate the parameter values in the added test-cases. When adding new test-cases, EverTest can read out the values from MATLAB variables and Simulink.Parameter objects in the MATLAB worksapace. In case of missing parameters or if the model is not updateable, the parameters will be populated with default values which are zero.

Renaming Interfaces in EverTest

EverTest generates a test-harness for any test object in Simulink. The test-harness defines the interfaces: inputs, outputs and parameters. The names and other settings of interfaces may change over time. EverTest provides a Clean-Up feature which supports the user during such interface change. The Clean-Up fixes the format, the dimensions, the names and the daty types.

Graphical User Interface

EverTest provides a graphical user interface (GUI) to interact with the test object and the test case specification. The GUI can be accessed by double-clicking on the EverTest blocks inside the test harness model. The toolbar contains the controls for the test configuration, the test specification and the work-product management. From the toolbar you can access product help where all the features are explained in detail.

Interfacing Simulink Models

In the EverTest specification you can define which inputs, outputs and parameters will be used during simulation. The Interface specification for signals and parameters includes the following characteristics: Name, Type, Data Type, Dimension, Min, Max, Unit and Description. In the Interface sheet you can define all the interface characteristics including port order. The CleanUp-Function propagates the modifications to selected test-cases and sets the order, colors and other formal data properties for all selected test-cases.

Pass-Fail Criteria in Assessments

EverTest automates the following assessment actions for each test case:

• The outputs are permanently stored.
• The outputs are compared to references.
• The comparison results are visualized.
• All test results are summarized in a textual form.

Requirements-Based Testing

To support the impact analysis and assessments all requirements shall be traceable referencing to each source of the requirement, each realization in the design, and each specification of its verification. The EverTest Requirements-Traceability-Matrix provides answers to the following questions:

• Where are the requirements implemented?
• Where are the requirements verified?
• What are the verification results?

Reactive Testing in Simulink

For Open-Loop testing in Simulink, the specification of each test case shall include the input data, their time sequence and their values. To model simple sequences of test steps like f.e. signal vectors, parameter settings or signal ramping, the direct test-case definition can be used. The more complicated reactive scenarious can be generated in Simulink. You can reconfigure the EverTest interface specification for Close-Loop Simulations.

Simulink Test Assessments

The direct comparison assessments can be combined with more complex assessments modelled in MATLAB, Simulink and Stateflow, which is more effective than using other external tools or programming languages. The assessment models can combine conditional comparisons of outputs, monitoring of interface ranges, analysis of state sequence order and restrictions on time behaviour. Such test assessments are particularly effective at reducing the size of test suites for very complex applications, making testing more targeted and efficient. Please open the web view of the model to inspect an example test assessment implementation. They can be verified in the same verification cycle and with the same verification tools as the test objects.

Simulink Test Report

Graphical signal representation in a test report helps reviewing the test cases. EverPlot feature allows plotting single bits of a bitfield, scalar values and vector signals. You can modify the test data by using the MATLAB notation. You also can specify the line colors, styles and markes. The related time vector, reference and tolerance values for output signals will be plotted automatically. You may use parameters, constants and MATLAB functions to draw supportive horizontal lines.

Simulink Coverage Report

EverTest provides a one-click interface to utilize Simulink Coverage software which collects structural test coverage for all executed test cases and provides reports on model and code level. The findings on the model level correlate to those in the generated C code. Both decision coverage (branch coverage) and modified condition decision coverage (MCDC) are supported. EverTest provides intrinsic exclusion handling (see grayed out block in the picture below). EverTest merges all work products to a self-contained coverage report, renames and relocates it based on project-specific settings.

Software-in-the-loop testing in Simulink

Ever-Test provides a simple user-interface to integrate external C-code in a Simulink model. You can use the integrated C-code for unit test and measurement of Decision and Modified Decision Condition Coverage. You can reuse your model-based test-cases and retain the ability to change the parameter values for each test case. You can even debug your C-code by using a Microsoft Visual Studio for host-based simulation or Lauterbach Trace-32 debugger for target-based simulation.

Back-to-Back Testing in Simulink

Back-to-back testing is a highly recommended verification method in ISO 26262. For model-based development, testing of software units and software components can be carried out at the Simulink model level followed by back-to-back comparison tests between the model and code. EverTest performs the back-to-back testing to verify numerical equivalence between a Simulink model and its associated code and to generate a verification report compliant with the requirements of ISO 26262.

How to Debug Simulink C-Mex S-Functions

You learned how to debug your Simulink models? Great! You could generate your production C code? Nice! You integrated the C-code into Simulink for Software-in-the-Loop testing? And now you have irregular behavior in your S-Function? No problem! You can debug the integrated C-code by using Microsoft Visual Studio. We use the Version 2015 but it will work similarly in other versions as well. Here are the steps.

How to Add Groups of Test-Cases in EverTest

When you have many test-cases, there might be a need to group those. For this you can add groups in the context menu. You can execute all test-cases in a group when you double-click on the group. The group-tree can be collapsed and it will open when executed. For each test-group in the Requirements-Sheet of the Excel file and in the Requirements-Section of the Verification Report the grouped structure is preserved.