嵌入式系統(tǒng)設(shè)計的建模方法研究及應(yīng)用.pdf

1、隨著對嵌入式系統(tǒng)應(yīng)用需求的無限增大以及對智能化趨勢的追求，其系統(tǒng)的軟件系統(tǒng)開發(fā)的工作量劇增，軟件開發(fā)過程中出錯的概率也很高，相應(yīng)地，其分析階段的工作也越來越復(fù)雜，因此，在嵌入式系統(tǒng)軟件開發(fā)過程中，分析階段非常重要。但目前常用的建模及模型分析、驗證方法普遍存在描述、分析和驗證困難及模型復(fù)用性不高等問題。針對上述問題，文中對一種當(dāng)前最常用的建模方法進行了改進，進而提出了一種新的嵌入式系統(tǒng)建模及模型分析、驗證方法，較好地解決了上述問題。

2、 首先，對嵌入式系統(tǒng)的描述要求和目前用于嵌入式系統(tǒng)的建模方法進行了論述，每一種都指出了其適用范圍和對嵌入式建模的缺陷。接著對常用的SpecCharts語言進行了研究，論述了應(yīng)用SpecCharts語言描述嵌入式系統(tǒng)的方法，結(jié)合應(yīng)用實例給出了建模的具體步驟，分析了其優(yōu)缺點。 然后，研究了當(dāng)前最常用的UML嵌入式系統(tǒng)建模方法，詳細(xì)論述了UML及擴展機制在嵌入式系統(tǒng)建模中的應(yīng)用方法，提出了使用UML的擴展機制在序列圖中表示時間約束信

3、息的方法，在其模型的分析、驗證中，提出了一種形式化的方法，能較好地解決UML模型形式化難的問題，并結(jié)合實例，給出了具體的步驟，分析了UML及擴展機制方法的優(yōu)缺點。 在此基礎(chǔ)上，提出了一種新的方法--基于UML的對象分析模式和實時描述模式相結(jié)合的嵌入式系統(tǒng)建模及分析、驗證方法（稱為模式方法），定義了對象分析語義規(guī)則和實時描述映射規(guī)則，建立了模式模板，并結(jié)合實際應(yīng)用，給出了如何根據(jù)系統(tǒng)需求，在模式模板中選擇或擴充模式，依靠模板中結(jié)構(gòu)