FASR: Automated Identification of Unsafe Control Actions in STPA

该论文提出了一种名为FASR（Formalizing and Automating STPA with Robustness）的自动化工具，旨在支持系统理论过程分析（STPA）中的不安全控制动作（UCA）识别。STPA是一种广泛应用于安全关

历史摘要 · 未重新核验 · arXiv cs.CR