NASA Logo, National Aeronautics and Space Administration


ASSURE 2017 Program

September 12, 2017, from 08:00 - 17:30

08:00 - 09:00   Registration

09:00 - 11:00   Session 1. Welcome, Introduction, Keynote and Assurance Case
                        Frameworks

09:00 - 09:05   Welcome and Introduction
ASSURE 2017 Organizers
09:05 - 10:00   Keynote Talk: Making the Case for Safety of Machine Learning in Highly
Automated Driving
(Show Abstract)
Simon Burton (with Lydia Gauerhof and Christian Heinzemann) (Show Bio)
10:00 - 10:30   A Thought Experiment on Evolution of Assurance Cases - from a Logical
Aspect

Y. Kinoshita and S. Kinoshita

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

11:00 - 12:30   Session 2. Assurance Case Tool Support

11:00 - 11:30   Uniform Model Interface for Assurance Case Integration with System Models
A. Wardziński and P. Jones
11:30 - 12:00   ExplicitCase: Integrated Model-based Development of System and Safety
Cases

C. Cârlan, S. Barner, A. Diewald, A. Tsalidis and S. Voss
12:00 - 12:30   D-Case Communicator: A Web-Based GSN Editor for Multiple Stakeholders
Y. Matsuno

12:30 - 13:30   Lunch Break

13:30 - 15:30   Session 3. Assurance Cases for Security

13:30 - 14:00   Reconciling Systems-Theoretic and Component-Centric Methods for Safety
and Security Co-Analysis

W. Temple, Y. Wu, B. Chen and Z. Kalbarczyk
14:00 - 14:30   Towards combined safety and security constraints analysis
D. Pereira, C. Hirata, R. Pagliares and S. Nadjm-Tehrani
14:30 - 15:00   Attack Modeling for System Security Analysis and Assurance Case
A. Altawairqi and M. Maarek
15:00 - 15:30   Using an Assurance Case Framework to Develop Security Strategy and
Policies

R. Bloomfield, P. Bishop, E. Butler and K. Netkachova

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

16:00 - 17:25   Session 4. Guided Discussion

17:25 - 17:30   ASSURE 2017 Conclusion and Wrap-Up




First Gov logo
NASA Logo - nasa.gov