通过自动MISRA C代码生成扩展用户界面原型工具
软件工程
2017-01-31 v1 计算机科学中的逻辑
系统与控制
摘要
我们关注涉及用户与设备交互的系统，特别是安全关键系统，例如医疗设备的用户界面。因此我们为以 PVSio-web 原型工具包表达的形式化模型开发了 MISRA C 代码生成器。PVSio-web 允许开发者快速生成真实的交互式原型，用于验证人机界面中的可用性与安全性需求。原型的视觉外观基于物理设备的图片，而原型的行为由可执行形式化模型定义。我们的方法将 PVSio-web 原型工具转变为基于模型的工程工具包，该工具包从形式化验证的用户界面设计模型出发，将生成可编译并链接到最终产品中的 MISRA C 代码。针对实际医疗设备的数据录入系统，给出了我们工具的初步验证。
引用
@article{arxiv.1701.08468,
title = {Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation},
author = {Gioacchino Mauro and Harold Thimbleby and Andrea Domenici and Cinzia Bernardeschi},
journal= {arXiv preprint arXiv:1701.08468},
year = {2017}
}
备注
In Proceedings F-IDE 2016, arXiv:1701.07925