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.

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.

Annotations in EverView

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