OSEK/VDX OS服务调用的规范一致性检测方法

OSEK/VDX（open systems and the corresponding interfaces for automobile electronic/vehicle distributed executive） OS规范描述了一个嵌入式实时操作系统,对系统服务调用的上下文做了严格的限制。违反系统服务调用规范是一种很隐蔽的错误,不会被编译器发现。提出一种OSEK/VDX OS系统服务调用规范一致性的检测方法,利用森林图描述用户自定义代码中的函数及其调用关系,采用矩阵描述OSEK/VDX OS系统服务调用的规则,遍历该森林图的函数调用路径,对于每条路径,结合该规则矩阵判断其规范一致性。实验和分析表明该方法能有效地检测用户自定义代码中隐藏的违反OSEK/VDX OS系统服务调用规范的错误。     

基于OSEKTime的共存模型的改进与实现

OSEKTime规范提出了基于时间触发操作系统与基于OSEK/VDX标准实现的操作系统的共存模型.在分析OSEKTime 规范的基础上,针对该规范的消息触发任务存在着非实时性问题,提出并实现了一种合理的、能与OSEK OS共存的实时时间触发操作系统,确保了时间触发任务的实时性和对消息触发任务的死限时间内的及时处理.     

基于OSEKTime的共存模型的改进与实现

OSEKTime规范提出了基于时间触发操作系统与基于OSEK/VDX标准实现的操作系统的共存模型。在分析OSEKTime规范的基础上,针对该规范的消息触发任务存在着非实时性问题,提出并实现了一种合理的、能与OS-EK OS共存的实时时间触发操作系统,确保了时间触发任务的实时性和对消息触发任务的死限时间内的及时处理。     

基于WinCE的OSEK-COM规范通信模块设计与实现

OSEK/VDX规约在汽车电子控制系统中有着重要地位,规范了系统开发中的各个环节。本文设计了一种符合OSEK/VDX Com-munication规约的基于WinCE的车载终端通信模块,并针对实际应用环境对规范进行了扩展。最后通过在Samsung S3C6410平台上的实现,对模块进行了验证与测试。     

基于OSEK/VDX的操作系统任务调度算法的优化及实现

OSEK/VDX是用于汽车电子的开放式平台系统规范。基于此规范,提出了一种任务管理机制和任务调度算法,该算法要求在建立任务时确定任务的时限,当任务的时限达到时提高其优先级,保证该任务得以运行,使系统在保证高优先级任务得以运行的同时保证低优先级任务和同优先级下的多个任务也得以运行,从而保证了系统的实时性。     

基于π演算的云服务安全检测

利用π演算对云服务流程进行形式化描述,基于描述结果给出一种针对用户越权访问和服务不完整两种安全性问题的检测方法.基于云环境下的虚拟机部署实例对该方法的流程进行了说明,并将该方法与Bayes网和预测规则集等安全检测方法进行对比.结果表明,该方法能同时保证云服务过程的一致性和安全性.     

针对内核扩展函数出错处理的日志自动注入方法

提出一种日志自动注入的方法，解决驱动程序中的内核扩展函数调用不规范的问题。首先静态扫描源程序，当发现程序中调用了内核扩展函数但没有检测返回值时，则在调用后自动插入对返回值的检测代码，并使得这些函数在执行发生错误时会被日志记录。一旦系统发生崩溃，这些日志信息将成为关键的调试依据。实验结果表明，该方法对系统性能影响很小，且可以帮助调试人员更高效地定位和调试内核模块错误。     

基于OSEK/VDX的乘用车车身CAN网络管理与实现

介绍了基于OSEK/VDX规范的车身CAN网络管理方法,定义了帧的传输类型,对间接网络管理作了深入的研究,并且给出了间接网络管理中监督帧的设计方法及具体实现方式。同时对网络状态作了阐述,完善了网络管理的内容。通过监督帧的设计和网络节点的C MUTE和C ABSENT计数器规则的阐述解决了车身网络管理的关键技术,通过实际应用验证了方法的可靠性。     

Verilog HDL代码生成与验证工具设计与实现

为规范代码设计模式,提高代码编写效率,减少编码错误,设计并实现了基于设计模式的可视化Verilog HDL代码生成与验证工具。对比现有代码生成方式,参考ZIPC表格设计思想,实现自定义模块模式、模板模式和在线编辑模式三种代码生成模式。最后,通过对代码生成工具的功能测试和性能测试分析,在2000个用户并行访问情况下,系统达到最高吞吐量,系统性能达到峰值。结果表明,该代码生成与验证工具可有效提高编码效率和质量,为该类设计提供了新的思路。     

基于NS2的控制器局域网网络管理模拟系统

为了提高控制器局域网(Controller area network,CAN)环境下OSEK/VDX直接网络管理(Network management,NM)系统的开发效率,本文提出了一种CAN网络管理模拟系统。其通过对经典网络协议模拟模块的分析与对CAN总线协议特性的抽象,利用Network Simulator 2实现了对CAN总线协议与网络拓扑的模拟,并由直接NM模块实现了网络管理功能。实验证明,该模拟系统不仅可生成与真实系统一致的结果,而且可在开发过程中有效地实现对分布式系统统一的参数调整与测试。     

