UML状态机相关论文
嵌入式系统是一种以微控制器为核心的专用计算机系统，已经被广泛应用于工业控制、电子产品、通信等领域。随着Internet和无线通信技......
针对大型民用飞机虚拟维修仿真中部件繁多、维修行为关系复杂、模型庞大等问题,提出可动态重组子网的Petri网飞机虚拟维修过程建模......
文章研究在高可信软件工程中集成形式化方法.以软件设计的UML状态机模型为起点,将其转换为B形式化模型,然后在B工具环境中遵循B方......
针对目前中低端嵌入式产品的需要,设计一种集图标、汉字混合显示的菜单组件,具有可扩展性、可移植性的特点;支持二值图像和GB2312......
嵌入式系统中运用UML状态机和框架复用技术，在提高嵌入式系统开发效率、保证系统可靠性及系统可维护等方面有积极意义。相对于传统......
针对目前飞机维修场景众多的特点,提出一种适用于飞机协同维修的交互状态机模型。运用UML状态机建立维修人员、操作对象的状态转移......
提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案：以软件的UML状态机模型为起点，将其转换为B抽象模型并在B工具中验证该模......
针对装备拆装过程存在的拆装对象动作繁多,缺乏对各种零部件拆装动作的统一,不便于仿真实现的问题,提出维修拆装动作类对拆装运动......
系统建模是系统开发经常用到的分析设计方法,如何保证模型的正确性一直是人们关注的话题。为了验证系统设计的模型正确性,进而提高......
将UML状态机以及框架技术应用到嵌入式系统当中,不仅可以提高系统的开发效率,同时还可以确保系统运行的可靠性。与传统的有限状态......
许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述......
