EverCheck EverTest EverView Workflow Training Guide Pricing Download Free Trial ✉ support@everbits.com
Ver­i­fi­ca­tion tools for Simulink & State­flow

Cleaner Simulink models.
Unit tests that pass.

Two qual­i­fi­able tools for model-based de­vel­op­ment: EverCheck finds and fixes what's wrong in your mod­els, EverTest proves your units be­have — from model to gen­er­ated code.

⬇ Download Free Trial See pricing →

Free Trial · All Fea­tures · No Credit Card

EverTest verification of a Simulink model

EVERBITS · CHECK · TEST · REVIEW

MATLAB & Simulink Partner
Re­view · Anal­y­sis · Test

Verification has three letters #

Test­ing is only one of them. Re­view, anal­y­sis and test each catch er­rors the oth­ers miss. With EverView, EverCheck and EverTest, all three work on the same Simulink model. Swipe through the short ver­sion.

⬇ Download the 6 Slides (PDF)

SWIPE OR USE THE ARROWS · 6 SLIDES · ALSO ON LINKEDIN

Two tools, one work­flow

Static analysis and dynamic verification #

Use them to­gether or on their own. Both run in­side your ex­ist­ing MATLAB en­vi­ron­ment and both are qual­i­fi­able for safety-re­lated de­vel­op­ment.

Static Model Anal­y­sis

EverCheck

Check your Simulink, State­flow and TargetLink mod­els against safety mod­el­ing guide­lines — and cor­rect them au­to­mat­i­cally. Cleaner mod­els, fewer sur­prises down­stream.

  • Au­to­mated model cor­rec­tion against safety guide­lines
  • Ex­clu­sions stored in the model it­self, by Sys­tem ID (SID)
  • Ver­i­fi­ca­tion re­ports with check re­sults and ex­clu­sions
  • In­cludes EverView® — model re­view in any browser

From 1,000 € / year per userSee pric­ing →

⬇ Try EverCheck Learn more →
Dy­namic Model & Code Ver­i­fi­ca­tion

EverTest

Gen­er­ate a test har­ness for any sub­sys­tem, de­fine test cases in Excel, and run them across MIL, SIL and PIL. Back-to-back com­par­i­son and struc­tural cov­er­age, one work­flow.

From 2,000 € / year per userSee pric­ing →

⬇ Try EverTest Learn more →
How it works

From your existing model to a clean, verified, review-ready unit #

Four steps take one of your own Simulink units from in­stall to an audit-ready re­sult: down­load EverCheck and EverTest into MATLAB, base­line the unit as it stands, clean it up against your guide­lines, then ver­ify be­hav­ior with a share­able re­port — no script­ing re­quired.

01
Min­utes, not days

Download and install

One in­staller, no server, no admin project. EverCheck and EverTest run in­side your ex­ist­ing MATLAB on Win­dows — down­load, in­stall, ac­ti­vate the trial li­cense, done.

02
Your model, not a demo

Pick one of your own units and test it as it is

Gen­er­ate a test har­ness with EverTest for the unit ex­actly as it stands today — in­puts, out­puts, pa­ram­e­ters and data types are de­tected au­to­mat­i­cally. De­fine your test cases in Excel and cap­ture the cur­rent be­hav­ior as your re­gres­sion base­line. No script­ing re­quired.

03
Clean up safely

Check and correct the unit

Run EverCheck against your safety mod­el­ing guide­lines. Vi­o­la­tions are flagged and many are cor­rected au­to­mat­i­cally — refac­tor with the base­line al­ready in place, so you are never guess­ing what a change did.

04
Prove noth­ing broke

Re-run the same tests

Ex­e­cute the same test cases against the cor­rected unit. Pass­ing means the clean-up pre­served be­hav­ior — the model is now clean and prov­ably cor­rect. Re­sults, cov­er­age and trace­abil­ity merge into one self-con­tained HTML re­port.

05
Ready for the team

Share it for review

Gen­er­ate an EverView file — the whole model as a sin­gle HTML page any­one can open in a browser, no MATLAB li­cense needed. The unit is clean, ver­i­fied and doc­u­mented, so the re­view is about the de­sign, not about chas­ing guide­line find­ings.

The best eval­u­a­tion is your own project: one unit, one af­ter­noon, clean and ver­i­fied.

See the full safe MBD work­flow.

The ISO 26262 V-model with EverCheck, EverTest and EverView mapped to each stage ARCHITECTURE UNIT DESIGN CLAUSE 7 Architectural Design EverCheck CLAUSE 8 Unit Design & Implementation EverCheck CLAUSE 9 Unit Verification EverTest CLAUSE 10 Integration & Verification EverTest REVIEWS Independence I1 EverView Specification & Design (left arm) Verification & Integration (right arm) Verification reviews (I1)
Free Training on Model-Based Design →
When the stakes are high

Your assessor will ask. You will have the answer. #

Qual­i­fi­ca­tion is your obli­ga­tion, not ours — so we do the part we can. Every in­stal­la­tion ships with a safety man­ual as­sessed by TÜV SÜD (TCL 3) and a com­plete qual­i­fi­ca­tion kit: the use cases, the error con­di­tions, the mit­i­ga­tions, the test ev­i­dence, and the val­i­da­tion tests. The ef­fort on your side stays small.

ISO 26262 Qual­i­fi­ca­tion Kit
How tool qual­i­fi­ca­tion works →
Suc­cess story

From model to safety-compliant C code #

Safety-crit­i­cal ap­pli­ca­tion

Closed verification gap

