ARINC653分区操作系统多核处理器任务调度设计

航空电子架构综合模块化航空电子（Integrated Modular Avionic,IMA）已成为主流航空电子系统,ARINC653作为航空电子设备IMA架构的标准应用接口,符合ARINC653标准的分区实时调度算法成为了航空电子系统领域研究的重点.多数分区实时调度算法针对的是单核处理器.如何在多核处理器环境中对任务进行高效的调度成为ARINC653多核任务调度的关键问题,本文提出一种基于多核负载比例轮转的调度方法,该方法以任务的负载比例计算任务权值,完成任务在多核处理器上的调度,从而满足多核分区操作系统的实时性要求.仿真实验表明该方法是可行且高效的.     

IMA系统中基于时间调度表的优先级辅助分区调度机制研究

为弥补ARINC653调度机制存在的处理器时间资源浪费及为复杂IMA系统设计时间调度表时难度较大的不足,以ARINC653规范中定义的时间调度表分区调度机制为研究基础,对ARINC653规范中定义的时间调度表分区调度机制进行改进,以适应复杂综合模块化航空电子系统的要求,在不违反ARINC653规范的前提下,兼顾安全性原则,提出了基于时间调度表的优先级辅助分区调度机制,允许多个分区以优先级的方式抢占调度表中的空闲时间,提高了分区调度的灵活性,降低了设计分区调度时的难度。     

面向IMA的实时操作系统的安全机制

当前新一代航空电子呈现出向综合模块化方向发展的趋势。这一变化对航电设备中使用的机载实时操作系统提出了新的要求。机载实时操作系统需要将各类机载软件融合到同一个CPU上,实现综合化;同时又要保证各类机载软件独立运行,不相互影响,实现模块化。这就需要操作系统改变管理软硬件资源的机制,支持对于各类机载软件实施分区调度,并保证分区的独立与安全。ARINC 653标准介绍了分区的概念,对面向综合模块化航空电子设备(IMA)的实时操作系统的安全机制提出了具体要求。     

ARINC653分区调度算法的研究与改进

基于ARINC653标准的嵌入式实时操作系统对实时性的要求很高。为此,针对ARINC653分区调度算法中存在的空闲时间问题,提出一种改进的分区调度模型,采用优先级位图算法和二级调度机制设计空闲时间分区共享调度算法。理论分析表明,该算法能够缩短任务的平均响应时间。     

风河公司发布ARINC 653集成模块化航空电子设备(IMA)软件平台

全球领先的设备软件优化(DSO)厂商风河系统公司日前发布Wind River VxWorks653v2.1,提供对ARINC653集成模块化航空电子设备(IMA)平台的增强支持。风河ARINC653设备软件平台为客户带来增强级别的安全保证和架构性能,使A&D设备制造商能够更快更可靠地开发和维护高安全级别、基于标准的集成化模块化设备应用。风河公司产品管理和策划部副经理JohnFanelli表示:A&D系统领域一直保持快速发展,并且逐渐趋向统一的操作标准,设备制造商面临着越来越复杂的产品需求,同时需要更高的质量保证、更少的投资成本和更快的市场投放周期。设备商亟…     

分区软件失效模式和效果研究

为了解决在综合模块化航空电子系统（IMA）中系统架构和分区软件设计面临的分区软件失效模式和应对措施问题,在深入分析分区软件与IMA平台之间交互过程的基础上,明确了分区软件特有的失效模式并分析了其失效效果,除了一般软件共有的失效模式以外,分区软件所特有的交互过程引入了新的失效模式,包括预期的交互功能未能执行、执行过程错误、执行过程超时和特定错误等,根据ARINC 653软件架构中定义的健康监控功能,提出了通过增加健康管理功能等应对措施来处理分区软件的失效,并通过实例分析说明了该措施可以有效降低分区软件失效带来的安全风险,从而提高分区软件和功能应用的可靠性,这些失效模式分析结果和应对措施也适用于其他高安全性要求环境下分区系统设计。     

多核平台上针对seL4的分区机制研究

在航空电子等嵌入式领域中,多核时代已经来临,如何充分利用多核成为了现在系统领域的研究热点。同时由于系统集成度越来越高,一个硬件平台可能需要同时运行不同安全级别的任务,这就需要操作系统为应用提供隔离与保护。为了解决这两个问题,文中在目前只支持单核的seL4的基础上分别加入多核和分区隔离的支持,之后又提出多核和分区机制相结合的方案,实现了带分区机制的多核seL4。最终将其运行在qemu模拟器上,分区机制的实现符合ARINC653标准的语义。     

基于AADL的综合航电分区系统可调度性判定

综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的分区任务集可调度性判定方法。借助Cheddar工具及其自定义调度策略功能,使架构分析和设计语言(AADL)具有对分区系统进行建模的能力,并利用该工具对AADL模型进行仿真以判定系统的可调度性。实例分析结果表明,该方法能自动、准确、快速地进行可调度性判定,并以甘特图的方式绘制任务调度过程,得到直观、详细的结果。     

ARINC653航空电子系统AADL建模技术研究

随着ARINC653系统在我国航空领域的广泛应用,研究ARINC653系统建模方法将为进一步研究基于模型的ARINC653系统可靠性、可调度性分析奠定基础.详细研究了ARINC653系统AADL建模的方法,具体描述了ARINC653系统、分区、进程、进程通信和健康监控等核心元素的AADL建模映射机制,并进行实例说明.     

综合模块化航电软件系统测试方法研究综述

