Model checking reveals hidden design errors

 

Customers / partners: Evaluation of nuclear power plant I&C systems (STUK)
Verification of nuclear automation (Fortum)
SAFIR2014 research programme on nuclear safety (STUK,
TVO, Fortum, Fennovoima, Aalto University)

 CHALLENGE

System verification by testing and simulation covers only a limited number of system behaviours.

 SOLUTION

Model checking, a computer aided verification method, covers all possible behaviours of the system model. VTT has  successfully applied the method e.g. for the verification of critical nuclear automation systems and factory automation systems.

 BENEFIT
  • Designers detect design errors in early phase.
  • Revelation of design errors that could have gone undiscovered with only traditional methods.
  • Fast and inexpensive way to try different scenarios with "what-if" analyses.
CUSTOMER SERVICE
Emailinfo@vtt.fi
Tel.+358 20 722 7070
Opening hours Mon - Fri 9:00 - 11:00 and 12:00 - 15:00, UTC +2 time zone

CONTACT US

P.O. Box 1000, FI-02044 VTT, Finland
Tel. exchange +358 20 722 111
Opening hours Mon - Fri 8:00 - 16:30,
UTC +2 time zone

CUSTOMER SERVICE

info@vtt.fi
Tel. +358 20 722 7070
Opening hours Mon - Fri 9:00 - 11:00 and 12:00 - 15:00,
UTC +2 time zone