MR4UM公司

MR4UM:一个为UML状态图添加容错的框架现代系统通常需要解决环境变化和/或新发现的故障带来的挑战。经济和实际问题决定了现有的模型和/或程序在存在故障时可以被重用。在本文中,我们提出了一个框架,即MR4UM,用于对以UML状态图建模的现有程序设计进行模型修正,以增加对新发现的故障的容忍度。特别是,MR4UM从在UML状态图中建模的程序设计开始,并自动将UML状态图中的设计模型转换为底层计算模型(UCM)中相应的程序动作。然后,MR4UM将模型修正技术应用于UCM中的程序,生成UCM中的容错程序。最后将UML-4um容错程序自动转换成一个容错程序。我们以两个案例来说明MR4UM的逐步程序:汽车系统的自适应巡航控制程序和飞机高度控制系统的高度切换程序。

这个软件也是同行评审按日记帐汤姆斯.