基于STPA的多级运行时监控用于及时危险检测
软件工程
2022-06-23 v3 系统与控制
系统与控制
摘要
运行时验证或运行时监控为安全关键信息物理系统提供增强设计保证措施并确保操作安全与安保的能力。信息物理系统存在交互故障、攻击面和攻击向量，导致未预期的危险和损失场景。这些交互故障对运行时验证在监控规范和监控布置以实现危险及时检测方面提出了挑战。我们开发了一个良构的工作流模型，将系统理论过程分析（通常称为STPA）的危险因果信息连接到低级运行时监控，以在操作阶段检测危险。具体而言，我们的模型遵循DepDevOps范式，为运行时监控提供关于监控什么、在何处监控以及监控上下文的证据和洞察。我们通过在自主紧急制动系统模型上注入危险来演示和评估多级监控器的价值。
引用
@article{arxiv.2204.08999,
title = {STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection},
author = {Smitha Gautham and Georgios Bakirtzis and Alexander Will and Athira V. Jayakumar and Carl R. Elks},
journal= {arXiv preprint arXiv:2204.08999},
year = {2022}
}