Ada实时支持技术研究和GNAT/CRTOS支持库的实现

来源 :电子科技大学 | 被引量 : 0次 | 上传用户:jojoy9912004
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Ada语言是一种面向对象的语言,特别适合开发大型复杂的实时应用软件.GNAT是Ada应用最广泛的一种编译系统.目前,国外已经将实时操作系统和GNAT结合起来,建立了GNAT的实进应用开发环境.由于系统的安全保密和价格等因素,建立以国产实时操作系统为运行平台的GNAT的运行支持环境,具有重要的意义.该课题首先建立了Windows操作系统为运行 平台的GNAT运行支持环境,然后建立了在Linux下的GNAT/RTEMS运行支持环境,详细地分析 了GNAT/RTEMS体系下的库结构.在此基础上对国产实时操作系统CRTOS和相应的库进行改造 ,建立起以CRTOS为运行平台的运行支持环境.为了便于读者理解课题的设计,该文简要 介绍了实时操作系统,交叉开发环境和库的基本概念.最后该文指出了所建立的GNAT/CRTOS支持环境中的待完善之处.
其他文献
该论文首先简要介绍了《安全网络访问服务器》的总体设计方案;之后,深入分析了分布式安全认证系统RADIUS和TACACS的原理与结构模型,并进一步详细阐述了安全认证模块的设计思
该文探讨了并发计算模型__χ-演算的逻辑模型.给出了χ-演算的一个初步逻辑模型.分别定义了四组完整的逻辑连接词,并且对应地给出了χ-演算的L-互模拟格中四个L- 互模拟的逻
随着计算机技术、网络技术和电信通信技术的发展,呼叫中心在企业发展中的地位越来越重要。通过呼叫中心企业对外可以为客户提供优质的个性化的服务,提升企业的品牌效应,对内
数学形态是一种非线性图像(信号)处理和分析理论,它具有一套完善的理论、方法及算法体系,其系统性和严密性不亚于传统的线性图像处理理论.数学形态学是Metheron和Serra最早开
该论文从介绍中间件应用和电子商务环境下的安全要求入手,设计和构建了基于公钥基础设施(PKIX)的证书签证机关(CA)的基本安全体系结构.文中详细分析了ASN.1抽象数据 表示法,
该文首先回顾了Intranet的发展历程,并较为系统地介绍了Intranet的体系结构,其后又对其网络层和应用层的结构、任务以及技术支撑等内容进行了重点论述,为以某软件公司信息管
随着计算机技术的广泛应用,对实进操作系统的需求越来越大,在军事、通讯和工业控制领域更是如此.目前,国内外都发布有一些设计优秀的商业实时操作系统,但由于系统的安全保密
该文讨论了在Windows下如何实现多媒体软件的技术,从位图的显示到包括声音在内的全动画场景以及视频文件的播放,并按面向对象的思想在MFC类库的基础上实现了一套C++类库来编
该文首先介绍了被测的通信网专家系统的结构和功能.其次,作为选择测试指标的参考依据以及作为进行实际测试的指导,在论文中介绍了软件产品和过程改进的国际标准ISO9000-3的思
该文以某种特定类型的防空C系统为对象,综合运用了包括面向对象技术、可视化技术在内的多种仿真技术,对该类CI系统进行了深入分析研究,并开发出用于该类CI系统的通用仿真平台