Dr. Ewen Denney (NASA Ames) をお迎えして、下記のご講演をいただきます。
日時：2015年11月18日(水) 12:40 - 13:30
Title: The Role of Argumentation and Formalization in Safety Cases
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.