面向对象技术在实时系统中的应用

本文在介绍实时系统特性的基础之上，讨论了软件工程在实时系统领域的发展．对用面向对象的方法设计实时软件系统中遇到的一些问题进行了祥细的探讨，并对面向对象的实时语言，面向对象的实时模型进行了介绍。     

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

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

一种基于UML的实时工作流建模方法研究

实时系统由于其业务对时间要求的特殊性,使得传统工作流技术难以满足其需求.在传统工作流的基础上,针对实时系统提出了实时工作流的概念,并建立了实时工作流元模型.与传统的工作流相比,主要对工作流的时间约束和异常处理进行了考虑.在活动上扩展了启动时间和执行时间,在工作流过程上扩展了执行时间,在并发活动上扩展了并发时间约束等,此外,元模型中还考虑了活动的超时异常以及应用程序和活动之间的执行关系.为了能够利用实时工作流元模型进行实时工作流建模,通过扩展UML定义了一种实时工作流描述语言,并分别从设计要求、定义技术和profile三个方面对实时工作流描述语言进行了阐述,给出了实时工作流的建模规则.最后结合船舶指控系统的具体实例,对建模方法进行了说明.     

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

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

专用实时系统的系统级设计方法

1 系统级设计复杂的计算机应用,如嵌入控制、信号处理、自动化、计算机实时图象生成等,所要求的系统往往是专用实时系统,且具有分布、复杂、并发等特点。一个专用实时系统通常包含了通用硬件、软件,专用硬件、软件,并通过一系列传感器,执行机构与环境发生交互作用。在系统设计之初根据设计需求为这种系统建立一个概念模型是至关重要的。作为文档它不但要被来自不同的工程领域的设计参与者所理解,而且应成为专用实时系统硬件和软件设计的良好起点。系统的概念模型最终将转换成系统设计方案并付诸实施。为了获得对系统行为的深入了解并确认系统的设计和实现满足了系统的设计需求,应能对系统的概念模型及由概念模型得到的系统实现进行分析。     

基于双层调度框架的开放式实时系统非实时应用调度

在开放式实时系统中,多类型实时和非实时应用同时并存,这给系统调度机制带来了新的需求和挑战。对一种开放式实时系统调度机制进行了简单的介绍,指出了非实时应用调度时不可抢占区可能影响系统可调度性,并提出了一种解决方案,弥补了原有调度机制的缺点,完善了开放式实时系统的双层调度框架,保证了开放式实时系统并存多类型实时及非实时应用的可调度性。     

基于消息端口的O(1)时限分布式异常处理机制研究

研究异常处理机制与分布式实时处理相关的指标及构件,分析目前的异常处理机制类型及特点,提出地消息端口的分布式实时系统异常处理机制,该机制基于消息服务器和端口变量通信机制,首次实现动态可重构的Ｏ（１）时限分布式异常处理。     

请求驱动的校务管理系统异常处理机制

异常处理机制是所有WEB应用设计中的关键组成部分,Spring MVC框架提供了异常处理接口和多种解析器. 通过源码分析法深入探讨了各种解析器的工作原理,总结得出它们的时间复杂度并进行了应用方式对照. 结合我校在校务管理系统基础框架上异常处理的应用需求情况,将异常划分为业务异常和系统异常两大类,设计并实施一个包含AJAX异常处理和ExceptionHandler统一异常处理的异常机制.     

通信领域中嵌入式软件异常处理模块分析与实现

异常处理是实现嵌入式应用软件系统可靠性和容错性的重要手段。该文探讨了通信领域内嵌入式软件设计中异常处理的相关技术，分别以X86和PowePC硬件平台为例对异常发生时的运行栈进行了深入的分析，给出了一种通信领域内较通用的异常处理模型，并基于商用嵌入式操作系统VxWorks讨论了该模型的实现。     

程序设计语言异常处理机制

介绍程序设计语言异常处理的基本概念，对Ｃ＋＋、ＣＬＵ、Ｅｉｆｅｌ几种语言中的异常处理进行了说明与比较，并就如何利用这种机制提高软件可靠性进行了讨论。     

一种静态分析C^＋＋异常处理的方法

异常处理是现代程序设计语言提供的用来提高软件健壮性的一种机制。由于在C^＋＋的函数界面中并不要求声明该函数所能传播出的异常的类型，所以要想提高系统的健壮性，必须清楚在程序的执行过程中可能引发的异常、异常的传播路径等。然而在大型系统中，要想确定这些信息是非常困难的。本文针对C^＋＋的异常处理机制，首先提出了一个描述C^＋＋异常结构信息的模型，并把该模型应用于递归函数中。然后，描述了一个基于该模型的分析C^＋＋程序异常结构信息的工具CETool。该工具能提供所有显式引发异常的有关信息，为系统中异常处理结构的改进和程序的结构测试提供有价值的信息。最后给出了该工具的实现方法和应用实例。     

