During the last few years, continuous progresses in wireless communications have opened
new research fields in computer networking, aimed at extending data networks connectivity …

In software development, testers often focus on functional testing to validate implemented
programs against their specifications. In safety-critical software development, testers are …

A method for model-based test generation of safety-critical embedded applications using
Programmable Logic Controllers and implemented in a programming language such as …

Automated and effective testing for function block diagram (FBD) programs has become an
important issue, as FBD is increasingly used in implementing safety‐critical systems. This …

Abstract Context Function Block Diagram (FBD) is increasingly used in safety-critical
applications. Test coverage issues for FBDs are frequently raised by regulators and users …

An approach is introduced, which supports a testing technician in the identification of
possibly untested behavior of control software of fully integrated automated production …

Many nuclear instrumentation and control (I&C) systems are designed using a function block
diagram description of the system. Strict requirements pertain to the verification of these …

Programmable logic controller (PLC) is utilized extensively for automation of the
electromechanical process. The functionality of the modern PLC is equivalent to desktop …

Over the years, the probabilistic safety assessment (PSA) of digital reactor protection
systems (RPSs) has been a field of research because of the ambiguity over the mechanism …

Programmable Logic Controllers (PLCs) are widely used to implement safety-critical
systems and therefore software in PLCs requires thorough testing. Some software in PLCs is …