使用Alloy对航空电子架构进行形式化安全与安保评估
软件工程
2014-05-07 v1
摘要
我们提出了一种基于Alloy的方法，用于对系统架构进行形式化建模和评估，以满足安全与安保需求。我们通过考虑一个由泰雷兹公司开发的、为飞机提供引导的航空电子系统作为案例研究来说明该方法。我们展示了如何在Alloy中定义航空电子架构的元模型，重点关注故障传播。然后，我们在Alloy中表达了该案例研究的具体架构。最后，我们表达并检查了关于架构对故障和攻击鲁棒性的属性。
引用
@article{arxiv.1405.1113,
title = {Formal Safety and Security Assessment of an Avionic Architecture with Alloy},
author = {Julien Brunel and Laurent Rioux and Stéphane Paul and Anthony Faucogney and Frédérique Vallée},
journal= {arXiv preprint arXiv:1405.1113},
year = {2014}
}
备注
In Proceedings ESSS 2014, arXiv:1405.0554