摘　要　 近年來，在嵌入式領域中缺乏一個成熟的始終一貫的形式化開發方法，這已成為制約嵌入式系統發展的瓶頸之一。結合統一建模語言UML，對嵌入式系統開發方法進行了有益的探索研究，提出了一種基于UML的適合于嵌入式系統的形式化開發方法，并以嵌入式遠程溫度監控系統為例，驗證了該方法的可行性和有效性。

   關鍵詞　 UML，嵌入式系統，形式化開發方法

   中圖分類號： TP31 文獻標示碼： A

   1 引言

   隨著信息產業和微電子技術的發展，嵌入式系統的功能日漸強大，結構也愈加復雜，傳統的嵌入式開發方法已不能滿足開發要求,人們開始嘗試用一些形式化的開發方法進行開發。一種適合于嵌入式系統的形式化開發方法，不僅能縮短嵌入式系統開發的周期，還能減少開發成本，提高系統質量。 結合統一建模語言UML，提出一種嵌入式系統可視化開發方法，并將其實際運用到了嵌入式遠程溫度監控系統的開發過程中，驗證了該方法的可行性和有效性。

   2 基于UML 的嵌入式系統可視化開發方法

   UML(Unified Modeling Language) 是一種定義良好、易于表達、功能強大且普遍適用的面向對象和基于構件的系統建模語言。它擴展了現有方法的應用范圍，不僅可建立軟件系統的模型，還可建立非軟件系統的模型，可廣泛用于描述系統軟件、嵌入式系統、企業機構或業務過程等。 UML由圖、視圖、模型元素、通用機制和擴展機制等幾個部分組成 。其中圖是UML建模的關鍵，根據圖在系統開發過程中不同階段的應用，可以分為用例圖、靜態圖、行為圖、交互圖、實現圖等五類，這些圖為系統的開發提供了多種圖形表達形式，應用于建模的不同階段。

   隨著嵌入式系統的日趨復雜化，較多的系統都需要由一個團隊共同完成，因此，團隊成員之間的相互合作，軟硬件之間的協同開發，乃至開發人員和客戶之間的交流都需要有一個統一的標準作為基礎。UML正是這樣一種標準的系統建模語言。它詳細描述系統的內容和工作方法，先進行系統建模后再編寫代碼，在開始階段就保證了系統結構的合理性。UML系統模型包含許多不同框圖，使項目小組可以從不同角度了解整個系統。另外,UML可以用統一的形式表現軟件和硬件，支持循環迭代并可多次修改軟硬件方案直到滿足要求，可實現軟硬件協同設計。 特別的，UML是一種語言，不是方法，它獨立于開發過程 ，所以我們可以結合UML語言提出一套針對嵌入式系統的開發過程，從而為嵌入式系統的開發提供一條新的途徑。mda.com

   文中提出的基于UML的嵌入式系統開發方法支持需求、分析、設計、實現、測試的循環迭代，使用面向對象思想，通過細化分析和設計階段的步驟，使得整個過程更有條理、充實，更適合于多任務的嵌入式系統開發。方法的需求、分析、設計過程被細化后分別包括了以下幾個步驟：

   · 需求階段明確了系統所要實現的功能以及所要達到的性能，是整個系統開發的目標。

   功能性需求：明確系統應該提供什么功能。

   非功能性需求：明確系統的特定特性或者約束。

   · 分析階段主要是精化和結構化需求，清楚地描述系統內部，是設計階段的基礎。分為兩個步驟

   系統架構分析：運用面向對象技術描述系統的靜態結構。

   系統行為分析：從動態的角度描述系統的對象間相互作用的特性。

   · 設計階段是在對系統各方面有了解的基礎上來確定特定的解決方案。分為兩個步驟

   分層結構設計：確定了具體實現時軟件和硬件的最佳分界。

   詳細設計：在軟件方面是深入到了系統低層信息，如操作的屬性、類的流程等；硬件方面則是到了設計具體電路板的階段。

   本方法利用面向對象的概念將系統分成了相互關聯卻又較獨立的模塊，一方面方便了系統開發時的迭代過程以及系統的后期維護，設計人員可以根據不同的新的需要對各個步驟中相應部分進行調整來實現改進，這樣就可以大量減少重復分析或設計的過程；另一方面，對象概念可以和嵌入式系統中的任務概念很好的映射起來。任務可看成是由一個或多個對象協作而成的，在分析、設計過程中確立對象的同時也就確定了系統的多個任務，為嵌入式系統的多任務特性提供了很好的支持。

   后續部分將以嵌入式遠程溫度監控系統為例，簡單闡述和驗證此方法。

   3 系統需求

   功能性需求是系統功能的陳述。在UML中是應用用例圖來描述系統功能的。如圖1所示，系統大致由下述幾個角色和用例組成:

   三個角色：數字式測溫儀，Internet遠端用戶，本地用戶。

   五個用例：當前溫度信息顯示、更改最高警戒溫度、更改最低警戒溫度、修改測溫儀工作狀態以及登陸服務器（身份驗證）。

   以上的各個用例只是對系統功能的大致劃分，主要目的是為后面的系統分析作基礎。