面向人机界面设计与分析的形式化IDE评估：以CIRCUS和PVSio-web为例
人机交互
2017-01-31 v1 软件工程
摘要
关键人机界面存在于许多系统中，包括航空电子系统和医疗设备。使用错误在这些系统中令人关切，涉及硬件面板和输入设备，以及驱动界面的软件。保证安全的可用性，就按钮、旋钮和显示器而言，现已成为系统整体安全的关键要素。研究界已开发基于形式化方法技术的新型集成开发环境（IDE）以支持高可信人机界面的设计与分析。迄今为止，很少有关注这类特定形式化 IDE 比较的工作。本文比较并评估了两个最先进的工具包：CIRCUS，一个基于 Petri 网扩展的模型化开发与分析工具；以及 PVSio-web，一个基于 PVS 定理证明系统的原型工具包。
引用
@article{arxiv.1701.08465,
title = {Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web},
author = {Camille Fayollas and Célia Martinie and Philippe Palanque and Paolo Masci and Michael D. Harrison and José C. Campos and Saulo Rodrigues e Silva},
journal= {arXiv preprint arXiv:1701.08465},
year = {2017}
}
备注
In Proceedings F-IDE 2016, arXiv:1701.07925