实时多处理器系统的双优先级调度算法

针对同构多处理器系统提出一种基于双优先级的实时任务调度算法.对偶发任务进行接受测试,进一步提高了系统对偶发任务调度的成功率.模拟结果表明,当多核处理器系统利用率达到极限时,该算法依然能够在完成强实时周期任务的成功调度前提下,保证软实时周期任务和偶发任务具有较高的调度成功率.     

FF现场总线系统中实时任务的建模与调度

本文研究了单网段 FF现场总线系统中具有时间约束和次序约束的实时任务,即功能块任务和通信任务的建模与调度．首先,将功能块任务和通信任务等视为相同的任务,在只考虑任务间次序约束的情况下,提出了基于紧凑模式的任务模型,以保证每个作业被尽可能早地完成．其次,考虑单网段通信任务共享一个传输介质而引起的通信超时,提出了基于作业速率单调优先级算法的扩展紧凑模式的任务调度算法,以满足实时任务的时间约束和次序约束．最后,通过一个应用实例来描述实时任务的调度过程．     

ARINC653实时任务可调度性验证方法

针对综合模块化航空电子系统(Integrated Modular Avionics,IMA)存在周期任务和非周期任务,以及任务间依赖关系,传统方法不能准确验证其实时任务可调度性的问题,本文提出了一种基于Stopwatch时间自动机的ARINC653实时任务可调度性验证方法,利用模型检验工具UPPAAL对IMA系统进行建...     

一种面向部分可重构系统的实时调度算法

针对当前可重构资源模型难以实现或资源利用率低等不足,提出一种新的资源模型。基于此模型,设计一种能够调度周期和非周期任务的混合实时任务调度算法。把周期任务分成若干组,在FPGA上为每组任务预留一个槽。当有非周期任务到达时,预先调度当前忙碌期内的所有周期任务,在保证当前忙碌期内周期任务满足截止期限且不影响下一个忙碌期内周期任务执行的情况下,把非周期任务调度到某个槽内执行。实验结果表明,该算法能够充分利用可重构资源,满足所有接收任务的截止期限。     

基于概率的实时任务可调度性分析方法

实时任务可调度分析是保证实时系统正确性的重要手段之一,目前现有的基于周期性任务模型的确定性分析方法比较保守,不适合于多媒体,通讯等软实时系统的可调度性分析,本文提出一个基于概率的分析方法,以概率的形式对系统中实时任务的可调度性进行分析。     

系统安全工程中信任度评估模型和方法

1 引言随着Internet的普及,人们在享受网络所带来方便和效益的同时,面临着信息安全方面的巨大挑战。计算机病毒、黑客攻击、信息非法获取等对网络信息系统安全带来严重威胁,并造成了巨大经济损失。因此,网络信息安全问题已引起包括我国在内的世界各国政府的普遍关注,并投入巨资开发安全产品,以保护网络信息系统的安全。网络信息系统安全涉及诸多领域和学科,必须按照系统工程的方法来解决。系统安全工程旨在分析企业存在的安全风险,建立相平衡的安全需求,通过融合各种工程学科将安全需求转换为贯穿系统整个生命周期的工程实施指南。系统安全工程活动的生命周期包括概念定义、需求分析、系统设计、开发、集成、安装、操作、维护,甚至系统退役,将涉及众多安全方面的问题,如计算机安全、网络安全、通讯安全、信息安全、操作安     

软件可靠性工程框架和评估系统实现

给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability),并已经被实际     

一种实时任务可调度性预测研究

对于嵌入式系统来说,通过预测一个任务能否在绝对时限之前运行完成而决定是否调度执行是很有意义的.在ARMLinux上,为了对新任务的运行结束时间进行预测,对它的内核作了修改,按优先级排序就绪队列,每次时钟中断判断是否有优先级比当前任务更高的任务就绪,以决定是否调度,去掉了SCHED_RR调度策略,这样新任务的运行结束时间可以得到准确的计算,并根据任务的绝对时限来判断对新任务的接受和拒绝,对修改后的内核进行了试验验证.     

实时系统中任务可调度性研究

讨论了有关实时调度理论,对实时系统采用了时间Ｐｅｔｒｉ Ｎｅｔ方法来建模,并运用实时调度理论对系统中的任务可调度性能进行了全面分析,给出了详细的分析步骤。     

系统安全工程能力成熟模型(SSE-CMM)及其评估方法