现代飞行器系统中开始广泛采用综合模块化航电IMA(Integrated Modular Avionics)体系架构,IMA中软件系统的高质量要求对传统的航电软件测试方法提出了新的挑战。对目前基于ARINC653的IMA软件的系统级测试中的基本测试方法进行了综述分析,主要内容包括:首先给出了基于ARINC653的IMA体系结构描述,并对其架构中最重要的系统可配置性进行了分析;然后阐述了总的系统测试策略,以及不同级别的IMA软件系统测试过程;最后简要说明了IMA系统测试环境的通用要求。     

Only connect: teaching, technology and telesis

Abstract This paper describes an approach to the design of interactive multimedia materials being developed in a European Community project. The developmental process is seen as a dialogue between technologists and teachers. This dialogue is often problematic because of the differences in training, experience and culture between them. Conditions needed for fruitful dialogue are described and the generic model for learning design used in the project is explained.     

European Community policy and the market

Abstract This paper starts with some reflections on the policy considerations and priorities which are shaping European Commission (EC) research programmes. Then it attempts to position the current projects which seek to capitalise on information and communications technologies for learning in relation to these priorities and the apparent realities of the marketplace. It concludes that while there are grounds to be optimistic about the contribution EC programmes can make to the efficiency and standard of education and training, they are still too technology driven.     

一种自适应子融合集成多分类器方法

融合集成方法已经广泛应用在模式识别领域,然而一些基分类器实时性能稳定性较差,导致多分类器融合性能差,针对上述问题本文提出了一种新的基于多分类器的子融合集成分类器系统。该方法考虑在度量层融合层次之上通过对各类基多分类器进行动态选择,票数最多的类别作为融合系统中对特征向量识别的类别,构成一种新的自适应子融合集成分类器方法。实验表明,该方法比传统的分类器以及分类融合方法识别准确率明显更高,具有更好的鲁棒性。     

Avoiding semantic and temporal gaps in developing software intensive systems

Development of software intensive systems (systems) in practice involves a series of self-contained phases for the lifecycle of a system. Semantic and temporal gaps, which occur among phases and among developer disciplines within and across phases, hinder the ongoing development of a system because of the interdependencies among phases and among disciplines. Such gaps are magnified among systems that are developed at different times by different development teams, which may limit reuse of artifacts of systems development and interoperability among the systems. This article discusses such gaps and a systems development process for avoiding them.     

基于QTE的蒙古文显示机制研究与实现

蒙古语言是中国蒙古族使用的通用语言,由于蒙古文区别于其他文字的书写方式和其自身变形机制等特点,在很多通用的文字处理引擎中都不被支持。在嵌入式产品开发与应用领域中Linux加QTE已经成为流行方式。该文给出了一种在QTE环境上实现基于标准Unicode的蒙古文点阵显示和变形算法, 并自定义了支持蒙古文的QTE组件,扩展了QTE功能,为在Linux加QTE方式的嵌入式体系结构中处理蒙古文提供了一种解决方法。     

Designing economic np control charts: A programmed simulation approach

This paper presents control charts models and the necessary simulation software for the location of economic values of the control parameters. The simulation program is written in FORTRAN, requires only 10K of main storage, and can run on most mini and micro computers. Two models are presented - one describes the process when it is operating at full capacity and the other when the process is operating under capacity. The models allow the product quality to deteriorate to a further level before an existing out-of-control state is detected, and they can also be used in situations where no prior knowledge exists of the out-of-control causes and the resulting proportion defectives.     

基于AD9626的模拟信号采集存储卡设计

自然界的绝大部分信号都是以模拟的形式存在,因此模拟信号的采集转换存储在数字时代十分关键。文章讨论了在雷达信号处理领域基于AD9626的AD采集存储卡的设计原理、硬件结构和程序设计与芯片配置等问题,为今后相关领域的研究提供了可参考的方案。     

The development of robot art

Going through a few examples of robot artists who are recognized worldwide, we try to analyze the deepest meaning of what is called “robot art” and the related art field definition. We also try to highlight its well-marked borders, such as kinetic sculptures, kinetic art, cyber art, and cyberpunk. A brief excursion into the importance of the context, the message, and its semiotics is also provided, case by case, together with a few hints on the history of this discipline in the light of an artistic perspective. Therefore, the aim of this article is to try to summarize the main characteristics that might classify robot art as a unique and innovative discipline, and to track down some of the principles by which a robotic artifact can or cannot be considered an art piece in terms of social, cultural, and strictly artistic interest. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

煤矿井下安全监控分站的设计及其仿真实现

为了设计一种具有低成本、低功耗、易操作、功能强且可靠性高的煤矿井下安全分站,针对煤矿安全生产实际,文章提出了采用MCS-51系列单片机为核心、具有CAN总线通信接口的煤矿井下安全监控分站的设计方案;首先给出煤矿井下安全监控分站的整体构架设计,然后着重阐述模拟量输入信号处理系统的设计过程,最后说明单片机最小系统及其键盘、显示、报警、通信等各个组成部分的设计;为验证设计方案的可行性与有效性,使用Proteus软件对设计内容进行仿真验证,设计的煤矿井下安全监控分站具有瓦斯、温度等模拟量参数超标报警功能和电机开停、风门开闭等开关量指示功能;仿真结果表明:设计的煤矿井下安全监控分站具有一定的实际应用价值.     

A human-computer interface for non-computer specialists

The COM teleconferencing system was designed to be easy to use for both beginners and people with much computer experience. A number of design choices in organizing the human-computer interface were considered very carefully. These design problems are not unique for teleconferencing applications, but will appear in many other developments of human-computer interfaces for non-computer specialists. This report discusses naming conventions, menu format, user commands, help facility and the treatment of ‘type ahead’ from the users.