基于可靠性的海洋机器人软件建模方法及仿真

本书的主要内容是首先通过本体将UML模型和Petri网模型相结合，提出了一种海洋机器人运动控制系统软件体系结构的描述模型，然后利用该模型进行控制系统软件的容错设计，并在此模型的基础上进行控制系统的软件可靠性分析和评估，最后搭建仿真平台针对分析评价结果对海洋机器人控制系统进行仿真试验，研究分为理论研究以及工程应用。