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

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

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

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