EverBits - Makers of EverCheck and EverTest

EverCheck

EverCheck is a qualifiable tool for static model analysis of Simulink®, Stateflow® and TargetLink® models and libraries. EverCheck provides all you need to check your models, including modelling quidelines, design fixes, verification reports and support, fused with just enough process to help you deliver safety compliant applications. No product training is needed to become productive. Watch the video below to get started:

EverCheck enforces a safe subset of a modeling language and detects run-time and logic errors at any model development stage. EverCheck has been certified as a tool for static model verification within a qualified development environment under ISO 26262 safety standard. It supports any MATLAB release since R2012b.

EverCheck Features

Modeling guidelines for safety related applications
Compliance checking for modeling guidelines
Kontext-based exclusion handling and documentation
Automated report-renaming and -relocation
Automated guideline-based model correction
Model-web-view generator with a search capability
Programmable scripting interface for check automation
Qualification kit with validation tests

Basic System Requirements:

Microsoft® Windows® 7 or later;
MathWorks® MATLAB® and Simulink® R2012b or later.

Pricing and Licensing:

Individual perpetual or annual license;
Network named user license;
Concurrent license.

Request a quote

EverTest

EverTest is a qualifiable tool for dynamic model analysis 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 as a tool for dynamic model verification within a qualified development environment under ISO 26262 safety standard. It supports any MATLAB release since R2012b.

EverTest Features

Automated generation of a test harness and definition of unit interface
Graphical user interface for test case generation, configuration and execution
Pass-fail criteria, including reference values, absolute and relative tolerances
Automatic assessments and graphical representation of verification results
Integrated static model analysis and structural test coverage
Requirements-based, baseline, equivalence, and back-to-back testing
Step-by-step debugger for advanced data and control flow analysis
Automatic generation of safety compliant verification report
Import/export of test data for Signal Builder, MDF, MAT and XML
Qualification kit with validation tests

Basic System Requirements:

Microsoft® Windows® 7 or later, Excel® 98 or later;
MathWorks® MATLAB®, Simulink® and Simulink® Coverage R2012b or later.

Pricing and Licensing:

Individual perpetual or annual license;
Network named user license;
Concurrent license.

Request a quote

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.

Request a quote

Download

This video gives detailed instructions on download, installation, licensing and activation of EverTest. Pease note that the same installation workflow is applicable to the EverCheck software. Please follow the links below to download the EverCheck and EverTest software.

EverCheck EverTest