N-version programming approach with implicit safety guarantee for complex dynamic system stabilization applications

Nadir Subasi,Ufuk Guner,Ilker Ustoglu

doi:10.1177/0020294019887473

Abstract

Safety-critical systems are widely used in many sectors to prevent fatal accidents and prevent loss of life, damage of property, or deterioration of the environment. Implementation of software safety standards as part of the development of safety-critical software is generally considered an essential element of any safety program. Therefore, it has become more critical to produce highly reliable software to meet the safety requirements established by functional safety standards, such as IEC 61508, ISO 26262, and EN 50128. IEC 61508 supports well-known safety mechanisms such as design diversity like N-version (multi-version) programming. N-version (multi-version) programming is a method where multiple functionally equivalent programs are independently developed from the same software specifications. N-version (multi-version) programming is particularly an effective approach to increase the quality of software in a safety-critical system. In this paper, one of the well-known and widely used algorithms in the field of N-version (multi-version) programming, the majority voting algorithm, has been modified with an online stability checker where the decisions of the voter are judged against the stability of the underlying system. The plant where all the theoretical results are implemented is a tilt-rotor system with the proposed N-version (multi-version) programming–based controller. The experimental results show that the modified majority voter-based N-version (multi-version) programming controller provides more reliable control of the plant.

Highlights

Design of safety-critical systems is of particular importance in processes which might cause loss of life, injuries, or environmental damage
The performance of the proposed modified N-version (multi-version) programming (NVP)-MVbased proportional–integral– derivative (PID) controller has been assessed by simulations executed on a tilt-rotor system
NVP-majority voting (MV) is an effective approach to improve the reliability of a software and it requires an accurate decision of correct and failed versions

Summary

Introduction

Design of safety-critical systems is of particular importance in processes which might cause loss of life, injuries, or environmental damage. The NVP-MV structure is implemented on only roll and pitch controllers. This section will present a real-time controller design procedure for a tilt-rotor UAV based on a modified NVP-MV algorithm.

Results

Conclusion