Deriving Safety Requirements for Autonomous Systems

R Alexander; N Herbert; T Kelly

Deriving Safety Requirements for Autonomous Systems

Computer Science

Research output: Contribution to conference › Paper › peer-review

Abstract

In any safety engineering effort, deriving safety requirements is a key activity. Doing this for
autonomous systems (AS) is challenging. However, several existing techniques can be pulled
together to create a reasonable approach The risk of interaction between implemented
requirements remains a concern, as does ambiguity about the appropriate boundary of the
AS system. We believe these issues can be addressed by the development of advanced
modelling and analysis techniques.

Original language	English
Publication status	Published - Jul 2009

Keywords

safety, certification, requirements, analysis

Access to Document

http://www-users.cs.york.ac.uk/~rda/seas_paper_2009.pdf

Cite this

@conference{42e70370683e40cc9db11e84661e5805,

title = "Deriving Safety Requirements for Autonomous Systems",

abstract = "In any safety engineering effort, deriving safety requirements is a key activity. Doing this forautonomous systems (AS) is challenging. However, several existing techniques can be pulledtogether to create a reasonable approach The risk of interaction between implementedrequirements remains a concern, as does ambiguity about the appropriate boundary of theAS system. We believe these issues can be addressed by the development of advancedmodelling and analysis techniques.",

keywords = "safety, certification, requirements, analysis",

author = "R Alexander and N Herbert and T Kelly",

year = "2009",

month = jul,

language = "English",

}

TY - CONF

T1 - Deriving Safety Requirements for Autonomous Systems

AU - Alexander, R

AU - Herbert, N

AU - Kelly, T

PY - 2009/7

Y1 - 2009/7

N2 - In any safety engineering effort, deriving safety requirements is a key activity. Doing this forautonomous systems (AS) is challenging. However, several existing techniques can be pulledtogether to create a reasonable approach The risk of interaction between implementedrequirements remains a concern, as does ambiguity about the appropriate boundary of theAS system. We believe these issues can be addressed by the development of advancedmodelling and analysis techniques.

AB - In any safety engineering effort, deriving safety requirements is a key activity. Doing this forautonomous systems (AS) is challenging. However, several existing techniques can be pulledtogether to create a reasonable approach The risk of interaction between implementedrequirements remains a concern, as does ambiguity about the appropriate boundary of theAS system. We believe these issues can be addressed by the development of advancedmodelling and analysis techniques.

KW - safety, certification, requirements, analysis

M3 - Paper

ER -