Verified System Development with the AutoFocus Tool Chain
Verified System Development with the AutoFocus Tool Chain
复制标题
使用 AutoFocus 工具链验证系统开发
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
D. Trachtenherz
中科院分区：
文献类型：
--
作者：
M. Spichkova;F. Hölzl;D. Trachtenherz
这项工作介绍了一种基于模型的开发方法1，用于验证软件系统以及对其的工具支持：应用的自动对焦3工具链及其基本原理，强调了正在开发的系统的验证以及我们用于提高检查机制的验证自动发电机实现的正确性的信心水平。
This work presents a model-based development methodology1 for verified software systems as well as a tool support for it: an applied AUTOFOCUS 3 tool chain and its basic principles emphasizing the verification of the system under development as well as the check mechanisms we used to raise the level of confidence in the correctness of the implementation of the automatic generators.