Java异常处理机制应用研究

异常处理机制是Java程序设计中的一个重要方面,正确使用异常处理的策略和方法,能够确保Java程序结构的清晰性、易读性和健壮性。分析了Java异常的体系结构,阐述了异常分类与处理机制,提出了异常处理的一般原则和一种异常处理框架,并结合实际应用对该框架进行了详细描述。     

基于异常检测和处理的动态适应性工作流

异常的检测和处理是工作流系统执行过程中必须解决的关键性问题之一.给出了异常的分类,并给出了异常自身及其处理方法的形式化描述;实现了利用消息传递机制作为异常的检测方法,并结合异常适应库来提供异常处理的执行策略和处理措施;通过为相应的措施设计特定的操作原语,从而为其转变为实际的编码提供了可能.     

高校教师教学资源管理系统中异常处理模式分析

在高校教师教学资源信息系统开发过程中,异常处理是非常重要的一个环节,java已经提供了一种良好的异常处理机制。目前流行的MVC框架均提供了异常的处理拦截器,合理的异常处理机制将会提高信息系统开发中异常管理的效率。     

异常处理——一种提高软件健壮性的方法

Exception handling is a technique that tests and handles exception events. Unlike the traditional methods that usually deal with exceptions at later design and implementation phases and easily result in many problems, we emphasis that sufficient attention should be paid to software exception handling during the development of the soft-ware requirements definition. By enforcing this policy through all phases of software development, the level of ro-bustness can be improved considerably. In this paper, the concepts of exception handling are firstly introduced, then the methods of exception handling are discussed, all kinds of exception handling methods and tools are also compared.The current problems and future directions are analyzed at the end of the paper.     

Unveiling and taming liabilities of aspects in the presence of exceptions: A static analysis based approach

As aspects extend or replace existing functionality at specific join points in the code, their behavior may raise new exceptions, which can flow through the program execution in unexpected ways. Assuring the reliability of exception handling code in aspect-oriented (AO) systems is a challenging task. Testing the exception handling code is inherently difficult, since it is tricky to provoke all exceptions during tests, and the large number of different exceptions that can happen in a system may lead to the test-case explosion problem. Moreover, we have observed that some properties of AO programming (e.g., quantification, obliviousness) may conflict with characteristics of exception handling mechanisms, exacerbating existing problems (e.g., uncaught exceptions). The lack of verification approaches for exception handling code in AO systems stimulated the present work. This work presents a verification approach based on a static analysis tool, called SAFE, to check the reliability of exception handling code in AspectJ programs. We evaluated the effectiveness and feasibility of our approach in two complementary ways (i) by investigating if the SAFE tool is precise enough to uncover exception flow information and (ii) by applying the approach to three medium-sized ApectJ systems from different application domains.     

Static analysis of exception handling in Ada

Since the signature of an Ada subprogram does not specify the set of exceptions that the subprogram can propagate, computing the set of exceptions that a subprogram may encounter is not a trivial task. This is a source of error in large Ada systems: for example, a subprogram may not be prepared to handle an exception propagated from another subprogram several layers lower in the call-tree. In a large system, the number of paths in exceptional processing is so great that it is unlikely that testing will uncover all errors in inter-procedural exception handling. Nor are compilers or code inspections likely to locate all such errors. Exception handling is an area where static analysis has a high potential payoff for systems with high reliability requirements. We discuss fundamental notions in computing exception propagation and describe an analysis tool that has proved to be effective in detecting inconsistencies in the exception-handling code of Ada applications.     

Exceptional C or C with exceptions

C does not have exception handling facilities. Errors are handled by examining the value returned by each function and signals (conditions reported to the program) are handled by using library functions. These approaches lead to ad hoc error-handling techniques and can make programs hard to understand. Exceptional C, a superset of C, provides exception handling facilities. Exceptional C integrates the two techniques used by C programmers (i.e., status values and signals) to handle errors into one unified exception handling mechanism. In this paper, I review exception handling models, specify the criteria used for designing the exception handling facilities in Exceptional C, and then describe these facilities. I also illustrate the use of the exception handling facilities with examples.     

一种策略驱动的BPEL流程异常处理框架

如何提高BPEL流程异常处理的开发效率是策略驱动的BPEL流程异常处理方法亟待解决的关键问题之一.首先分析了基于策略的BPEL流程异常处理机制,设计了一种新的BPEL流程异常处理策略描述语言BPEH/PDL,然后结合BPEH/PDL异常处理策略,给出了一种新的BPEL流程异常处理框架BPEH/F,它具有一定的应用意义.     

User responsibility and exception handling in decision support systems

The role of user responsibility in decision support systems (DSS) has been omitted in recent studies of some important issues. One such important issue is exception handling. In this short note, the role of user responsibility in exception handling is examined. The importance of user responsibility is emphasized, a possible approach is outlined which supports user responsibility in exception handling through the consideration of mental models.