用于构建高可靠工业自动化系统的静态形式化方法综述
软件工程
2021-08-13 v1
摘要
工业自动化系统（IAS）需要高度可靠；它们不仅应按预期运行，还应以可靠、安全且安全（secure）的方式运行。形式化方法是数学技术，可极大助力开发可靠系统，并可用于系统开发生命周期（SDLC）的所有阶段，包括需求工程、系统设计与实现、验证与确认（测试）、维护乃至文档编制。本前沿综述报告了现有的用于创建更可靠IAS的形式化方法，聚焦于在系统完全实现前使用的静态形式化方法。我们依据SDLC各阶段对 surveyed 工作分类，从而识别各阶段的研究空白与有前景的未来方向。
引用
@article{arxiv.2108.05556,
title = {A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems},
author = {Roopak Sinha and Sandeep Patil and Luis Gomes and Valeriy Vyatkin},
journal= {arXiv preprint arXiv:2108.05556},
year = {2021}
}
备注
Journal paper, 12 pages, 3 tables, 1 figure