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

Review it. Check it.
Test it.

Three tools for model-based de­vel­op­ment, one Sim­u­link model: Ever­View lets any­one re­view it in a browser, Ever­Check finds and fixes what is wrong in it, Ever­Test proves that it be­haves — from model to gen­er­ated code.

⬇ Get Free Trial See pricing →

Free Trial · All Fea­tures · No Credit Card

EverTest verification of a Simulink model

EVERBITS · REVIEW · ANALYSIS · TEST

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

Three tools, one work­flow

Review, analysis and test #

Start with EverView to get every model in front of every re­viewer. Add EverCheck and EverTest for static anal­y­sis and tests. All three are qual­i­fi­able for safety-re­lated de­vel­op­ment and run in­side your ex­ist­ing MATLAB en­vi­ron­ment.

Model Re­view · Start here

EverView

Turn any Simulink, State­flow or TargetLink model into one self-con­tained HTML file. Re­view­ers nav­i­gate, search and com­ment in any browser — no MATLAB, no in­stall, no li­cense on their side. The eas­i­est way into the EverBits tools.

  • One HTML file per model, opens any­where
  • Com­ments and re­view notes stored in the file
  • Also the right for­mat for soft­ware FMEA ses­sions
  • The full EverView: prop­er­ties, scope plots, com­ments, out­line for AI as­sis­tants

500 € / year per userSee pric­ing →

✉ Request EverView trial Learn more →
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
  • Qual­i­fi­ca­tion kit and TÜV SÜD-as­sessed safety man­ual in­cluded

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.

  • One-click test har­ness for any Simulink sub­sys­tem
  • Same Excel test cases across MIL, SIL and PIL
  • Ver­i­fi­ca­tion re­ports with test re­sults and test cov­er­age
  • Qual­i­fi­ca­tion kit and TÜV SÜD-as­sessed safety man­ual in­cluded

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 #

Five steps take one of your own Simulink units from in­stall to an audit-ready re­sult: in­stall the tools into MATLAB, base­line the unit as it stands, clean it up against your guide­lines, ver­ify be­hav­ior with a share­able re­port, then hand the model to the re­view­ers as one HTML file — no script­ing re­quired.

01
Min­utes, not days

Download and install

One in­staller per tool, no server, no admin project. EverView, EverCheck and EverTest run in­side your ex­ist­ing MATLAB on Win­dows — down­load or re­quest, 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

Ex­port the unit with EverView — the whole model as a sin­gle HTML page any­one can open in a browser, no MATLAB li­cense needed. Re­view­ers add their com­ments right in the file. 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

Get your free trial #

All fea­tures, in your own MATLAB en­vi­ron­ment. EverCheck and EverTest down­load di­rectly; the EverView setup comes by email on re­quest.

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

EverView

Model re­view and com­ment­ing in any browser

✉ Request EverView

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

Cruise Control, 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.

The Engine, as a Test Tool

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.

Making the Car Move

Forces into speed and dis­tance, lim­ited by the grip of the road: the last plant unit, every limit of the in­ter­face reached, every re­port linked.

Stopping the Car

The brakes as a test tool: a unit with a state, the delay spec­i­fied as five num­bers, con­di­tion cov­er­age, and every re­port linked.

What Slows a Car Down

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 #

EverView, 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 HTML files that EverView ex­ports open in any browser, with no MATLAB at all.
The EverCheck and EverTest tri­als run for 30 days with all fea­tures un­locked: har­ness gen­er­a­tion, MIL/SIL/PIL test­ing, re­port­ing and the basic EverView ex­port. The EverView trial comes with all fea­tures and is avail­able on re­quest from sup­port@ever­bits.com.
EverCheck and EverTest in­clude a basic EverView ex­port: the model as an in­ter­ac­tive HTML page. The stand­alone EverView is the full prod­uct: a prop­er­ties panel for every block and sig­nal, scope and sig­nal viewer plots, free-hand re­view com­ments with a com­ment table, a model out­line for AI as­sis­tants, com­mand-line ex­port and em­bed­dable out­put for web­sites. If your team re­views mod­els, start with EverView. See 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. Open­ing an EverView file needs no li­cense at all.
All three tools are qual­i­fi­able. EverCheck and EverTest 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. EverView is qual­i­fied by re­view: its out­put is the model it­self, as one HTML file, and the re­viewer ver­i­fies what they see. No kit needed. 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