Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems

摘要

Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as causal event analysis are insufficient in light of a growing trend of accide