NASA Logo, National Aeronautics and Space Administration


ASSURE 2014 Program

November 5, 2014, from 09:00 - 18:00.

09:00 - 10:00.   Welcome and Keynote

09:00 - 09:10.   Introduction
09:10 - 10:00.   Keynote: Challenges and Trends for Automotive Safety Assurance
David Higham, Delphi Diesel Systems, UK

10:00 - 10:30.   Session 1. Principles and Techniques

10:00 - 10:30.   The Definition and Assessment of a Safety Argument.
Valentin Cassano and Tom Maibaum

10:30 - 11:00.   Morning Coffee Break

10:00 - 10:30.   Session 1. Principles and Techniques (Cont'd.)

11:00 - 11:30.   Building Blocks for Assurance Cases.
Robin Bloomfield and Kateryna Netkachova
11:30 - 12:00.   Linking Traceability with GSN.
Kenji Taguchi, Daisuke Souma, Hideaki Nishihara, and Toshinori Takai
12:00 - 12:30.   Using the Information from an Issue Tracking System for Constructing
Assurance Cases.
Khana Chindamaikul, Toshinori Takai, and Hajimu Iida

12:30 - 14:00.   Lunch Break

14:00 - 15:30.   Session 2. Processes and Tools

14:00 - 14:30.   A Model-driven Safety Certification Method for Process Compliance.
Barbara Gallina
14:30 - 15:00.   A Technique for Demonstrating Safety and Correctness of Program
Translators: Strategy and Case Study.

Eui-Sub Kim, Junbeom Yoo, Jong Gyun Choi, Young Jun Lee,
and Jang-Soo Lee
15:00 - 15:30.   SCT: A Safety Case Toolkit.
John Knight, Anthony Aiello, Ashlie Hocking, and Jonathan Rowanhill

15:30 - 16:00.   Afternoon Coffee Break

16:00 - 17:00.   Session 3. Applications

16:00 - 16:30.   A Security Argument Pattern for Medical Device Assurance Cases.
Anita Finnegan and Fergal McCaffery
16:30 - 17:00.   Arguing Software Compliance With ISO 26262.
Ben Hocking, John Knight, Anthony Aiello, and Shin’ichi Shiraishi.

17:00 - 17:50.   Session 4. Panel Discussion

17:00 - 17:50.   The Role of Formalism and Automation in Assurance Case Development
and Review.

Panelists: Dave Higham, John Knight, Lorenzo Strigini, and Kenji Taguchi.

17:50 - 18:00.   Conclusion and Wrap-Up




First Gov logo
NASA Logo - nasa.gov