【摘 要】
：
在实时系统的开发过程中,时间上的约束在系统早期的定量分析中起着非常重要的作用.UML作为一种图形化、面向对象的建模语言,其中的实时特性描述文件UML Profile for Schedula
【机 构】
：
同济大学电信学院,上海,201804
论文部分内容阅读
在实时系统的开发过程中,时间上的约束在系统早期的定量分析中起着非常重要的作用.UML作为一种图形化、面向对象的建模语言,其中的实时特性描述文件UML Profile for Schedulability, Performance and Time适用于对实时系统的刻画.在给定系统的实时状态图基础上,用相对应的随机Petri网模型进行定量分析,得到实时系统最终的分析结果,对系统开发有重要的指导意义.
其他文献
建筑室内空间不仅涵盖实实在在的物质空间,还涵盖人为心理感觉空间,既由空间客观物理结构与材料构成,也由空间构造物的主观情感意义构成.在这里就基于对建筑室内空间设计内涵
共同共有是指2个或2个以上的人基于共同关系,共同享有一物的所有权。目前,共同共有主要有以下几种情况:①夫妻共有财产,根据我国《婚姻法》的有关规定,夫妻在婚姻关系存续期
对220kV鹿泉变电站220kVGW16-252隔离开关发生普遍分/合闸不到位故障的原因进行分析,设备设计结构不合理和材质选择不当是造成故障的两大原因,在处理故障的同时对隔离开关动
当前来看,高层建筑投入使用的年份已经比较久了,旧有的建筑结构已经无法满足使用需求,为了能够更好地让其发挥出使用功能来,我们对某18层写字楼提出了增层方案.在增层设计中
在建设项目工程当中,审计工作是贯穿其整个工程项目的重要部分,其是关系到整个建设工程项目能否顺利开展的关键环节,所以必须要把握工程立项环节、设计环节、施工环节以及竣
2012年5月12日至8月12日在韩国举办的丽水世界博览会，以监色的海洋为主题，共有106个国家和9个国际组织参展，吸引了来自界各地参观者的目光。
二十一世纪最伟大的科技技术革新是虚拟现实技术,虚拟现实技术美国等发达国家最先开始研究,我国起步发展较晚,但是也在紧追发达国家的脚步.虚拟现实技术最开始是美国用于军队
本文分析了传统访问控制管理模型的优缺点,提出了基于RBAC模型的统一授权管理系统的设计思想,并讨论了统一授权管理系统的设计目标,以及设计思路、设计特点和系统与其他应用
时间离散随机Petri网是实时系统建模分析的一种重要工具,广泛应用在异步并发时间离散系统中,对时间离散随机Petri网模型进行模拟仿真分析是一个值得深入研究的课题.给出了一
以甜高粱品种“能饲Ⅰ号”为试验材料,研究了甜高粱种子萌发期和幼苗期对Na2CO3胁迫的生理响应.结果表明:在不同浓度Na2CO3胁迫下发芽率、发芽势、活力指数、胚根长度和胚芽