Along with new NPP designs and modernization projects of ageing NPPs there is an ongoing transition from analogue to digital technology in I&C systems. Programmable digital logic controllers enable more complicated control tasks and, thus, exhaustive verification of such systems by traditional methods is a difficult task. This difficulty is emphasized in cases where digitally implemented systems are combined with old analogue systems. Model checking is a computer-aided method developed for formal verification of correct functioning of a system design by examining all possible behaviors of a model of the system. This paper examines the use of model checking for the verification of a changeover switching unit for a busbar and also summari...
Instrumentation and control (I&C) systems play a crucial role in the operation of nuclear power ...
Digital instrumentation and control (I&C) systems are increasingly being used for implementing s...
Model checking has been successfully used for detailed formal verification of instrumentation and co...
Along with new NPP designs and modernization projects of ageing NPPs there is an ongoing transition ...
Verification of digital instrumentation and control (I&C) systems is challenging, because progra...
In nuclear power plants, novel digitalized I&C systems have brought out new needs for safety eva...
Model checking is a formal method for verifying hardware and software designs. A software tool calle...
Model checking is a powerful, formal, computer-assisted verification method that can be used to prov...
In safety critical processes, especially in nuclear power plants, the new digitalized automation (I&...
Instrumentation and control (I&C) systems play a vital role in the operation of safety critical ...
Instrumentation and control (I&C) systems play a crucial role in the operation of nuclear power ...
Verification of safety critical digital instrumentation and control (I&C) systems is challenging...
Digital instrumentation and control (I&C) systems are challenging to verify. They enable complic...
Instrumentation and control (I&C) systems play a vital role in the operation of safety-critical ...
Digital instrumentation and control (I&C) systems containing programmable logic controllers are ...
Instrumentation and control (I&C) systems play a crucial role in the operation of nuclear power ...
Digital instrumentation and control (I&C) systems are increasingly being used for implementing s...
Model checking has been successfully used for detailed formal verification of instrumentation and co...
Along with new NPP designs and modernization projects of ageing NPPs there is an ongoing transition ...
Verification of digital instrumentation and control (I&C) systems is challenging, because progra...
In nuclear power plants, novel digitalized I&C systems have brought out new needs for safety eva...
Model checking is a formal method for verifying hardware and software designs. A software tool calle...
Model checking is a powerful, formal, computer-assisted verification method that can be used to prov...
In safety critical processes, especially in nuclear power plants, the new digitalized automation (I&...
Instrumentation and control (I&C) systems play a vital role in the operation of safety critical ...
Instrumentation and control (I&C) systems play a crucial role in the operation of nuclear power ...
Verification of safety critical digital instrumentation and control (I&C) systems is challenging...
Digital instrumentation and control (I&C) systems are challenging to verify. They enable complic...
Instrumentation and control (I&C) systems play a vital role in the operation of safety-critical ...
Digital instrumentation and control (I&C) systems containing programmable logic controllers are ...
Instrumentation and control (I&C) systems play a crucial role in the operation of nuclear power ...
Digital instrumentation and control (I&C) systems are increasingly being used for implementing s...
Model checking has been successfully used for detailed formal verification of instrumentation and co...