VxWorks在实时遥测数据处理系统中的应用

以VxWorks在实时遥测数据处理中的应用为例，讨论了VxWorks在实时系统开发中的特点及性能、实时环境下多任务的设计技术以及VxWorks系统中设备驱动程序的编写。     

专用实时母系统与实时屏幕管理

实时屏幕管理是作者“七·五”期间独立提出并潜心研制的专用实时母系统的重要功能．作为一个精巧构筑起来的实时多窗口系统,它所提供的虚显示,虚键盘和虚终端等机制,在各种专用实时系统,特别是实时监测和实时测控系统中,应用前景极其广阔．本文阐明其设计和实现中的若干问题．     

实时测控网络协议研究

通过对实时测控网络系统的深入分析，针对实时系统的特点，有选择地利用现有的硬件，从而降低系统的造价，是一种具有重要价值的专用网络协议。     

iRMX for PCs实时操作系统

做为Intel的iRMX实时操作系统的另一个版本,iRMX for PCs操作系统使得采用Intel 386或486CPU的计算机变成实时系统,而却不需要专用的计算机或Microsoft Windows软件。 iRMX for PCs操作系统是专门为那些需要进行实时系统应用开发的用户而设计的,它突破了DOS操作系统640K内存的限制并且可以应用于任何实时应用的场合。例如,iRMX for PCs使得个人计算机(不是专用的实时系统)可用于销售点业务处理、过程控制、工     

Windows设备驱动程序的实时内核设计

针对工业控制领域中对Windows操作系统的实时性需求,提出在Windows驱动程序中设计实时内核并进行任务调度的方法.着重研究了Windows驱动实时系统的实现方案和系统结构以及实时内核的任务调度设计和任务切换过程,完成了Window s驱动实时系统的设计与开发工作.通过对所设计系统的测试,验证了系统具有较好的实时性能,能满足一般工业控制场合的需求.     

实时容错调度算法的自动模拟系统模型与设计

实时容错技术是实时系统中的关键技术之一,而实时容错调度算法则是实时容错研究领域中需要重点研究的问题。传统的实时容错调度算法的性能模拟是通过手工完成的,如果采用自动模拟方法,可以提高模拟实验的效率和准确性。首先给出一个实时容错调度算法的自动模拟系统模型,该模型定义了自动模拟系统中的关键参数。然后,提出了实时容错调度自动模拟算法。最后,研究了该自动模拟系统的软件结构。文章研究的自动模拟系统具重要的指导     

实时容错调度算法的自动模拟系统模型与设计

实时容错技术是实时系统中的关键技术之一,而实时容错调度算法则是实时容错研究领域中需要重点研究的问题.传统的实时容错调度算法的性能模拟是通过手工完成的,如果采用自动模拟方法,可以提高模拟实验的效率和准确性.首先给出一个实时容错调度算法的自动模拟系统模型,该模型定义了自动模拟系统中的关键参数.然后,提出了实时容错调度自动模拟算法.最后,研究了该自动模拟系统的软件结构.文章研究的自动模拟系统具重要的指导意义,可以参考该系统设计其他类型的调度算法的自动模拟系统.该系统的实现可大大节省用于研究实时容错调度算法的时间和费用.     

RTCS：一种具有精确语义的实时构件描述机制

大规模和复杂的实时系统可以显著获益于基于构件的软件开发方法，即通过已有的经过验证的可复用构件来构造实时系统，如能将这一集成过程自动化，将会显著提高实时系统的开发效率。通过对实时任务特性的分析，在Timed CSP等形式化工具的基础上，提出了一种具有精确语义的实时构件描述机制-RTCS，并探讨了在实时COR—BA架构内利用RTCS实现构件自动生成的方法。     

基于EDF算法的可行性判定及实现

实时调度算法是实时系统中的关键技术。验证实时调度算法的可行性是在实时系统中实施某种调度算法的必经环节。在介绍实时系统中常用的各种实时调度算法．包括固定优先级调度算法和动态优先级调度算法基础上．详细分析了动态优先级调度算法EDF算法的运算过程和使用条件。提出了该算法在实际应用中存在的问题。针对该硬实时调度算法．提出了分别在简单模型上和复杂模型上如何判定实时任务的可行性。为实际应用中实现该实时调度算法确定了依据．     

基于星弹载嵌入式系统的CAN总线驱动技术研究

针对CAN总线在控制外围设备方面的优势,对基于SJA1000的CAN总线驱动软件的设计与实现展开研究;通过分析星弹载嵌入式系统层次结构和设备驱动的调用关系,提出了通过操作系统的扩展模块调用CAN总线驱动程序的设计理念;结合相关具体应用设计测试用例,并通过ZLGCANTest软件对所研发的CAN总线驱动软件进行了测试;证实所开发的CAN总线驱动软件在可靠性和实时性方面都能满足应用要求。     

