◆□◆GRACEメールマガジン2015/1/21 第43号◆□◆
————————–
GRACEメールマガジンは、GRACEセンターのセミナー、
イベント情報、研究資料や出版物などの
最新情報を適宜まとめて月1回程度電子メールで
お届けするものです。
————————–
==============================================================
◆◆第75回GRACEセミナー◆◆
==============================================================
====================================================================
今回のGRACEセミナーでは，ディペンダビリティーのための
保証ケース（assurance case/dependability case）に関する
先端研究について，アメリカNASAおよび
国内の代表的な研究者2名にご講演いただきます．
※今回のセミナーは英語で行われます。
◆◆第75回GRACEセミナー ◆◆
【日時】2015年1月30日（金）10:00-12:00
【会場】国立情報学研究所(NII) 20F講義室(2004,2005)
〒101-8430 東京都千代田区一ツ橋2-1-2
[http://www.nii.ac.jp/about/access/]
【参加費】無料
参加ご希望の方は，下記よりご登録をお願いいたします:
http://ws.formzu.net/fgen/S5188893
【お問い合わせ先】
石川冬樹(seminar-steering_AT_grace-center.jp)
_AT_を＠に書き換えてください。
—-
Name:
Ewen Denney (NASA Ames Research Center)
Title:
Towards Automation in Assurance Cases
Abstract:
Safety assurance cases have been in use for some time in the defense,
rail, and oil & gas sectors. Increasingly, they are being adopted for
safety assurance in other safety-critical domains, such as aviation,
automotive systems, and medical devices. Effectively, safety cases
reflect an evidence-driven, argument-based approach to safety
assurance, and have become a key element in safety regulation.
Although safety cases marshal heterogeneous evidence, of which a
significant portion can include formal engineering artifacts, safety
cases themselves remain, largely, informal. Furthermore, in the
current practice, their creation, evolution and evaluation continues
to be a manually-driven process, with the available set of tools
providing little to no support for automation.
We believe that (i) a more formal foundation for safety cases will
affirm their role as essential, first-class, safety engineering
artifacts, and (ii) given a formal basis, that much can be
intelligently automated.
In this talk, we present some of the issues involved in moving
towards a more formal, automated approach for safety case
development, and how some of these have been addressed in our toolset
for assurance case automation, AdvoCATE. We illustrate this with
several examples from the Unmanned Aircraft domain.
Name:
Yutaka Matsuno (The University of Electro-Communications)
Title:
A Design and Implementation of an Assurance Case Language
Abstract:
Assurance cases are documented bodies of evidence that provide valid and convincing arguments that a system is adequately dependable in a given application and environment. Assurance cases are widely required by regulation for safety-critical systems in the EU. There have been several graphical notation systems proposed for assurance cases. GSN (Goal Structuring Notation) and CAE (Claim, Argument, Evidence) are such two notation systems, and a standardization effort for these notation systems have been attempted in OMG (Object Management Group). However, these notation systems have not been defined in a formal way. This paper presents a formal definition of an assurance case language based on GSN and its pattern and module extensions. We take the framework of functional programming language as the basis of our study. The implementation has been done on an EclipseTM based GSN editor. We report case studies on previous work done with GSN and show the applicability of the assur!
ance case language.
Also, if there is time, I will introduce our assurance case activity called “D-Case project” in Japan (http://www.dcase.jp).
Keywords-Assurance Cases, GSN (Goal Structuring Notation), Functional Programming Languages
【主催】国立情報学研究所 ＧＲＡＣＥセンター
【協賛】NPO法人トップエスイー教育センター
【問い合わせ】
国立情報学研究所 本位田真一 (E-mail: honiden _AT_ nii.ac.jp)
※ __AT__をアットマークで置き換えてください。
================================================================
