NASA Logo, National Aeronautics and Space Administration


ASSURE 2018 Program

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

08:00 - 09:00   Registration

09:00 - 11:00   Session 1. Welcome, Introduction, Keynote and Confidence Assessment

09:00 - 09:05   Welcome and Introduction
ASSURE 2018 Organizers
09:05 - 10:00   Keynote Talk. Assurance Cases: Mindsets, Methodologies and
Convergence

Robin Bloomfield (Show Bio)
10:00 - 10:30   Research on the Classification of the Relationships Among the Same
Layer Elements in Assurance Case Structure for Evaluation

B. Xu, M. Lu, T. Gu, and D. Zhang

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

11:00 - 12:30   Session 2. Patterns and Processes

11:00 - 11:30   The Assurance Recipe: Facilitating Assurance Patterns
J. Firestone and M. Cohen
11:30 - 12:00   Incorporating Attacks Modeling into Safety Process
A. Surkovic, D. Hanic, E. Lisova, A. Causevic, K. Lundqvist, D. Wenslandt,
and C. Falk
12:00 - 12:30   Assurance Case Considerations for Interoperable Medical Systems
Y. Zhang, B. Larson, and J. Hatcliff

12:30 - 13:30   Lunch Break

13:30 - 15:30   Session 3. Tools and Automation

13:30 - 14:00   Two Decades of Assurance Case Tools: A Survey
M. Maksimov, N. Fung, S. Kokaly, and M. Chechik
14:00 - 14:30   MMINT–A: A Tool for Automated Change Impact Assessment
on Assurance Cases

N. Fung, S. Kokaly, A. Di Sandro, R. Salay, and M. Chechik
14:30 - 15:00   D–Case Steps: New Steps for Writing Assurance Cases
Y. Onuma, T. Takai, T. Koshiyama, and Y. Matsuno
15:00 - 15:30   Continuous Argument Engineering: Tackling Uncertainty in Machine
Learning based Systems

F. Ishikawa, and Y. Matsuno

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

16:00 - 17:20   Session 4. Panel Session. What are Assurance Case Tools For?

17:20 - 17:30   ASSURE 2018 Conclusion and Wrap-Up




First Gov logo
NASA Logo - nasa.gov