UML时间顺序图的实时系统建模及验证

来源 :中国计量学院学报 | 被引量 : 0次 | 上传用户:aiwan88
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图实现对实时系统的建模及形式化验证,并给出实例.
其他文献
2017年是中国铸造业转型升级的关键一年,作为铸造行业发展的风向标,"第十五届中国国际铸造博览会"和"第十二届中国国际压铸工业展览会"将在引导中国铸造业转型升级方面发挥重要作
研究混纺比对聚乳酸棉混纺纱成纱性能的影响。分析了聚乳酸纤维含量分别为20%、35%、50%、65%、80%的聚乳酸/棉混纺纱的条干CV值、强伸性能、毛羽值与混纺比之间的关系。并采
为落实国家相关产业政策,满足用户在新政策下对锅炉设备的更高要求,哈电集团哈尔滨锅炉厂有限责任公司召开了高效环保节能锅炉新技术交流会,邀请全国50余家电力公司、电力设计院
探讨棉与黄麻棉混纺纱交织物的拉伸性能、顶破强力、耐磨性能,并与棉与亚麻棉混纺纱交织物进行对比。选取了1种亚麻棉混纺纱、5种不同混纺比的黄麻棉混纺纱与棉纱交织成6种试
探讨亚麻Lyocell混纺转杯针织纱的生产工艺。通过对亚麻原料预处理、选择合理的原料混和工艺、前纺各工序优选工艺参数和采取必要的技术措施,并对分梳辊速度、纺杯直径与转速
介绍了高频信号注入法在永磁同步电机无传感器控制系统中的实现,采用矢量控制策略和电压空间矢量脉宽调制技术,构建了永磁同步电机无传感器控制系统的电流、转速双闭环控制模
本刊讯7月17日,上海电力公告称,近期,由公司投资建设的闵行发电厂燃气一蒸汽联合循环发电机组示范工程项目获得上海市发展和改革委员会核准批复。
分析PIRAY纤维机织物的导湿性、透湿性、透气性、折痕回复性、耐磨性及拉伸断裂强力,并进行综合性能评价。通过测试3种纯纺PIRAY纤维织物与6种其他组织规格相近的棉、涤纶及混
开发用于管理细纱车间生产的制造执行系统。通过对纺织企业细纱车间的生产管理特点的分析,结合MES的管理理念,对系统的体系结构、数据流程、主要功能模块进行了设计,并阐述了
我公司细纱空调室共有12套空调加湿器,在春、冬两季,细纱车间加湿主要使用15kW的离心泵对水池中的水加压,通过喷排加湿。这种方法不仅浪费水资源,而且电能浪费也较大。