圖3 定時事件及相關框架元素
事件管理器創建一個OXFTimeout對象并將其交由一個定時管理器管理。定時管理器可以管理多個定時事件，它運行于自己的獨立線程內且聚合了一個定時器對象。定時器對象每衛固定的時間片會向定時管理器發通知信號，這時定時管理器檢查它管理的定時事件集合中是否有定時事件到時，并將到時的定時事件添加到事件管理器（活動對象）的事件隊列中（通過調用queueEvent），之后事件管理器再將這些定時事件投遞給對應的響應對象。定時事件本身是被動的，它不包含定時器。
（4）狀態機
Rhapsody支持UML狀態機（State Machines），包括層次狀態分解、帶參事件、定時事件、偽狀態、完成轉移、入口和出口動作等功能。Rhapsody也包含了UML中定義的異步事件處理模型：帶有狀態圖的類都是響應類，因此都與一個事件管理器（活動類）關聯。事件管理器使用一個隊列緩沖收到的事件，然后將事件投遞給響應對象。響應對象按照狀態圖處理收到的事件。
OXF框架使用OXFEvent Consumer、OXFState、OXFLeafState等實現UML狀態機的語義。限于篇幅，本文對此不作介紹。
（5）并發控制
Rhapsody的OXF框架使用如下兩個類實現對實時系統資源的并發控制（Concurrency Control）。
*OXFOSMutex：包裝了實時操作系統的互斥量對象，支持lock（）和free()操作�；コ饬坑糜诠芾愍氄夹再Y源。
*OXFOSSemaphore：包裝了實時操作系統的信號量對象，支持wait()和signal()操作。信號量用于管理共享資源。
UML類的方法可以聲明為guarded。這時類被稱為protected。protected類用于對獨占性資源進行建模，在任何時刻只可有一份guarded方法執行，OXF框架以OXFProtected定義UML protected類，它充當所有用戶protected類的父類。
（6）模型的調試及分析
Rhapsody允許用戶單步執行狀態圖和順序圖以驗證系統的功能和邏輯。系統執行過程中，對象的方法調用和狀態改變都可以在模型圖上以動畫的形式表現出來。
除了功能和邏輯上的正確性之外，實時系統還對系統的響應時間有嚴格的要求。對實時系統響應時間的測試稱為調度性分析，主要使用兩種方法。
①經驗法：給系統注入實時測試數據，然后測量系統的相應性能。
②理論分析：為系統模塊設定足夠的時間信息，然后用數學方法計算系統的整體相應性能。此方法通常需借助專用的軟件工具完成。
圖4 定時事件的調度和投遞
Rhapsody支持基于經驗的調度性分析。用戶需要為對象方法設定估計的執行時間，并編寫一個驅動腳本或狀態圖以模擬系統的觸發事件。驅動腳本和狀態圖啟動之后，Rhapsody會按照設定的時間參數和程序邏輯運行模型并輸出詳細的執行過程報表。用戶通過檢查執行報表判斷系統是否滿足要求的響應性能。Rhapsody也允許用戶在目標硬件系統運行驅動腳本或狀態圖，以獲得最準確的執行時間報表。
結語
實時嵌入式系統應用的開發越來越復雜，因此有必要對嵌入式項目實施嚴格的軟件工程管理。UML已成為復雜系統建模的工業標準，其狀態機模型與實時嵌入式系統極好地對應，且便于借助CASE工具實現代碼自動生成，能夠極大地提高實時嵌入式軟件的開發效率和項目可管理性。
Ilogix公司的Rhapsody工具便是一種支持實時UML標準的嵌入式系統軟件工具，它基于內置的OXF框架實現從系統的分析、設計到代碼自動生成的開發過程自動化。OXF框架是面向對象和跨RTOS平臺的，它很好地將UML的概念移植到實時嵌入式系統中來，為嵌入式系統的開發提供了清晰的結構以及可復用的軟件模塊，能夠切實提高實時嵌入式軟件的開發效率和可維護性。