NASA Logo, National Aeronautics and Space Administration


ASSURE 2015 Program

September 22, 2015, from 08:00 - 18:00

08:00 - 09:00   Registration

09:00 - 11:00   Session 1. Keynote and Foundations

09:00 - 09:10   Welcome and Introduction
ASSURE 2015 Organizers
09:10 - 10:00   Keynote Talk: Do We Really Want To Start From Here? (Show Abstract)
Pippa Moore, UK Civil Aviation Authority
10:00 - 10:30   Informing Assurance Case Review through a Formal Interpretation of
GSN Core Logic

Victor Bandur, and John McDermid
10:30 - 11:00   Representing Confidence in Assurance Case Evidence
Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and Insup Lee

11:00 - 11:30   Morning Coffee/Tea Break

11:30 - 13:00   Session 2. Methodology and Patterns

11:30 - 12:00   Safe and Sec Case Patterns
Kenji Taguchi, Daisuke Souma, and Hideaki Nishihara
12:00 - 12:30   A Comprehensive Safety Lifecycle
John Knight, Jonathan Rowanhill, Anthony Aiello, and Kimberly Wasson
12:30 - 13:00   An Approach to Assure Dependability Through ArchiMate
Shuichiro Yamamoto

13:00 - 14:00   Lunch Break

14:00 - 15:30   Session 3. Tool Support and Tool Demonstrations

14:00 - 14:30   Tool Support for Assurance Case Building Blocks: Providing a
Helping Hand with CAE

Kateryna Netkachova, Oleksandr Netkachov, and Robin Bloomfield
14:30 - 15:00   Safety.Lab: Model-based Domain Specific Tooling for Safety Argumentation
Daniel Ratiu, Marc Zeller, and Lennart Kilian
15:00 - 15:30   A Safety Condition Monitoring System
John Knight, Jonathan Rowanhill, and Jian Xiang

15:30 - 16:00   Afternoon Coffee/Tea Break

16:00 - 16:45   Session 4. Applications and Project Overviews

16:00 - 16:30   Fault Type Refinement for Assurance of Families of Platform-Based
Systems

Sam Procter, John Hatcliff, Sandy Weininger, and Anura Fernando
16:30 - 16:37   Safety and Security Assurance in Railway Standards
Kenji Taguchi
16:37 - 16:45   Towards Assurance Arguments of Disaster Management Plans
Shuji Kinoshita

16:45 - 18:00   Session 5. Panel and Conclusion

16:45 - 18:00   PANEL: The Role of Argumentation in Certification and Safety Risk
Management

John Birch, JaguarLandRover / AVL;
Robin Bloomfield, Adelard and City University;
Chris Johnson, University of Glasgow;
Yoshiki Kinoshita, Kanagawa University; and
Pippa Moore, UK CAA.
18:00   Conclusion and Wrap-Up
ASSURE 2015 Organizers



First Gov logo
NASA Logo - nasa.gov