| 基于SysML的复杂机电系统设计模型形式化扩展与验证 |
| |
| 引用本文： | 曹悦,刘玉生,赵建军,叶晓平,周书华.基于SysML的复杂机电系统设计模型形式化扩展与验证[J].计算机辅助设计与图形学学报,2019,31(12). |
| |
| 作者姓名： | 曹悦 刘玉生 赵建军 叶晓平 周书华 |
| |
| 作者单位： | 浙江大学CAD&CG国家重点实验室 杭州 310058;华中科技大学机械工程学院 武汉 430074;丽水学院工学院 丽水 324000;浙江经济职业技术学院汽车技术学院 杭州 310018 |
| |
| 基金项目： | 国家重点研发计划;国家自然科学基金;国家自然科学基金;国家自然科学基金;浙江省自然科学基金 |
| |
| 摘 要： | 形式化系统验证是保证系统设计正确性的一种重要手段.如何针对复杂机电系统物理与软件相融合的特征,对系统设计的动态特征进行验证,是系统验证研究领域亟待解决的问题.针对这一问题,对系统工程标准建模语言SysML进行扩展,提出了一套形式化系统模型验证方法.首先,以计算树逻辑和基于流的功能表示为形式化基础,形成基于SysML的系统功能建模方法;然后,以混合自动机为基础,建立基于SysML的系统行为建模方法;最后,针对物理与软件子系统的不同动态特征,借助NuSMV模型校验器,以层次化方式实现系统模型的自动验证.以移动机器人系统为例,展示了复杂机电系统设计模型的自动验证过程.
|
| 关 键 词： | 机电一体化系统 基于模型的系统工程 系统设计 系统验证 模型校验 |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
