嵌入式实时软件建模方法研究

来源 :苏州大学学报:自然科学版 | 被引量 : 0次 | 上传用户:lwgalj2005
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式实时软件变得越来越复杂.为了提高系统的安全性和可靠性,将基于UML的建模方法与形式化建模方法相结合,可以为嵌入式实时软件建模和验证提供一种良好的解决方案.采用UML扩展机制,在UML2.0顺序图中加入嵌入式实时软件建模所需的时间特性,并提出一种由UML2.0顺序图构造出时间自动机的方法,为下一步验证奠定理论基础.
其他文献
引入了Object Web的概念,并阐述了CORBA和Object Web互补的关系,以及支持Object Web的Web服务器实例Jigsaw.最后给出了将Object Web、CORBA和Jigsaw结合在一起的应用实例.
将分词看成是一个对汉字进行分类的过程,然后利用条件随机场(CRFs)模型对每个汉字进行标记,最后转换为相应的分词结果.在现有CRFs模型的基础上,从字的构词能力角度出发,探索了字位置
一、A3市场旺中带"虚"2002年,在应用需求多元化的推动下,A3幅面激光打印机开始了市场普及之旅,专家预计,2003年中国打印机销量将增长22%,达到510万台;而中国的A3输出需求也将
研究采用射频磁控溅射的方法在石英玻璃基片上制备TiO2薄膜的最佳工艺条件.薄膜的相组成和微观组织分别采用XRD、SEM和AFM来分析.实验表明:在450℃的基片温度下,使用0.8 Pa的
使用两种频率组合(60 MHz/2 MHz,41 MHz/13.56 MHz)激发产生容性耦合等离子体,通过改变源气体流量比、射频源功率、自偏压等条件进行了SiO2介质刻蚀的实验研究.结果表明,两种频
混合式P2P网络在一定程度上解决了负载不均衡的问题,但没有解决P2P的平等自由的动态特性与网络服务所需要的信任协作模型之间产生的矛盾.因此,在HyperCube模型的基础上,提出一种
以一种具有腔窍效应的表面微结构为研究重点,运用有限元分析,模拟计算了该结构所具有的显著光学吸收增强效应.同时将材料色散关系引入计算模型,得到了太阳光谱垂直入射下该结