【摘 要】
：
随着计算机技术应用的日益广泛,目前在航天、通信、交通等系统上采用嵌入式软件实现的功能越来越多,并且成为系统的独立产品和独立构件,发挥着至关重要的作用。而嵌入式软件
论文部分内容阅读
随着计算机技术应用的日益广泛,目前在航天、通信、交通等系统上采用嵌入式软件实现的功能越来越多,并且成为系统的独立产品和独立构件,发挥着至关重要的作用。而嵌入式软件的硬实时性的特点也要求必须对软件的需求进行验证,尤其是实时性的验证。因此,项目在设计和编码前进行需求验证不仅必要,而且必不可少。本文结合模型驱动开发方法,将需求验证与模型验证结合提出了一种嵌入式软件的形式化验证方法。
其他文献
电动飞机因其结构简单,清洁无污染等诸多优点,在通用航空领域有着广阔的应用前景和发展潜力,但就目前的技术水平而言,仍有很多工程问题有待解决,发动机舱的散热问题就是其中
<正>万重山之黔地,可谓山的世界。山连山,山绕山,峰峦重叠,气势恢宏,姿态万千。童年、少年时的我在大山中摸爬滚打,伴着大山成长。每天背着比我还大的背篓爬行在山路上,面对
<正>请示和报告是党政机关常用的公文文种,应用非常广泛。熟悉这两个文种的特点和写法,对于做好"三服务"工作很有必要。一、把"事儿"搞透"事儿",也就是事情,关键要研究透、协
为茶叶品质安全提供有效检测方法,以气相色谱-串联质谱检测方法为基础,考察不同提取溶剂、净化方法及质谱条件等对茶叶中苯醚甲环唑残留含量检测结果的影响。结果表明：在丙酮
……鉴于以上情况，整个初中阶段，美术课在大多数学生心目中．都难有正确位置……
专心制茶，传承百年“裕泰香”带着对茶的热爱与执著，我走进了吴裕泰，从此便与茶结下了不解之缘。一直以来，吴裕泰的茉莉花茶独具“香气鲜灵持久，滋味醇厚回甘，汤色清澈明亮、耐泡”
大量研究证明粒径小于5 mm的微塑料在海洋环境中普遍存在,且被多种海洋生物摄食。作为新型全球环境问题,迫切需要就海洋微塑料的调查分析方法达成共识。文章综述了海洋环境中
习近平总书记关于工人阶级和工会工作的重要论述,主要包括劳动、工人阶级和工会工作三个方面,内容丰富,思想深刻,具有严密的逻辑体系和内在联系,其中关于劳动的论述是逻辑起
随着基础教育课程改革不断深入,课堂教学领域的改革引发了广大教育者的热切关注,讨论最多的问题就是如何提高课堂教学的有效性。本文主要探讨信息技术在提高课堂教学有效性方
日内瓦议定书的全称是“和平解决国际争端议定书”,它主要为解决第一次世界大战后凡尔赛体系没有完全解决的两个重要问题之一的安全问题而签订。由于美国担心议定书规定的仲