基于多智能体的机电设备嵌入式控制系统设计方法

提出了一种利用多智能体（Multi—Agent Systems,MAS）方法学指导复杂机电设备嵌入式控制系统开发的方法．该方法利用智能体（Agent）概念处理复合型控制系统的多个子控制器;用MAS方法学指导构造Agent之间的通信及协调机制;利用多任务实时操作系统（Real—Time Operating System,RTOS）的多任务并行处理能力和系统服务在嵌入式系统中实现MAS系统,本方法已经应用于遥操作移动机器人嵌入式控制系统的开发．     

一个实时操作系统的设计及实现

设计并实现一个具有伸缩性和较高响应速度的实时操作系统,在设计和实现和过程中,借鉴了微内核和面向对象的思想,引入延时过程调用机制。实现了一个最小可裁剪到7K,并具有较高响应速度的实时操作系统。     

一种基于消息中间件的协议一致性测试系统

针对传统的协议一致性测试系统多采用单机架构或基于某些特定的平台,缺乏足够的通用性和可扩展性的这些问题,本文提出并设计了一种基于消息中间件的协议一致性测试系统.利用面向服务架构的消息中间件实现分布式运行环境,不仅增强消息传输的效率和可靠性,还支持对消息传输流程的扩展和重组等.最后,通过实际的测试应用,验证了该系统的通用性、实时性和可扩展性.     

基于Small RTOS51的加速溶剂萃取仪器的研制与开发

介绍基于嵌入式实时操作系统Small RTOS51的加速溶剂萃取仪APLE2000设计的工作原理，硬件的组成和功能，嵌入式操作系统的选择以及使用Small RTOS51进行软件设计的过程，包括任务的划分、信号量的使用及驱动程序的设计等，给出应用Small RTOS51嵌入式操作系统设计的加速溶剂萃取仪器的试验数据。     

TD—SCDMA移动终端协议一致性测试技术的研究

根据我国基于TD－SCDMA技术的第三代移动通信系统的发展战略，提出TD－SCDMA移动终端协议一致性测试技术的研究。着重介绍了一致性测试的原理，TD－SCDMA移动终端协议一致性测试的方法，测试系统的设计和实现，抽象测试集的生成。通过对该项技术的研究，可为TD－SCDMA移动终端设备提供标准的、实用的协议一致性测试方法和工具，以解决接入网络时产生的协议非一致性问题。     

基于UML的门诊预约挂号系统建模

首先对医院门诊预约查询系统开发背景进行了简要的介绍,其次运用UML对系统进行了需求分析、确定系统范围和系统边界、定义活动者、定义用例,画出系统的静态结构图并建立系统动态行为模型,最后实现了门诊预约挂号系统。该系统可以作为医院的信息化建设和信息化管理的一个部分。解决了医院门诊预约挂号的实际问题,可以通过网络实现门诊预约,免去病人在医院排队和等待的时间,使得医院更好地服务病人。     

SIP Conformance Testing Based on TTCN-2

The session initiation protocol (SIP) is a signaling protocol for Internet telephony, multimedia conferencing, presence, event notification, and instant messaging. With the gaining popularity, more and more SIP implementations have been developed and deployed. How to guarantee the conformance of those SIP implementations is the key point of interconnection and interoperation among them. This paper proposes the test method and architecture for the SIP protocol based on the IPv6 tester system. Tree and tabular combined notation (TTCN-2) is adopted to describe the test suite. With an enhanced reference implementation, the data-processing ability to the original test system has been greatly improved. In the following test practices, some errors have been found in the SIP entities under test. It is proved that the proposed test method and architecture are effective to verify the conformance of the SIP entities, and the result of the conformance test may provide helpful reference to the development of SIP products.     

基于Symbian的无线信息设备远控技术的研究

Symbian操作系统作了介绍,提出了对基于Symbian OS的无线信息设备进行远程控制的设计方案,及相关程序的实现.     

Advanced ECU Software Development Method for Fuel Cell Systems

The electronic control unit （ECU） in electrical powered hybrid and fuel cell vehicles is exceedingly complex. Rapid prototyping control is used to reduce development time and eliminate errors during software development. This paper describes a high-efficiency development method and a flexible tool chain suitable for various applications in automotive engineering. The control algorithm can be deployed directly from a Matlab/Simulink/Stateflow environment into the ECU hardware together with an OSEK real-time operating system （RTOS）. The system has been successfully used to develop a 20-kW fuel cell system ECU based on a Motorola PowerPC 555 （MPC555） microcontroller. The total software development time is greatly reduced and the code quality and reliability are greatly enhanced.     

嵌入式实时系统中分布式RTOS的设计与实现

在构建入嵌入式实时系统的分布式硬件平台基础上，研究了嵌入式实时系统中分布式RTOS的设计与实现问题，抽象出应用于此类系统的RTOS层次模型，并给出了实时通信核心技术和分布任务调度策略。