Toward Compositional Verification of Interruptible OS Kernels and Device Drivers

An operating system (OS) kernel forms the lowest level of any system software stack. The correctness of the OS kernel is the basis for the correctness of the entire system. Recent efforts have demonstrated the feasibility of building formally verified general-purpose kernels, but it is unclear how to extend their work to verify the functional correctness of device drivers, due to the non-local effects of interrupts. In this paper, we present a novel compositional framework for building certified interruptible OS kernels with device drivers. We provide a general device model that can be instantiated with various hardware devices, and a realistic formal model of interrupts, which can be used to reason about interruptible code. We have realized this framework in the Coq proof assistant. To demonstrate the effectiveness of our new approach, we have successfully extended an existing verified non-interruptible kernel with our framework and turned it into an interruptible kernel with verified device drivers. To the best of our knowledge, this is the first verified interruptible operating system with device drivers.     

视频桩考仪中的图像处理技术

设计了一种不需使用特定考车、可由计算机自动判定考试成绩的汽车驾驶员视频桩考仪。采用CCD摄像机和带有红外探测器的标志杆对考场进行实时监测。通过图像去噪、滤波的图像预处理、运动目标检测、目标跟踪算法、运动目标轨迹描述等图像处理技术,实现了由计算机实时对考车序列图像进行运动轨迹跟踪、桩考汽车的路线、方向、停车和中途停车等信息实时检测和考试人员的操作是否正确的自动判断,保证了考试的公平性和合理性。     

模型驱动下的Web应用系统自动生成

为了提高Web应用系统开发效率,提出了模型驱动下的Web应用系统自动生成方法。这种生成方法是以Me—taEdit＋作为元建模工具,首先创建Web应用系统元模型、定制DSL,进而建立Web应用系统领域模型,然后通过MetaEdit＋提供的生成器定义语言MERL,软件开发人员可以很方便地设计出Web应用系统所需的JSP生成器、Servlet生成器、Jayabeans生成器和数据库生成器,从Web应用系统图形模型直接生成整个Web应用系统。最后通过一个WebShopping实例详细介绍了模型驱动下的Web应用系统生成方法及生成过程。经测试,所生成的Web应用系统可以在Windows操作系统中的Web应用服务器上正确运行。     

设备驱动程序可靠性和正确性保障方法与技术研究进展

随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件.在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色.由于与计算机平台、操作系统、设备3个方面同时关联所导致的复杂性,设备驱动程序的开发难度大、成本高,程序中所存在的错误和缺陷常常导致系统失效,在安全攸关领域造成不可挽回的损失.以设备驱动程序可靠性和正确性保障为目标,分别从故障的隔离与恢复、正确性分析和验证、设计建模与复杂性控制这3个方面对当前相关方法和技术进行分析,为开展进一步深入的研究工作打下基础.     

废气生物处理装置自动监控系统的设计

生物法处理是国内较新的一种高效工业有机废气污染治理技术，而具：有自动监控功能的智能化处理装置尚处于研制开发阶段。介绍了一种基于生物法处理技术的废气处理装置的基本结构，提出了基于PLC及网络通信技术实现其自动监控系统的方案，详细介绍了该监控系统硬件和软件实现方法。试验结果表明，该系统不仅可实现废气处理过程中各参量测定，而且可按照设定的不同工艺对装置进行自动调节控制。具有功能完善、运行稳定可靠、性价比高等特点。     

电台音频救生模块自动测试系统

介绍了基于GPIB总线的计算机与数字仪器之间的通信来实现电台音频救生模块的自动测试系统原理。系统采用了虚拟仪器软件开发平台LabWindows/CVI,利用带有GPIB接口的8648C信号源、TDS5052数字示波器与计算机连接,实现了模块的AGC响应时间指标的自动测试。详细介绍了系统的硬件组成及软件测试程序流程图,并给出了部分程序代码。最后给出了AGC响应时间的自动测试波形图,符合模块的测试要求,实验证明是可行的,对实际工程应用具有参考价值。     

基于OPC技术的工业实时监控系统

针对某公司四氧化三钴的生产过程,开发了基于OPC技术的实时监控系统。系统由OPC服务器、OPC客户端以及实时监控软件组成。在工业自动化系统中应用了OPC技术,简化了系统的结构,方便用户对数据的读取与管理,提高了监控系统的实时性和扩展性。     

电网数据实时处理的VB软件研究与实现

文章对应用VB中的Mscomnl通信控件实现Windows下微机与电网监控设备串行通信的实时接收、实时校验和实时处理的方法进行了说明,并对CRC校验进行了分析,给出了自动生成CRC码表的程序。