Re­plac­ing a multi-step PLC Coder work­flow with sin­gle-step C code gen­er­a­tion using Em­bed­ded Coder, the mod­els were first checked and cor­rected with EverCheck — clean and guide­line-com­pli­ant be­fore code gen­er­a­tion started. Ex­ist­ing MIL test cases were reused to ver­ify the model adap­ta­tions, and the pro­duc­tion C code was in­te­grated as a Simulink vari­ant, so the same EverTest har­ness cov­ered both model and code — no sep­a­rate SIL toolchain.

Read the full story →
Why EverBits

Engineers who use their own tools #

20+ years In safety-crit­i­cal model-based de­vel­op­ment
TÜV SÜD Cer­ti­fied func­tional safety pro­fes­sional
Sup­port Your email reaches a re­spon­si­ble de­vel­oper
Get started

Download your free trial #

Free for 30 days, all fea­tures un­locked, in your own MATLAB en­vi­ron­ment. The same in­stall work­flow ap­plies to both tools.

EverCheck

Static model anal­y­sis and cor­rec­tion

⬇ Download EverCheck

EverTest

Dy­namic ver­i­fi­ca­tion & MIL/SIL/PIL test­ing

⬇ Download EverTest

Win­dows 10 or later · MATLAB R2018a or later

Video Walk­through

What Happens
After Download #

Run the in­staller, ac­ti­vate your trial li­cense, and start with your own model — the whole process, step by step.

Install & Activate in Minutes

From in­staller to ac­ti­vated trial li­cense — ready to check and test your own model.

Con­tinue with the free train­ing →
Site Guide

Everything on everbits.com,
on one screen #

Three tools, three case stud­ies, eight guides and six free cour­ses. Pick what you need.

Prod­ucts

EverCheck

Static anal­y­sis of Simulink and State­flow mod­els against mod­el­ing guide­lines.

EverTest

Re­quire­ments-based unit test­ing with cov­er­age, MIL, SIL and PIL. Qual­i­fi­able.

EverView

Any model as one HTML file: re­view and com­ment in any browser, no li­cense.

Pricing

Sub­scrip­tions per user or per team, plus the free Aca­demic Pro­gram.

Free Trial

All fea­tures, no credit card. Down­load and in­stall in min­utes.

Training Overview

All free video cour­ses in one place, plus live train­ings and coach­ing for teams.
Simulink Model · Case Studies

One Unit, Start to Finish

A cruise con­troller ver­i­fied the ISO 26262 way, every re­port linked — and the day the test suite caught the model.

A Sports Engine in Nine Blocks

The test tool be­hind the cruise con­troller, ver­i­fied the ISO 26262 way: why a plant model gets the same treat­ment as the prod­uct.

Air, Tyres and Hills in Seventeen Blocks

The forces that slow a car down, ver­i­fied as a test tool: one test case per re­quire­ment, the first de­ci­sion to cover, and the top speed checked on paper.
Guides

IEC 61508 vs ISO 26262

Same words, dif­fer­ent mind: where the generic and the au­to­mo­tive stan­dard part ways, and how to make the best use of what you al­ready know.

Outside-In Software FMEA

Start at the func­tion, not the parts. The seven AIAG-VDA steps for soft­ware, mapped to ISO 26262. With audio.

Driving School for Robots

Eye test, the­ory test, driv­ing test: how a self-driv­ing car should earn its li­cence. Six an­i­mated fig­ures.

Software FMEA

Find the re­quire­ments no­body wrote: 8 steps at the ar­chi­tec­ture level, in your own FMEA tool.

Safe MBD Workflow

From re­quire­ments to ver­i­fied code, the ISO 26262 way.

Tool Qualification

TCL and TI ex­plained, with an in­ter­ac­tive ma­trix for your own tool chain.

MIL, SIL and PIL Testing

One set of test cases, three ex­e­cu­tion lev­els, one suc­cess story.

Perception AI Demo

A SOTIF-style demo of how a per­cep­tion func­tion can be ex­am­ined.
Free Train­ing

MATLAB

Video course for en­gi­neers start­ing with MATLAB.

Simulink

Video course on build­ing and sim­u­lat­ing mod­els the right way.

Stateflow

Video course on state ma­chines and flow charts.

Simulink for ISO 26262

Mod­el­ing for safety-crit­i­cal soft­ware.

EverTest Course

From the first test case to cov­er­age and re­ports.

EverCheck Course

Guide­line checks, re­ports and fixes.
Be­fore you ask

Frequently asked questions #

EverCheck and EverTest run on Win­dows 10 or later with MATLAB R2018a or later — in­side your ex­ist­ing MATLAB en­vi­ron­ment, no sep­a­rate plat­form.
The trial runs for 30 days with all fea­tures un­locked — you get the full tools, in­clud­ing har­ness gen­er­a­tion, MIL/SIL/PIL test­ing, re­port­ing and EverView.
Yes — that's the point. Gen­er­ate a har­ness for one of your own sub­sys­tems, run your own test cases and gen­er­ate a ver­i­fi­ca­tion re­port from your real project. That's the best eval­u­a­tion you can do.
You need your own valid MATLAB and Simulink li­censes. For struc­tural cov­er­age mea­sure­ment, EverTest uses your Simulink Cov­er­age li­cense.
Both tools ship with a safety man­ual as­sessed by TÜV SÜD (TCL 3) and a qual­i­fi­ca­tion kit, min­i­miz­ing the tool-qual­i­fi­ca­tion ef­fort on your side. Read how tool qual­i­fi­ca­tion works →
Ques­tions?

Talk to the people who build the tools

Not sure which tool fits your project, or how qual­i­fi­ca­tion works for your ASIL level? Write to us — you'll reach an en­gi­neer, not a sales desk.

⬇ Download Free Trial

Or write to us at sup­port@ever­bits.com