多核嵌入式实时操作系统的分区间通信机制

为了解决多核嵌入式实时操作系统在不同分区间进行通信的问题,介绍了一种基于多核嵌入式实时操作系统的分区间通信机制。在该机制下,分区通过消息、端口和通道与同一模块中的另一个分区进行通信,或与其他模块中的分区进行通信,或与模块外的设备进行通信。分区利用端口与通道发送消息,根据通信目的不同,选择采样模式或队列模式将消息从源端口发送至目的端口,分区应用从对应的目的端口读取消息。该机制的可靠性和有效性在某多核嵌入式实时操作系统中得到了验证。     

航空电子嵌入式实时操作系统的安全策略

新一代航空电子系统是一种高度综合化、模块化的系统。为了确保系统工作的安全与可靠,需要具有高安全性能的实时操作系统。该文介绍软件的分区管理和信息安全管理、分区间通信的虚通道等技术,讨论航空电子嵌入式实时操作系统中的数据安全策略。实验结果表明了该策略的有效性。     

一种安全关键的嵌入式实时操作系统内核设计

在研究ARINC-653标准的时空隔离原理基础上,设计并实现一种安全关键的嵌入式实时操作系统。采用微内核设计,通过基于Manifest的任务与分区管理、软硬件结合的分区保护及软件静态验证,提升系统可靠性与可配置性。在PowerPC平台上实现嵌入式实时操作系统内核原型并对其进行功能与性能测试,结果表明该操作系统内核功能完备,满足软硬件分区、栈溢出保护与监测、驱动故障保护等需求,且综合性能优于同类操作系统内核。     

基于半虚拟技术的嵌入式分区系统设计与实现

针对嵌入式系统的高可靠性和高安全性要求,设计了基于半虚拟技术的分区系统.在RTEMS实时操作系统中,使用半虚拟技术实现虚拟机监视器,给分区操作系统PLINUX创造虚拟环境.通过地址映射机制和分区调度,把分区系统在空间和时间上隔离开,可有效阻止分区的错误传播,提高系统的容错能力.时系统可靠性、调度效率等方面进行试验和分析,实验结果表明,该分区系统的可靠性明显提高,而且继承了RTEMS的实时性和设计的简洁性.     

Vxworks嵌入式实时操作系统任务调度方法研究

介绍了Vxworks嵌入式实时操作系统内核任务调度的4种方法,针对嵌入式实时操作系统多线程实时调度的应用需求,在对Vxworks嵌入式实时操作系统调度原理与方法进行分析研究的基础上,根据指定应用环境的设计指标与方案,对Vxworks嵌入式实时操作系统系统任务调度方法进行了分析比较,通过仿真实验的方式对其性能进行测试,并得出了方法适用性的相关论断,从而为相关领域嵌入式实时操作系统的技术应用提供参考。     

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

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

基于动态电压调节技术的低功耗调度算法研究

基于动态电压调节技术的低功耗调度算法的研究是嵌入式系统软件低功耗技术的研究重点。通过研究以最大空闲时间安排任务优先级的低功耗调度算法,对UCOSII嵌入式实时操作系统的内核进行了改进,并在实际的硬件环境上进行实验,实验结果显示改进算法的内核执行与原内核相同的音频任务时降低了系统的功耗。     

计算机嵌入式实时操作系统的研究

在社会经济高速发展的当今社会,信息技术也得到了快速的发展,计算机信息技术已经在当今社会中成为了一种主导技术,而以此为基础壮大起来的信息产业也已经成为了主导产业,并且成为了当今社会的一种新式的经济增长点。在计算机信息中,嵌入式实时操作系统的基础与开发平台是嵌入式应用软件,其中需要涉及到硬件与软件两大方面的问题。对计算机嵌入式实时操作系统进行分析与研究已经成为了信息时代必须解决的一大重要课题,使其可以与当今社会高速发展的速度相适应。本文对计算机嵌入式实时操作系统展开了分析与研究,旨在提供出一些可以借鉴的经验,从而更好地解决好这一重大课题。     

面向关键任务嵌入式实时操作系统设计技术

与通用的实时操作系统相比,面向关键任务的嵌入式实时操作系统具有自身的一系列技术难点,包括陷阱机制,有限内核重入及时MMU的利用等。文中即对面向关键任务的嵌入式实时操作系统中的这些关键性技术问题进行了详细的分析并提出相应解决方案。     

嵌入式实时操作系统及其应用

嵌入式实时操作系统兼有嵌入式和实时性的特点。分析嵌入式实时操作系统的特点及其与通用操作系统的区别;以VxWorks为例,介绍目前市场上常见的嵌入式实时系统及其应用,展望嵌入式实时操作系统的前景。     

基于隔离域的事务工作流并发控制