系统安全工程能力成熟模型（SSE－CMM）是一种评估安全产品信任度的重要方法，它通过评估从事系统安全工程组织的能力成熟度来建立对该组织所开发安全产品的信任度，并且评估结果具有连续性，可重复性和有效性，从而简化了对安全产品的认证实践，本文主要论述了SSE－CMM模型及其评估方法。     

Web系统维护中的逆向工程研究

分析丁软件维护当中的问题,提出了一种针对Web系统的逆向工程方法。该方法以Web站点为输入分析页面的源码,从页面链接和交互进行逆向,构建出站点的部署和任务模型,从而直观地表示出对维护人员有帮助的系统信息,同时介绍了笔者自行开发的逆向工程辅助工具。通过该方法．维护人员能够直接得到系统信息,而不必去分析源代码,克服了缺乏设计文档的困难。通过一个web站点的逆向实例,演示了这种方法。     

MUF评价软件系统设计

为对平衡区的物料进行快速准确评价,采用DELPHI程序编程语言设计MUF评价软件系统,以快速准确地进行MUF计算。     

软件工程课程体系研究

基于对软件工程课程体系现状的分析,本文指出软件工程课程体系改革的必要性,同时提出了软件工程课程体系改革的主要内容。     

实时多任务操作系统的开发与应用

介绍了适用于实时嵌入式系统的操作系统软件———IR-OS的开发及其在智能脱扣器系统中的应用。IR-OS采用了微内核结构设计,基于抢占式优先级调度,内核代码简洁,并提供良好的开发接口。将IR-OS作为实时嵌入式系统的开发和运行平台,不但克服了传统顺序结构设计所带来的代码结构复杂、可移植性差和功能扩展不方便的缺点,而且具有更好的实时性、稳定性和可靠性。     

多种交易方式并存的实时交易系统中数据的组织访问方法

多种交易方式共存的复杂交易系统,数据的组织形式和访问方法决定了系统处理各类交易业务的任务调度方式、系统的性能指标和执行效率。研究实现的多任务实时交易系统采用共享内存组织交易数据,并对不同类别的数据采用不同的存储结构,改进、优化了数据的访问方式,支持高效的数据处理,使系统获得了极高的性能和运行效率,解决了由于多种交易方式共存引起的交易系统复杂、低效等问题。     

工程飞行仿真系统中实时监控系统的开发

工程飞行仿真系统是飞机设计研制及飞行员训练过程中不可缺少的工具,而实时监控系统对于处理飞行仿真中的大量数据,提高仿真效率起着重要作用。该文根据飞行模拟器的专用要求,总结了实时监控系统的功能特点,并详细阐述了系统结构,实时监控多线程管理,监控曲线绘制模块和仿真数据处理模块的设计方案。该系统经实际应用,满足工程飞行仿真的各项技术要求。     

优化系统架构 提升消费提醒实时性

随着业务的发展,现有的套餐内各种免费量抵扣范围和共享规则越来越复杂,出现了可选包、加装包等多重营销的免费量共享组合以及跨套餐的免费量共享模式。为用户能够更清晰明了地掌握套餐内和套餐外的实时消费情况,本文通过对现有短信提醒模型的设计优化,使短信提醒模块在功能、性能和套餐覆盖范围上都有较大提升,扩大了前台免费量使用查询的范围,达到用户前台可解释的目标。使广大用户可以享受到实时提醒带来的更多便捷,真正做到"轻轻松松使用,明明白白消费"。     

虚拟工程实时漫游系统技术研究

分析了虚拟现实技术的基本原理,结合当前比较可行的技术,研究并实现了基于虚拟现实技术的虚拟工程三维形象实时漫游系统,给出了模型的建立、转换及调用方法,并实现了一个应用系统。     

铁路工程项目评价系统开发

文章分析了现有铁路投资项目经济评价存在的问题,提出了以应用决策支持系统的形式开发铁路投资项目经济评价系统,并给出了系统的功能模型,着重描述了基础数据处理、报表生成和财务指标计算等问题.系统适用于新建、改扩建和项目后评价,实践表明该系统能有效地对投资项目进行经济评价,具有一定的实用价值.     

Development of Software Engineering: A Research Perspective

In the past 40 years, software engineering has emerged as an important sub-field of computer science and has made significant contribution to the software industry. Now it is gradually becoming a new independent discipline. This paper presents a survey of software engineering development from a research perspective. Firstly, the history of software engineering is reviewed with focus on the driving forces of software technology, the software engineering framework and the milestones of software engineering development. Secondly, after reviewing the past academic efforts, the current research activities are surveyed and new challenges brought by Internet are analyzed. Software engineering researches and activities in China are also reviewed. The work in Peking University is described as a representative.