基于组件技术特定应用的嵌入式操作系统构造

面向Internet网络的、特定应用的嵌入式操作系统正发展成为当今国际上实时嵌入式系统极为重要的研究内容。该文论述了特定应用嵌入式操作系统ASOS（Application Specific Embedded Operating Systems)的概念和构成特点,阐述了基于组件技术构造ASOS的基本方法。     

特定领域本体的构造方法

提出了一种领域本体构造方法OntoMerge,通过该方法构造得到领域本体,再利用领域本体对构件进行本体描述。基于本体、面向服务的构件描述,具有语义推理功能,能极大地提高构件检索的查全率和查准率,并为构件入库、检索、组装等工作奠定基础。     

嵌入式操作系统Windows CE的开发与应用

对微软公司推出的嵌入式操作系统Windows CE进行了简要介绍，并讲述了Windows CE的主要特点。介绍了Windows CE的开发过程，对开发过程中需要注意的重点和难点进行了阐述，并展望了Windows CE的应用前景。     

嵌入式操作系统Windows CE的研究

WindowsCE是适合嵌入式应用的操作系统,介绍了WindowsCE嵌入式系统的系统结构,讨论了如何在WindowsCE下如何构建嵌入式应用平台,最后,给出了WindowsCE下网络通信协议的开发过程。     

微软嵌入式操作系统的新发展

随着微软的嵌入式操作系统（Windows CE）的6．0版本发布,嵌入式设备的效能和稳定性都得到了大幅度的提高。本文以CE的前几个版本为参照,着重探讨新版本采用的新技术和新技术产生和发展的背景。     

特定领域组件提取的研究

要进行大规模的基于组件的开发应将该组件的生产和组件的组装过程分开，从组件生产者的角度出发，讨论了在特定领域内应该如何提取可以复用的组件，并且以教学评估领域为例进行了说明。     

嵌入式操作系统Nucleus的移植研究

嵌入式系统作为计算机应用的一个崭新领域,以其简洁、高效等优点越来越多地受到人们的关注,而要开发一个嵌入式应用系统,则需要嵌入式硬件、嵌入式操作系统及相应的开发工具等。其中嵌入式操作系统是嵌入式应用系统中的基础部分,占有十分重要的地位,针对不同硬件平台。往往要进行嵌入式操作系统的移植。Nucleus是一种典型的嵌入式操作系统,具有体积小、功能强大、易于定制等特点,通过对Nucleus系统结构特点的分析,在基于SEP4020微处理器的评估板上,详细地论述了将嵌入式Nucleus操作系统移植到具体硬件平台上需要完成的工作。     

嵌入式操作系统Nucleus的移植研究

嵌入式系统作为计算机应用的一个崭新领域,以其简洁、高效等优点越来越多地受到人们的关注,而要开发一个嵌入式应用系统,则需要嵌入式硬件、嵌入式操作系统及相应的开发工具等。其中嵌入式操作系统是嵌入式应用系统中的基础部分,占有十分重要的地位,针对不同硬件平台,往往要进行嵌入式操作系统的移植。Nucleus是一种典型的嵌入式操作系统,具有体积小、功能强大、易于定制等特点,通过对Nucleus系统结构特点的分析,在基于SEP4020微处理器的评估板上,详细地论述了将嵌入式Nucleus操作系统移植到具体硬件平台上需要完成的工作。     

嵌入式操作系统课程的案例教学法

针对"嵌入式操作系统"课程内容自身特点,提出实验平台选择、课程教学内容设置建议,探索在教学中采用案例教学法,建立一个多层次教学案例库,探讨案例选择、学时安排和课程考核中应注意的问题,通过强调综合和创新实训案例教学和创新实验环境建设,增强学生应用开发能力和技术技能的实用性,教学效果明显提高。     

浅谈嵌入式软件操作系统

