系统之系统的契约与行为模式：欧盟 IP 项目 DANSE 的方法
软件工程
2013-11-15 v1
摘要
本文介绍了 DANSE 项目第一年的部分成果，DANSE 是首批致力于系统之系统（SoS）的欧盟 IP 项目之一。具体而言，我们提供了一个工具链，允许在高层指定 SoS 及其需求，并使用来自形式验证领域的强大工具集对其进行分析。在高层，我们使用 UPDM（英国陆军提供的系统模型）以及一种基于行为模式的新型契约。在底层，我们依赖强大的仿真工具集，并结合统计模型检查领域的最新进展。该方法已应用于 EADS Innovation Works 开发的一个案例研究。
引用
@article{arxiv.1311.3631,
title = {Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach},
author = {Alexandre Arnold and Benoît Boyer and Axel Legay},
journal= {arXiv preprint arXiv:1311.3631},
year = {2013}
}
备注
In Proceedings AiSoS 2013, arXiv:1311.3195