EverBits

The best tools for model-based verification

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.

Features:

Basic System Requirements:

Pricing and Licensing:

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.

Features:

Basic System Requirements:

Pricing and Licensing:

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