Assurance Evidence of Continuously Evolving Real-Time Systems (ASERT) Workshop 2024

November 15, 2024 • Special Report

By

Dionisio de Niz, Bjorn Andersson, Mark H. Klein, Hyoseung Kim (University of California, Riverside), John Lehoczky (Carnegie Mellon University), George Romanski (Federal Aviation Administration), Jonathan Preston (Lockheed Martin Corporation), Daniel Shapiro (Institute of Defense Analysis), Floyd Fazi (Lockheed Martin Corporation), and Ronald Koontz (Boeing Company)

This report summarizes the analysis of the Taiwanese flight CI202 incident from 2020 as well as ideas for future work for ASERT presented at its 2024 workshop.

Publisher

ASERT Workgroup

Topic or Tag

Assurance Cases

Abstract

The second Assurance Evidence for Continuously Evolving Real-Time Systems (ASERT) workshop was held on July 30 to 31, 2024, in Arlington VA. It brought together the members of the ASERT workgroup and important keynote speakers from the FAA, DOT&E, and DTE&A.

In the second workshop we reported on experiment zero, where we analyzed the flight incident of the flight CI202 in Taiwan in 2020. In addition, we discussed with our keynote speakers the challenges faced by both the test and evaluation in the development and the operation phases that this workgroup aims to address.

The workshop also discussed the next steps in the work of the workgroup. In particular, the objectives of the road ahead both in the short term for the next experiment and more generally for the development of the ASERT roadmap.

In this document we summarize the discussions and feedback for the experiment zero presentation and ideas for the future work that occurred during the workshop.

Software Engineering Institute