嵌入式系统是以应用为中心,以计算机技术为基础,可进行软、硬件裁剪的专用计算机系统。嵌入式软件的发展,决定了选择可靠有效的嵌入式操作系统的重要性。本文阐述了选择嵌入式操作系统的要素,介绍了几种常见的嵌入式操作系统并进行了比较。     

Methods for the Development of Distributed Real-Time Embedded Systems Using VDM

The development of distributed real-time embedded systems presents a signi-ffcant practical challenge both because of the complexity of distributed computation and because of the need to rapidly assess a wide variety of design alternatives in early stages when requirements are often volatile. Formal methods can address some of these challenges but are often thought to require greater initial investment and longer development cycles than is desirable for the development of noncritical systems in highly competitive markets.In this paper we propose an approach that takes advantage of formal modelling and analysis technology in a lightweight way, making signi cant use of readily available tools. We describe an incremental approach in which detail is progressively added to abstract system-level speci cations of functional and timing properties via intermediate models that express system architecture, concurrency and distribution. The approach is illustrated using a modelof a home automation system. The models are expressed using the Vienna Development Method (VDM) and are validated primarily by scenario-based tests.     

浅谈嵌入式操作系统在航天领域中的应用

基于对国内星载软件现状的分析,阐述了引入嵌入式操作系统对系统性能的影响,并介绍了几种典型的嵌入式实时操作系统(RTOS),总结了在航天领域中选用操作系统的几点原则,最后通过比较4种典型的嵌入式实时操作系统,探讨了航天领域中选用哪种实时操作系统较适合。     

一种支持多级存储架构的嵌入式多核操作系统模型

多核处理器已经成为主流,并且被广泛应用于嵌入式设备中.在操作系统如何有效支持多核处理器方面的研究中,目前国内外大多基于常见的紧耦合共享存储架构的多核处理器,而对一些特殊存储架构的多核处理器研究并不多.本文针对内存受限的多级存储架构的多核处理器,提出一种单代码多数据的嵌入式多核操作系统模型.实验表明,该模型应用在具有多级存储架构的八核DSP上,比AMP模型减少约80%的代码空间开销;与SMP模型相比,与实时性紧密相关的时间开销减少约10倍.     

An Event Algebra Extension of the Triggering Mechanism in a Component Model for Embedded Systems

In this article we present how the component triggering in SaveCCM, a component model intended for embedded vehicular systems, can be extended by means of an event algebra. The extension allows components to be triggered by complex event patterns, and not only by clock signals or single external events.Separating the detection of triggering conditions from the definition of the triggered services permits more general components and thus improves component reusability. Providing event detection mechanisms within the component model means that triggering conditions are explicitly available for system analysis at design time.An event algebra is used to define the complex triggering conditions. This algebra has a relatively simple declarative semantics and well documented algebraic properties, which facilitates formal and informal reasoning about the system. The algebra also ensures that detection of triggering conditions can be efficiently implemented with limited resources, which is critical in embedded applications.     

嵌入式实时操作系统的分析评测方法

使用WCET(Worst-case execution time)分析工具Bound-T,分析典型实时操作系统(RTMES和uClinux)的关键模块代码,在系统运行在硬件上之前分析其机器码,给出整体系统的最坏执行时间.在系统的WCET达到要求之后,再通过实验使用benchmark,评测操作系统的典型实时性能指标,给出两个嵌入式实时操作系统的实时性能对比,并分析RTEMS(Real Time Executive for Multiprocessor Systems)的优势所在.     

一个基于嵌入式实时操作系统内核的状态

在嵌入式实时系统的研发过程中,传统的交叉调试技术无法全面了解系统的实时运行状态.更为严重的是,它会破坏运行任务的实时性.本文在嵌入式交叉调试器研究的基础上提出并实现了一种基于嵌入式实时内核的系统状态监视器,它不但能够获取开发者所需的系统状态数据,而且能够有效保证运行任务的实时性.