关于可靠实时系统动态重配置的建模与分析
软件工程
2010-09-20 v1
摘要
本文论证了为可靠实时系统的动态重配置的建模与分析提供一种形式化方法的必要性。我们提出了该形式化方法必须满足的需求，并利用这些需求评估了已有的形式化方法以及我们正在开发的两种进程代数，即Webpi和CCSdp。通过一个简单的案例研究来说明这两种形式化方法的建模能力。本文展示了Webpi和CCSdp在建模自适应且可靠的实时系统方面迈出了重要一步。
引用
@article{arxiv.1009.3462,
title = {On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems},
author = {Manuel Mazzara and Anirban Bhattacharyya},
journal= {arXiv preprint arXiv:1009.3462},
year = {2010}
}
备注
Presented and published at DEPEND 2010