隨著科技的發(fā)展，大多數的電子系統和產品含有特定的硬件器件和功能模塊，顯然這些系統是多種類、嵌入式的。嵌入式的軟/硬件設計是一項復雜工作，為了滿足系統的可靠性、運行效果、內存受限等要求，嵌入式系統除了需要實現功能需求外，非功能性的約束（Non-functional constraints）也是非常重要的。非功能性約束包括實時性、程序性能、穩(wěn)定性、可靠性、安全性、內存限制、存儲空間限制等［1-2］。對于非功能性約束的考慮方法可以分為兩大類：面向過程（process-oriented）的方法和面向產品的方法（product-oriented）。面向過程的方法，指使用非功能性約束信息指導軟件的開發(fā)過程。面向產品的方法，指在組件內部描述非功能性約束信息，并檢查組件構成的產品的非功能性約束信息判斷軟件是否滿足要求的非功能性約束。本文中使用面向產品的方法對嵌入式組件模型SECOM（Simple Embedded Component Object Model）的非功能性約束進行分析，在組件內部采用Petri網方法描述非功能性約束信息。
　　1 時間Petri網
　　Petri網是一種可用圖形表示的組合模型，具有直觀、易懂和易用的優(yōu)點，可用于模擬帶有并發(fā)性、異步性、分布式、非確定性、并行性等特性的系統。而用時間Petri網［3-4］（簡稱時間網TPN）建立系統的動態(tài)模型，可進一步將系統中事件從發(fā)生到結束所需的時間描述出來。
　　時間網TPN中表示事件的持續(xù)時間的方法有兩種：一種是將各事件的持續(xù)時間標在庫所的旁邊，表示庫所中產生的托肯要經過一定的時間后才能參與網中的運行；另一種方法是將時間標注在變遷的旁邊，表示當該變遷具有發(fā)生條件時要延遲一段時間后才能發(fā)生，或該變遷發(fā)生后，立即從相應的輸入庫所中移走相應的托肯，但要延遲一段時間后才在相應的輸出庫所中產生相應的托肯［5-6］。在下面的時間P/T網定義中采用的是后一種方法。
　　定義1：當某一變遷的發(fā)生條件滿足時，若該變遷要延遲一段時間后才從相應的輸入庫所中移走相應的托肯并得到發(fā)生后果，或該變遷發(fā)生后，立即從相應的輸入庫所中移走相應的托肯，但要延遲一段時間后才得到發(fā)生后果，則稱這樣的變遷為時間變遷。
　　定義2：當某一變遷的發(fā)生條件滿足時，若該變遷立即從相應的輸入庫所中移走相應的托肯，且立即得到發(fā)生后果，則稱這樣的變遷為立即變遷。
　　在時間P/T網的圖形表示中約定，用矩形框表示時間變遷，用黑線表示立即變遷。下面是時間P/T網模型的形式化定義。
　　
　　根據延遲時間是一個固定值還是一個區(qū)間值，TPN還可分為固定延遲時間P/T網和不固定延遲時間P/T網。在固定延遲時間P/T網中，對于任意的變遷t∈T1，都有一個非負的實數r與之相對應，使得變遷t的延遲時間為r。在不固定延遲時間P/T網中，對于任意的變遷t∈T1，都有一個對偶［Bcet，Wcet］與之相對應（Bcet≥0，Wcet≥0），使得若在a時，t的發(fā)生條件成立，則t可在時間區(qū)間［a+Bcet，a+Wcet］內執(zhí)行，即t有效時，其相應的輸入庫所中的托肯將至少保留Bcet s，直至（a+Wcet） s時才移出，或t有效時，其相應的輸入庫所中的托肯立即移出，但將至少保持Bcet s，直至（a+Wcet） s時才產生后繼標識，本文中將采用第一種方式。
　　2 SECOM組件模型
　　基于嵌入式系統高度可裁剪性、資源受限的特點和對當前現狀的分析［6］，本文給出一種新的、基于源代碼復用的、精簡的嵌入式組件模型SECOM。該組件模型包含以下元素：
　?。?）瘦組件：SECOM組件是設計、開發(fā)、重用的單元，是程序的基本組成塊，是在完成基本功能前提下的極小化，所以稱之為“瘦組件”。組件與接口相互獨立，是接口功能的具體實現者。組件之間通過接口通信，互相協作完成軟件功能。組件的定義是可遞歸的。
　?。?）簡接口：接口用來定義功能函數，是一組相關函數的集合，分離了瘦組件的定義與實現，徹底消除了接口調用者和實現者之間的耦合關系，增強了信息封裝性。接口具有唯一性、不變性、繼承性和多態(tài)性。同一接口在不同組件內有不同的實現方式。接口分為兩類：①服務接口（Provide Interface），接口所在組件已經實現了此接口類型的功能，可以向組件外部提供服務；②請求接口（Require Interface），接口所在組件內沒有實現此接口的功能，組件需要向外部請求此接口的實現。
　?。?）靈敏橋接器：橋接器完成接口之間的連接。根據現有條件的不同，采取不同的連接模式。連接模式有：直接連接（connecting），選擇連接（selecting）和代碼塊粘連（gluing）。接口之間的消息交換是通過一個橋接器連接兩個或更多的接口實例來實現［7-9］。組件模型類圖如圖1所示。