嵌入式系统开发与传统软件开发有着很大不同.嵌入式系统具有内核小、专用性强、高时效性、高可靠性、目标平台复杂等特点,这就对系统设计者提出更高的要求.面对目前嵌入式系统开发过程中的这些问题,尤其针对开发过程复杂,程序自动化程度不高等问题,提出一种基于Esterel代码自动生成的方法.该方法主要利用Esterel语言来对目标系统进行建模,实现将同一个Esterel模型编译为多个目标平台的代码.通过操作系统(OS)抽象层的设计,使系统开发人员不用关心目标平台相关的实现细节,更加容易进行多目标平台程序设计,从而实现嵌入式系统的程序设计自动化.通过实验表明,Esterel模型可以正确、高效地编译为多目标平台的代码,实现目标平台代码的自动生成. 相似文献
2.
本文在对航空运价形成机制外在表现形式进行分析的基础上,将影响航空运价的内在因素归结为行业内因素和行业外因素,并分析了各个因素对航空运价水平的不同影响。实证分析表明,铁路竞争和航空运输成本是影响航空运价水平的两个重要因素,其中航空运输成本为主要影响因素。 相似文献
3.
提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现. 相似文献
4.
刘浪涛作为中青年山水画家在全国早已崭露头角,自上个世纪90年代作品就不断入选全国性展览并获奖,代表作品《溪音》、《怀念战友》、《夜发清溪》、《暮山紫烟》《远山烟启》都给人留下了深刻的印象。早期毕业于四川美术学院中国画系的刘浪涛有着较强的抽象能力、构成能力、捕捉形象的"存质"能力以及较高的审美能力, 相似文献
5.
随着我国社会主义商品经济发展到以销定产的买方市场阶段,企业广告活动的数量、范围都在大幅度地增长。但在快速增长的同时,也存在着一系列的问题,作者对这些问题加以分析。 相似文献
6.
7.
为了适应未来航天任务的发展,构建以服务为导向的、开放的、可重用的航天器任务操作系统,分析了CCSDS(Consultative Committee for Space Data Systems,空间数据系统咨询委员会)中MOIMS (Mission Operations and Information Management System,任务操作及信息管理系统)领域的任务操作服务框架的原理、层次结构及优点,对任务操作相关的通用服务、功能服务、COM(Common Object Model,通用对象模型)及MAL(Message Abstraction Layer,消息抽象层)对服务的抽象化描述方法进行了研究.MAL向任务操作相关的服务提供了通用的服务模型框架,所有服务均可用MAL消息格式进行规范化的描述,在此基础上建立了MAL消息格式与CCSDS空间包的映射关系,从而以CCSDS空间包为信息栽体实现了航天器与地面系统间的任务操作通信,可以作为以服务为导向的任务操作系统实际工程应用的参考. 相似文献
9.
模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查. 相似文献