集体自适应系统定量评估形式化方法研讨会论文集
计算机科学中的逻辑
2016-07-08 v1 性能
软件工程
摘要
集体自适应系统（CAS）由大量空间分布的异构实体组成，具有分散控制和不同程度的复杂自主行为，即使在协作达成共同目标时也可能竞争共享资源。在将其投入运行之前，进行彻底的定量建模、分析和设计验证以调查其行为的各个方面至关重要。这需要形式化方法和应用数学的结合，并且能够扩展到大规模 CAS。FORECAST 的主要目标是提高软件工程和形式化方法社区对 CAS 的特殊性及其带来的设计和控制问题的认识。
引用
@article{arxiv.1607.02001,
title = {Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems},
author = {Maurice H. ter Beek and Michele Loreti},
journal= {arXiv preprint arXiv:1607.02001},
year = {2016}
}