There has been considerable development in the domain of dependability engineering and
analysis in recent decades. The quality guidelines related to dependability attributes such as …

The main coolant system (MCS) plays a vital role in the stability and reliability of a nuclear
power plant. However, human errors and natural disasters may cause some reactor coolant …

The all-electric ship concept is becoming a standard for ships with large power
requirements. At present, the design of the onboard power system [ie, the integrated power …

The design of safety-critical cyber-physical systems requires a rigorous check of their
operation logic, as well as an analysis of their overall instrumentation and control (I&C) …

This paper focuses on the challenges relating to the overall safety instrumentation and
control (I&C) architectural design and more specifically the modelling and assessment of …

For over a decade, model checking has been successfully used to formally verify the
instrumentation and control (I&C) logic design in Finnish nuclear power plant projects. One …

The Safety integrity level (SIL) is a measure of the reliability and availability of a safety
instrumented system. SIL determination involves qualitative and quantitative analysis based …

This book provides professionals and students with practical guidance for the development
of safety-critical computer-based systems. It covers important aspects ranging from …

A spurious actuation of an instrumentation and control (I&C) system function is an illustrative
example of a" negative"'requirement being violated. Verifying such requirements with testing …

The current thesis presents methods and tools for user-friendly analysis of functional and
non-functional requirements failures of safety-critical systems, exemplified by nuclear power …