Is your automation system fail-safe? VTT Model checking reveals hard-to-detect I&C logic design issues that can potentially cause damage to production assets, loss of production and even danger to people and the environment. VTT has a decade of experience in the verification of nuclear industry systems. Our team is able to ensure the reliability and usability of safety or cost critical systems on various domains, e.g. railway, aviation, infrastructure or chemical industry.

Compared to common verification methods (such as testing or simulation), model checking takes all relevant executions of the system model into account. No test case planning is needed; instead, the method automatically identifies ‘counter-example’ scenarios in which the system will breach its requirements. Through this exhaustive analysis, hidden design errors can be uncovered in systems that have already undergone verification through conventional means.

For more, see http://vttresearch.com/modelchecking