We are EverBits® - maker of EverCheck® and EverTest® - the verification tools for Simulink® and Stateflow®. We enable function developers to leverage advantages of Model-Based Design. With our tools static and dynamic verification of models and integrated C code becomes a pleasure.
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.
Basic System Requirements:
Pricing and Licensing:
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.
Basic System Requirements:
Pricing and Licensing:
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.
Basic System Requirements:
Pricing and Licensing:
This video gives detailed instructions on download, installation, licensing and activation of EverTest. Please note that the same installation workflow is applicable to the EverCheck software. Please follow the links below to download the EverCheck and EverTest software.
"MATLAB, Simulink and Stateflow for Function Development" is a 3-day online or onsite training
for up to 10 people. We provide printed materials for the contents of the event.
We provide EverCheck® and EverTest® software for the test-driven development and verification exercises.
Please bring your working stations with valid MATLAB®, Simulink®, Stateflow® and Simulink Coverage® licenses
and a legal text copy of the ISO 26262-6 standard. Contact us to get a quote on the courses: support@everbits.com.
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:
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:
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:
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:
These short videos provide an overview of some EverTest® features to start with unit testing in Simulink®. EverTest® software was designed for easy verification at model level by providing engineers with mental aids, improved feedback and better control of system's complexity. These video training will help you to become productive and simplify your development workflow to conquer the system complexity and build the right software in the right way, faster.
EverTest can automatically isolate any Simulink subsystem from the remainder of the model and create a test harness which provides:
Please note: this is a transcript of the training video above.
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.
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.
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.
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.
EverTest automates the following assessment actions for each test case:
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:
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.
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.
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.
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.
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 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.
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.
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.