事务工作流系统中存在多个流程的多个实例同时并发执行的情况,所以多个活动同时访问共享资源时出现访问冲突.为保证流程的正确执行和提高活动的并发度,基于事务的隔离性特征,提出了隔离域的概念和相关属性,并在建模阶段采用业务流程和事务需求分开定制的方式,通过设置隔离域的隔离属性来控制各流程实例并发活动的执行,并且给出了基于隔离域的并发控制算法,从而有效地提高了流程和活动的并发度,并避免丢失修改等现象的发生.     

专网共享公网信息的研究

对于一些涉及有国家机密的机构或部门的专网共享公网的信息,要求严格的做到专网的信息不被破坏和泄露。解决的方案就是研究开发新型的网络结构,使之既能实现专网、公网信息的安全隔离,又能实现实时的数据交换。     

基于硬件虚拟化的内核同层多域隔离模型

为了解决内核不可信带来的问题,很多工作提出了同层可信基的架构,即在内核同一硬件特权水平构建可部署安全机制的唯一保护域.但是,实际过程中往往面临多样化的安全需求,将多种对应的安全机制集中于唯一的保护域必然导致只要其中任何一个安全机制被攻陷,同一个保护域内其它所有安全机制都可能被攻击者恶意篡改或者破坏.为了解决上述问题,本文提出了内核同层多域隔离模型,即在内核同一硬件特权水平构建多个保护域实现了不同安全机制的内部隔离,缓解了传统方法将所有安全机制绑定在唯一保护域带来的安全风险.本文实现了内核同层多域隔离模型的原型系统Decentralized-KPD,其利用硬件虚拟化技术和地址重映射技术,将不同安全机制部署在与内核同一特权水平的多个保护域中,并不会引起较大的性能开销.总体而言,实验结果展示了内核同层多域隔离模型的安全性和实用性.     

基于硬件虚拟化的内核同层多域隔离模型

为了解决内核不可信带来的问题,很多工作提出了同层可信基的架构,即,在内核同一硬件特权水平构建可部署安全机制的唯一保护域.但是,实际过程中往往面临多样化的安全需求,将多种对应的安全机制集中于唯一的保护域必然导致只要其中任何一个安全机制被攻陷,同一个保护域内其他所有安全机制都可能被攻击者恶意篡改或者破坏.为了解决上述问题,...     

基于扩展ROM技术的网络安全隔离卡设计

漏洞扫描还不能完全将网络终端中存在的各种复杂攻击检出,许多传统安全技术时常失效,从信息安全技术层面上还不能有效解决现代网络中的安全问题。该文介绍了PCI扩展ROM规范、网络通信链路切换机制和机密信息存储原理,分析了主机和外部设备互连关系以及攻击特征,提出一种新的基于扩展ROM防止机密信息泄漏的安全网络终端结构,该结构支持网络终端内外网的物理隔离。     

基于模拟退火的扩展孤立森林异常检测算法

扩展孤立森林（Extended Isolation Forest, EIF）有效解决了孤立森林（Isolation Forest, iForest）对局部异常点不敏感的问题,但EIF将轴平行的孤立条件更替为使用随机斜率的超平面,导致算法模型损失了一部分泛化能力,并由于大量的向量点乘运算增加了时间开销。针对上述情况,提出一种基于模拟退火的扩展孤立森林算法（Extended Isolation Forest based on Simulated Annealing, SA-EIF）。该算法根据每棵孤立树（Isolation Tree, iTree）对于数据集的预测结果计算每棵iTree的精度值和差异值,并基于此构建适应度函数,最终利用模拟退火算法筛选数棵检测性能较优的iTree构建集成学习模型。在ODDS 异常检测数据集中进行K折交叉验证的实验结果表明：SA-EIF算法对局部异常点敏感,较现有的EIF算法减少约20%~40% 的时间开销,提高约5%~10%的检测精度。     

部门内外网隔离方案的探究

随着气象现代化的不断发展，气象部门的网络安全问题日益严峻，内外网隔离势在必行。简要介绍了内外网隔离的原理和实施方案，并分析、比较了不同方案的隔离效果、特点等。同时，还介绍了使用了隔离卡的用户所遇到的安装问题和使用过程中的一些常见问题。     

局域共振浮筏隔振系统的低频隔振性能研究

为提升浮筏隔振系统的低频隔振性能,提出在筏架表面周期布置局域共振元胞的设计方法,构建局域共振浮筏隔振系统的动力学模型,以系统的输出功率流为评价指标,分析共振元胞对单频和多频振动激励下浮筏隔振系统低频隔振性能的影响.研究表明,在附加振子质量小于筏架质量10%的前提下,能够降低系统的输出功率流幅值30%左右;共振元胞中含不同固有频率的振子时,可以同时降低多个频率处系统的输出功率流.研究结果可为采用局域共振结构提升浮筏隔振系统低频隔振性能提供理论指导.     

隔离技术及其应用

分析了当前的防火墙、物理隔离、串并口隔离、双网卡隔离、包过滤等几种隔离技术 ,最后给出了一个设计好的串并口隔离技术在证券交易系统中的应用实例