- 相關推薦
CODARTS建模方法在嵌入式軟件開發(fā)中的應用
摘要:嵌入式系統(tǒng)的工作環(huán)境基礎上都是并發(fā)和實時的。隨著應用需求的增長,嵌入式系統(tǒng)軟件不得不變得越來越復雜,越來越龐大。CODARTS方法融入了COBRA方法和DARTS方法的優(yōu)點,提出了針對并發(fā)和實時系統(tǒng)軟件的設計方法,為嵌入式軟件開發(fā)工作提供了一條捷徑。本文結合實時檢測系統(tǒng)的具體應用,簡要介紹CODARTS的實際開發(fā)過程。隨著半導體制造行業(yè)的迅速發(fā)展,微處理器的價格在實際性能大幅度提升的同時卻在大幅度降低,使得基于嵌入式處理器和微型計算機系統(tǒng)的實時多任務系統(tǒng)成為解決諸多應用問題的一種高效率、低成本的有效方案。目前,囊括工業(yè)、消費電子、醫(yī)療、軍事等許多方面的產品都是基于嵌入式系統(tǒng)的。隨著應用需求的日益增長,嵌入式系統(tǒng)的功能越來越強大,系統(tǒng)體系結構越來越復雜,對系統(tǒng)軟件的要求也很自然的“水漲船高”。由于多數嵌入式系統(tǒng)工作在并發(fā)性和實時性要求較高的場合,因此,并發(fā)和實時嵌入式系統(tǒng)軟件設計面臨著巨大的挑戰(zhàn)。國內外許多專用人士結合嵌入式軟件開發(fā)的實踐經驗,針對嵌入式系統(tǒng)軟件開發(fā)的特點提出了許多有效的解決辦法,本文所介紹的CODARTS建模方法就是其中的一種。
1 CODARTS方法概述
CODARTS(Concurrent Design Approach for Real-Time System)方法源自20世紀80年代初,是在解決工業(yè)機器人控制系統(tǒng)問題中產生的。其前身為DARTS(實時系統(tǒng)結構設計方法),后來為了解決分布式實時應用程序的需要,融入了采用狀態(tài)轉換圖對系統(tǒng)行為特征建模等方法,逐步演化成為CODARTS建模方法。
CODARTS方法是一種通用的設計方法。它借鑒了COBRA(Concurrent Object Based Real-time Analysis)方法對系統(tǒng)進行分析建模的思想,強調將系統(tǒng)分解為多個子系統(tǒng),并將子系統(tǒng)定義為一組由若干對象和功能支持的服務。在系統(tǒng)劃分完成后,CODARTS使用DARTS方法將任務結構化作為工作重點,提供了任務結構化標準幫助確定并發(fā)任務、任務間接口,使用事件序列圖對整個系統(tǒng)建模,并支持設計方案的性能分析和軟件的增量式開發(fā)。
CODARTS方法建模的主要步驟如下:
①開發(fā)系統(tǒng)的環(huán)境模型和行為模型,使用COBRA方法對問題域進行分析和建模。COBRA方法為依據系統(tǒng)環(huán)境圖開發(fā)環(huán)境模型提供了系統(tǒng)分解策略。采用COBRA方法將系統(tǒng)分解成為若干子系統(tǒng),并且確定子系統(tǒng)中對象和功能以及它們在外事件序列場景 下進行交互的方式。
②應用任務結構化標準確定系統(tǒng)(或子系統(tǒng))中的并發(fā)任務,主要內容包括并發(fā)任務的確定、任務間通信以及同步接口的確定。
③應用模塊結構化標準確定系統(tǒng)中的信息隱藏模塊。信息隱藏模塊的思想為盡可能地減少或消除全局變量,把有可能發(fā)生的變化信息封裝在一個模塊內容。
④根據任務劃分和信息隱藏模塊劃分構建軟件構架。
⑤定義組建接口規(guī)范、以增量方式開發(fā)軟件。
2 CODARTS應用
下面結合實例介紹如何在具體應用中使用CODARTS進行系統(tǒng)分析和建模。
(1)問題域簡要描述
某廠自動化產品檢測生產線要求具備的功能是,通過對該產品在各種工作狀態(tài)中的電壓、電流、壓力、溫度等參數的檢測來判斷該產品的生產合格情況。其中的智能檢測模塊為主要設計內容。該檢測模塊具有可配置的多通路檢測;能夠和上位PC通過RS485進行通信,根據PC的指令或者本地鍵盤輸入的指令進行系統(tǒng)運行控制、配置參數設定、采樣結果上傳等;能夠支持本地LCD界面顯示;根據指令完成手動或者實時自動(按照系統(tǒng)設定時鐘間隔)參數采樣和結果顯示;能夠自動進行抗干擾軟件處理。
(2)處理環(huán)境圖
CODARTS方法使用COBRA方法開發(fā)系統(tǒng)環(huán)境模型。系統(tǒng)環(huán)境模型描述了系統(tǒng)運行時所處的外部客觀環(huán)境,包括系統(tǒng)的輸入和輸出。其關鍵問題是確定與系統(tǒng)之間存在接口的外部實體——終端。終端通常代表數據源或數字接收者或兩者的結合。判斷終端的標準通常是觀察外部實體是否直接與系統(tǒng)連接。根據問題域的描述,系統(tǒng)外部環(huán)境由上位PC、系統(tǒng)時鐘、電源監(jiān)控、各種工作參數傳器、本地鍵盤、本地LCD和工作區(qū)解發(fā)開關組成。由圖1可見,系統(tǒng)環(huán)境外部實體均為真實環(huán)境中的外部I/O設備。
(3)子系統(tǒng)環(huán)境圖
通常所開發(fā)的系統(tǒng)都是復雜的,所以COBRA要求將系統(tǒng)分解成為子系統(tǒng),各個子系統(tǒng)之間應該是相對獨立的和松散耦合的。子系統(tǒng)內部要求具有較強的內聚性,并且要求合理定義子系統(tǒng)之間的接口,這樣子系統(tǒng)可以獨立進行設計。子系統(tǒng)劃分原則:①子系統(tǒng)可以由一個或多個功能緊密聯(lián)系的對象構成;②外部實體僅與一個子系統(tǒng)存在接口;③數據存儲應該封裝在一個子系統(tǒng)中;④一個控制對象應該構成一個子系統(tǒng)。按照上面的標準,結合系統(tǒng)環(huán)境圖進行分解可以得到子系統(tǒng)環(huán)境圖,如圖2所示。
系統(tǒng)分解為系統(tǒng)控制和檢測兩個子系統(tǒng)。這兩個子系統(tǒng)之間的接口有兩個,分別是啟動檢測事件和檢測結果。
(4)建立系統(tǒng)行為模型
行為模型是指描述系統(tǒng)在外部環(huán)境輸入的作用下的響應。通常,系統(tǒng)的響應是基于系統(tǒng)狀態(tài)的,因此,要用狀態(tài)/數據轉換圖作為描述系統(tǒng)行為的方法是十分直觀和有效的。圖2中“系統(tǒng)控制”子系統(tǒng)通過控制轉化圖進行行為建模,如圖3所示。
從圖3中可以看到,“系統(tǒng)控制”子系統(tǒng)的狀態(tài)轉化均是基于外部環(huán)境事件和系統(tǒng)內部事件觸發(fā)而產生的。因此在開發(fā)了控制狀態(tài)轉換圖之后,設計人員需要考慮來自外部環(huán)境的輸入,即開發(fā)場景。每個場景都是由若干外部事件的序列組成的。采用不同場景作為輸入,可以很好地驗證系統(tǒng)控制狀態(tài)轉換的正確性。
(5)劃分對象、確定相應功能
對象和功能是系統(tǒng)中最
【CODARTS建模方法在嵌入式軟件開發(fā)中的應用】相關文章:
目標規(guī)劃及其在經濟中的應用05-11
氣管插管在院前急救中的應用05-29
Openprocess在熱網監(jiān)控系統(tǒng)中的應用06-04
物理教學中多媒體的應用論文11-02
數學建模論文模板07-22
數學建模論文模板07-22
淺談異化與歸化方法在翻譯中的運用10-13
精益生產在企業(yè)管理中的應用05-26
探析Openprocess在熱網監(jiān)控系統(tǒng)中的應用05-29
幼兒文學在幼兒教育中的應用論文04-28