There is an ongoing change in the industry in which old analogue instrumentation and
control (I&C) systems are replaced with new digital ones. New digital systems enable more …

Instrumentation and control (I&C) systems play a crucial role in the operation of nuclear
power plants and other safety critical processes. An important change that will be going on …

Defects in safety-critical software systems can cause large economical and other losses.
Often these systems are far too complex to be tested extensively. In this work a formal …

Instrumentation and control (I&C) systems play a crucial role in the operation of nuclear
power plants (NPP) and other safety critical processes. An important change is the …

In safety critical processes, especially in nuclear power plants, the new digitalized
automation (I&C) systems have brought out new needs for safety evaluation. The …

Verification of safety critical digital instrumentation and control (I&C) systems is challenging
because of more and more complicated control functions enabled by programmable logic …

Thorough verification is a part of the design process of instrumentation and control systems if
they must comply with crucial safety requirements. Model checking can be applied to the …

This talk will report on the use of an approach, called Instrumentation Based Verification, for
checking the correctness of models of control software given in Simulink® and Stateflow®. In …

Using formal methods for quality assurance is recommended in many standards for safety
critical applications. In most industrial contexts, model checking is the only viable option for …

Instrumentation and control (I&C) systems play a vital role in the operation of safety critical
processes. Programmable digital logic controllers enable sophisticated control tasks which …