第4回システムアシュランス研究会

Post date: Nov 12, 2015 4:33:33 AM

Dr. Ewen Denney (NASA Ames) をお迎えして、下記のご講演をいただきます。

前もっての参加お申し込みなどは必要ありません。

皆様のご来聴をお待ちしております。

日時：2015年11月18日(水) 12:40 - 13:30

場所：神奈川大学湘南平塚キャンパス２号館２０２室

Title: The Role of Argumentation and Formalization in Safety Cases

Abstract:

Central to the concept of safety case in many safety-critical domains

is a notion of structured argument. However, in both civil aviation

and when regulating civil operations with unmanned aircraft, there is

a distinct preference for using normative regulations and

performance-based standards. When safety cases are used, little to no

importance is given to argumentation, at least in the form of

graphical argument structures. Despite this, structured arguments

remain popular in the research community.

Moreover, arguments can sometimes be formalized and there are times

when this is worth doing, at least for part of the argument. Equally,

however, there are times when an argument is best left informal. In

practice, however, safety cases remain, largely, as informal

artifacts. Additionally, creating, evolving and evaluating safety

cases and their underlying arguments, continues to be a

manually-driven process, with the available set of tools providing

limited support for automation.

In this talk we explore various notions of safety case, and discuss

the merits of argumentation and formalization. We illustrate this

with examples drawn from our work at NASA on developing safety cases

for unmanned aircraft systems.