期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于UML实时系统设计方法的分析与比较 被引量:6
1
作者 周治平 夏娟 +1 位作者 纪志成 林家俊 《计算机工程》 EI CAS CSCD 北大核心 2005年第13期99-101,共3页
总结了目前UML在实时系统设计中应用的现状,介绍了UML实时扩展的各种技术和方法,通过对实时系统可调度性、可预测性、安全性等实时性能的描述,比较了各种常用的技术和方法的优缺点,并对现有方法的局限性提出了UML实时扩展中尚待解决的... 总结了目前UML在实时系统设计中应用的现状,介绍了UML实时扩展的各种技术和方法,通过对实时系统可调度性、可预测性、安全性等实时性能的描述,比较了各种常用的技术和方法的优缺点,并对现有方法的局限性提出了UML实时扩展中尚待解决的问题及新的研究方向,对UML实时系统的应用设计提出了参考建议。 展开更多
关键词 uml 实时uml 实时扩展
下载PDF
基于实时UML的雷达软件设计 被引量:2
2
作者 李海 《现代雷达》 CSCD 北大核心 2006年第8期47-49,57,共4页
实时统一建模语言(UML)和面向对象的建模技术代表着雷达软件设计的一个发展方向。文中介绍了使用UML的用例图、状态图、顺序图等进行系统分析、设计、实现和测试,并讨论了如何选择UML工具与实时框架以及实时性分析等问题。
关键词 实时uml 用例图 状态图 顺序图
下载PDF
基于UML实时状态图的定量分析 被引量:6
3
作者 沙静 蒋昌俊 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第8期1957-1960,共4页
在实时系统的开发过程中,时间上的约束在系统早期的定量分析中起着非常重要的作用。UML作为一种图形化、面向对象的建模语言,其中的实时特性描述文件UML Profile for Schedulability,Performance and Time适用于对实时系统的刻画。在给... 在实时系统的开发过程中,时间上的约束在系统早期的定量分析中起着非常重要的作用。UML作为一种图形化、面向对象的建模语言,其中的实时特性描述文件UML Profile for Schedulability,Performance and Time适用于对实时系统的刻画。在给定系统的实时状态图基础上,用相对应的随机Petri网模型进行定量分析,得到实时系统最终的分析结果,对系统开发有重要的指导意义。 展开更多
关键词 定量分析 实时uml状态机 随机PETRI网 GSM模块
下载PDF
基于实时UML顺序图的物联网交互模型 被引量:4
4
作者 丛新宇 虞慧群 《计算机科学》 CSCD 北大核心 2014年第11期79-87,共9页
物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进... 物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。 展开更多
关键词 物联网 交互模型 实时uml顺序图 时间自动机 验证
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部