Towards the certification of non-deterministic control systems for safety-critical applications: analysing aviation analogies for possible certification strategies

Abstract

Current certification criteria for safety-critical systems exclude non-deterministic control systems. This paper investigates the feasibility of using human-like monitoring strategies to achieve safe non-deterministic control using multiple independent controllers. An architecture is presented that could form the basis for a stochastic description based on knowledge representation, so that the behaviour of a non-deterministic control system can be constrained within safe boundaries.