一、潜心打造中国自己的嵌入式软件开发平台——访北京科银京成技术有限公司总经理朱明远（论文文献综述）
桂盛霖[1]（2011）在《安全关键嵌入式实时软件的关键非功能属性分析研究》文中研究说明安全关键嵌入式实时系统正日益深入地被应用到对任务执行时间和失效影响有严格要求的若干安全关键领域,如航空航天、医疗设备、汽车电子和核电控制等。这类系统除对其功能性有正确性要求外,还对其非功能属性有严格要求。若其所规定的非功能属性不能满足,同样可能造成系统失效,给人们的生命和财产带来巨大的损失和灾难。因此,如何有效地分析和评估安全关键嵌入式实时系统的非功能属性是否被满足是一个重要的研究方向,其结果可以给系统设计者提供所需要的系统信息和设计指导。本学位论文正是针对上述问题,以实时性和可靠性两个主要的非功能属性为研究对象,从软件工程开发技术和软件计算模型两个方面系统和全面地分析当前重要的非功能属性保证技术及理论分析方法,针对现有问题,从软件计算模型角度提出了两种实时性分析方法和一个可靠性模型,使得系统设计者在软件设计阶段可以尽早分析与评估系统的性能,并在一个航空电子系统原型实例中说明其实际具体分析过程。本学位论文主要贡献和创新之处有:1.针对小规模分布式实时系统的嵌入式实时软件（Embedded Real-Time Software, ERTS）,提出了一种基于自动机理论的实时性分析技术,建立了分布式系统上的任务形式化模型,提出了行为自动机和环境自动机来分别描述任务的执行语义及其外部到达关系,把任务的调度性分析转换为对自动机网络的位置的可达性进行分析,证明了在某些调度策略下的调度性的可判定性,并给出了满足调度的可判定性的调度策略的条件和范围,实现了一个支持分布式系统任务实时调度分析工具SCT,解决了传统基于最坏响应时间的分布式系统调度分析方法往往所包含的实际系统运行过程中无法达到的最坏情况。分析结果显示,SCT能够被方便地使用建模和分析系统实时性,同时提供最精确的分析结果;2.针对中大规模分布式实时系统的ERTS,从一类特殊系统:研究双向多阶段多阶段流水线系统上任务的实时性分析入手,考虑任务在相邻节点间执行重叠的情况,推导出任务实例的端到端最坏延迟公式,然后将系统模型扩展到一般性中大规模分布式实时系统上。实验显示,与其他几种重要分析技术相比,在大多数情况下该技术能够推导出更低的任务端到端的延迟上界,从而允许更多的任务进入系统;3.针对一般性ERTS,在其设计阶段第一次利用实时性和错误处理时间开销之间的敏感关系定义任务执行模型的可靠性。在该可靠性模型中,对实时任务定义错误发生率及相应的容错机制以建模硬件和任务本身设计缺陷所导致的非永久失效及错误处理开销,通过分析错误最坏出现情况下任务仍然可调度的概率,将实时性和容错性融合在同一分析模型框架下,并给出了在静态优先级调度策略下的可靠度定量计算算法及其一种改进算法。当任务模型无出错假设时,该可靠性模型退化为一般性调度分析模型;4.选取一类典型的安全关键实时系统:航空电子系统进行抽象,研究了该类系统中另一个重要的非功能属性:分区配置策略,同时分析并定义了最优分区配置策略,给出了ENATF为最优分区配置策略的证明过程,实现了一个分区配置仿真工具PCT,然后建立了一个航空电子系统的原型实例,详细说明本学位论文所提出的实时性分析方法、可靠性分析方法及最优分区配置策略在该实际系统中的使用。目前,安全关键实时系统的非功能属性领域的研究仍然存在许多挑战,本学位论文所提出的方法和技术对广大研究者提供了一种新的思路,为增强我国自主知识产权的实时系统的研发提供理论和技术支持。
连晓东,曼玲[2]（2005）在《国产手机操作系统何去何从》文中指出移动数据业务的灿烂前景使得具有强大运算能力的智能终端成为未来手机的发展方向，而提起智能手机又不能脱离手机操作系统（OS）这一概念，微软、Symbian、Palm、Linux这四大阵营引起的OS纷争已经成为手机业界的一大看点。在这“四大”的光环之下，还有一些我国本土的手机OS在并?
李昕[3]（2004）在《嵌入式软件年增30%——中国企业靠自主抓机遇》文中进行了进一步梳理
苏珊,依然[4]（2003）在《好产品是卖出来的——“道系统”自主知识产权的嵌入式软件产品》文中研究说明
高峰[5]（2002）在《质量提高 新品涌现——2002年嵌入式系统及其应用研讨会暨多国产品展示会侧记》文中研究说明
彭晔[6]（2002）在《潜心打造中国自己的嵌入式软件开发平台——访北京科银京成技术有限公司总经理朱明远》文中进行了进一步梳理 当北京科银京成技术有限公司推出中国第一套具有完整自主知识产权的嵌入式软件开发平台一“道”系统（DeltaSystem）时,似乎并没有出现其它一些国产嵌入式操作系统出台和推广时的大张旗鼓的场面。而一些业界行家都知道,该系统的基础是成都电子科技大学计算机学院
海伦[7]（2001）在《嵌入式软件国内厂商亟待入局》文中指出秋风萧瑟，在北京一个还未完全竣工的展馆内却异常火热，2001年嵌入式系统及单片机国际学术交流会暨产品展示会在这里召开。近百家来自中国、美国、日本、韩国等国家的厂商参加了这次交流及展示会，他们看准了中国这个大市场，亟待进到这个市
王莹,高峰,刘新光[8]（2001）在《相聚在深秋——2001嵌入式系统及单片机国际学术交流会暨产品展示会回眸》文中指出
二、潜心打造中国自己的嵌入式软件开发平台——访北京科银京成技术有限公司总经理朱明远（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、潜心打造中国自己的嵌入式软件开发平台——访北京科银京成技术有限公司总经理朱明远（论文提纲范文）
（1）安全关键嵌入式实时软件的关键非功能属性分析研究（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 绪论 |
| 1.1 研究背景和意义 |
| 1.1.1 安全关键嵌入式实时系统的重要战略地位 |
| 1.1.2 安全关键嵌入式实时软件关键属性及特征 |
| 1.1.3 研究意义 |
| 1.2 国内外研究现状 |
| 1.2.1 软件开发方法和技术 |
| 1.2.2 软件计算模型 |
| 1.3 论文研究内容和主要贡献 |
| 1.4 论文结构 |
| 第二章 ERTS 模型的实时性与可靠性分析的理论基础及相关概念 |
| 2.1 实时性分析理论 |
| 2.1.1 任务参数的基本概念 |
| 2.1.2 实时系统建模 |
| 2.1.3 Holistic 实时性分析方法 |
| 2.1.4 RTC 实时性分析方法 |
| 2.1.5 延迟叠加的实时性分析方法 |
| 2.1.6 基于时间自动机的实时性分析方法 |
| 2.2 可靠性分析理论及概念 |
| 2.2.1 可靠性分析中的重要概念 |
| 2.2.2 软件设计阶段的可靠性分析模型 |
| 2.3 本章小结 |
| 第三章 小规模分布式ERTS 的精确实时性分析 |
| 3.1 引言 |
| 3.2 相关工作 |
| 3.3 任务模型 |
| 3.4 环境自动机 |
| 3.5 行为自动机 |
| 3.6 实时性分析建模 |
| 3.6.1 任务语义建模 |
| 3.6.2 行为自动机的判定性证明 |
| 3.6.3 符号状态操作 |
| 3.7 实例研究及性能评估 |
| 3.8 本章小结 |
| 第四章 中大规模分布式ERTS 的实时性分析 |
| 4.1 引言 |
| 4.2 相关工作 |
| 4.3 系统模型 |
| 4.4 任务实例的端到端延迟上界分析 |
| 4.5 双向多阶段MP 系统的一般化 |
| 4.6 任务实时性分析 |
| 4.7 仿真实验 |
| 4.8 本章小结 |
| 第五章 ERTS 模型的可靠性分析 |
| 5.1 引言 |
| 5.2 相关工作 |
| 5.3 任务模型 |
| 5.4 ERTS 任务模型的可靠性模型 |
| 5.5 可靠度计算 |
| 5.5.1 任务最坏执行情况 |
| 5.5.2 错误发生概率 |
| 5.5.3 错误条件的发生概率求和 |
| 5.6 实验仿真 |
| 5.7 本章小结 |
| 第六章 航空电子原型软件系统的非功能属性分析 |
| 6.1 引言 |
| 6.2 相关工作 |
| 6.3 系统模型 |
| 6.4 分区配置策略 |
| 6.4.1 最优分区配置策略 |
| 6.4.2 分区配置策略对实时性的影响 |
| 6.5 实例研究 |
| 6.6 全章小结 |
| 第七章 全文总结及进一步的工作 |
| 7.1 全文总结 |
| 7.2 进一步的研究工作 |
| 致谢 |
| 参考文献 |
| 攻博期间取得的研究成果 |
（8）相聚在深秋——2001嵌入式系统及单片机国际学术交流会暨产品展示会回眸（论文提纲范文）
| 一、国人的强项在软件与应用 |
| RTOS期待燎原 |
| 长征路上的Linux |
| 二、热点扫描 |
| NS:凸显DVD技术 |
| DVD播放机将带动逐行扫描市场 |
| DVD-Audio突破CD音质 |
| Motorola:小型网络应用 |
| 有趣的新技术 |
| 三、嵌入式系统开发:富国强业, 大有可为 |
| 四、呼唤国产M C U |
四、潜心打造中国自己的嵌入式软件开发平台——访北京科银京成技术有限公司总经理朱明远（论文参考文献）
- [1]安全关键嵌入式实时软件的关键非功能属性分析研究[D]. 桂盛霖. 电子科技大学, 2011(06)
- [2]国产手机操作系统何去何从[N]. 连晓东,曼玲. 中国电子报, 2005
- [3]嵌入式软件年增30%——中国企业靠自主抓机遇[J]. 李昕. 每周电脑报, 2004(12)
- [4]好产品是卖出来的——“道系统”自主知识产权的嵌入式软件产品[J]. 苏珊,依然. 电子设计应用, 2003(Z1)
- [5]质量提高 新品涌现——2002年嵌入式系统及其应用研讨会暨多国产品展示会侧记[J]. 高峰. 电子产品世界, 2002(23)
- [6]潜心打造中国自己的嵌入式软件开发平台——访北京科银京成技术有限公司总经理朱明远[J]. 彭晔. 电子设计技术, 2002(01)
- [7]嵌入式软件国内厂商亟待入局[N]. 海伦. 中国电子报, 2001
- [8]相聚在深秋——2001嵌入式系统及单片机国际学术交流会暨产品展示会回眸[J]. 王莹,高峰,刘新光. 电子产品世界, 2001(20)