A conceptual safety supervisor definition and evaluation framework for autonomous systems
P Feth, D Schneider, R Adler - … 2017, Trento, Italy, September 13-15, 2017 …, 2017 - Springer
P Feth, D Schneider, R Adler
Computer Safety, Reliability, and Security: 36th International Conference …, 2017•SpringerThe verification and validation (V&V) of autonomous systems is a complex and difficult task,
especially when artificial intelligence is used to achieve autonomy. However, without proper
V&V, sufficient evidence to argue safety is not attainable. We propose in this work the use of
a Safety Supervisor (SSV) to circumvent this issue. However, the design of an adequate SSV
is a challenge in itself. To assist in this task, we present a conceptual framework and a
corresponding metamodel, which are motivated and justified by existing work in the field …
especially when artificial intelligence is used to achieve autonomy. However, without proper
V&V, sufficient evidence to argue safety is not attainable. We propose in this work the use of
a Safety Supervisor (SSV) to circumvent this issue. However, the design of an adequate SSV
is a challenge in itself. To assist in this task, we present a conceptual framework and a
corresponding metamodel, which are motivated and justified by existing work in the field …
Abstract
The verification and validation (V&V) of autonomous systems is a complex and difficult task, especially when artificial intelligence is used to achieve autonomy. However, without proper V&V, sufficient evidence to argue safety is not attainable. We propose in this work the use of a Safety Supervisor (SSV) to circumvent this issue. However, the design of an adequate SSV is a challenge in itself. To assist in this task, we present a conceptual framework and a corresponding metamodel, which are motivated and justified by existing work in the field. The conceptual framework supports the alignment of future research in the field of runtime safety monitoring. Our vision is for the different parts of the framework to be filled with exchangeable solutions so that a concrete SSV can be derived systematically and efficiently, and that new solutions can be embedded in it and get evaluated against existing approaches. To exemplify our vision, we present an SSV that is based on the ISO 22839 standard for forward collision mitigation.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果