(4)状态机

    Rhapsody支持UML状态机(State Machines)，包括层次状态分解、带参事件、定时事件、伪状态、完成转移、入口和出口动作等功能。Rhapsody也包含了UML中定义的异步事件处理模型：带有状态图的类都是响应类，因此都与一个事件管理器(活动类)关联。事件管理器使用一个队列缓冲收到的事件，然后将事件投递给响应对象。响应对象按照状态图处理收到的事件。

    OXF框架使用OXFEvent Consumer、OXFState、OXFLeafState等实现UML状态机的语义。限于篇幅，本文对此不作介绍。

    (5)并发控制

    Rhapsody的OXF框架使用如下两个类实现对实时系统资源的并发控制(Concurrency Control)。

    *OXFOSMutex：包装了实时操作系统的互斥量对象，支持lock()和free()操作。互斥量用于管理独占性资源。

    *OXFOSSemaphore：包装了实时操作系统的信号量对象，支持wait()和signal()操作。信号量用于管理共享资源。

    UML类的方法可以声明为guarded。这时类被称为protected。protected类用于对独占性资源进行建模，在任何时刻只可有一份guarded方法执行，OXF框架以OXFProtected定义UML protected类，它充当所有用户protected类的父类。

    (6)模型的调试及分析

    Rhapsody允许用户单步执行状态图和顺序图以验证系统的功能和逻辑。系统执行过程中，对象的方法调用和状态改变都可以在模型图上以动画的形式表现出来。

    除了功能和逻辑上的正确性之外，实时系统还对系统的响应时间有严格的要求。对实时系统响应时间的测试称为调度性分析，主要使用两种方法。

    ①经验法：给系统注入实时测试数据，然后测量系统的相应性能。

    ②理论分析：为系统模块设定足够的时间信息，然后用数学方法计算系统的整体相应性能。此方法通常需借助专用的软件工具完成。

    Rhapsody支持基于经验的调度性分析。用户需要为对象方法设定估计的执行时间，并编写一个驱动脚本或状态图以模拟系统的触发事件。驱动脚本和状态图启动之后，Rhapsody会按照设定的时间参数和程序逻辑运行模型并输出详细的执行过程报表。用户通过检查执行报表判断系统是否满足要求的响应性能。Rhapsody也允许用户在目标硬件系统运行驱动脚本或状态图，以获得最准确的执行时间报表。

    结语

    实时嵌入式系统应用的开发越来越复杂，因此有必要对嵌入式项目实施严格的软件工程管理。UML已成为复杂系统建模的工业标准，其状态机模型与实时嵌入式系统极好地对应，且便于借助CASE工具实现代码自动生成，能够极大地提高实时嵌入式软件的开发效率和项目可管理性。

    Ilogix公司的Rhapsody工具便是一种支持实时UML标准的嵌入式系统软件工具，它基于内置的OXF框架实现从系统的分析、设计到代码自动生成的开发过程自动化。OXF框架是面向对象和跨RTOS平台的，它很好地将UML的概念移植到实时嵌入式系统中来，为嵌入式系统的开发提供了清晰的结构以及可复用的软件模块，能够切实提高实时嵌入式软件的开发效率和可维护性。