1. Defining required behaviour

Assurance objective: Define how the RAS must behave in order to be sufficiently safe.

Contextual description: The primary objective for safety assurance of any system is to demonstrate that the system’s behaviour is sufficiently safe throughout its life. The first stage of this is to understand, and to specify, what is considered to be sufficiently safe behaviour for the system. In order to define this appropriately for an RAS, there are a number of objectives that must be satisfied, as described below.

 

Next sections:

Contact us

Assuring Autonomy International Programme
assuring-autonomy@york.ac.uk
+44 (0)1904 325345
Department of Computer Science, Deramore Lane, University of York, York YO10 5GH

Contact us

Assuring Autonomy International Programme
assuring-autonomy@york.ac.uk
+44 (0)1904 325345
Department of Computer Science, Deramore Lane, University of York, York YO10 5GH