汽車電子系統(tǒng)軟件構(gòu)件的交易級(jí)建模與驗(yàn)證.pdf

1、汽車日益增加的功能需求導(dǎo)致汽車上的ECU(Electrical Control Unit)數(shù)量逐步增多，汽車電子系統(tǒng)變得日益復(fù)雜，汽車電子軟件設(shè)計(jì)和開發(fā)也變得更加困難。如何解決復(fù)雜汽車電子系統(tǒng)軟件的設(shè)計(jì)難題，同時(shí)保證軟件的質(zhì)量和開發(fā)時(shí)間，成為了汽車電子系統(tǒng)領(lǐng)域的研究熱點(diǎn)。
　　 本文結(jié)合汽車電子軟件系統(tǒng)的特點(diǎn)，依據(jù)汽車領(lǐng)域的AUTOSAR(AutomotiveOpen System Architecture)規(guī)范，對(duì)基于軟件構(gòu)件

2、的汽車電子系統(tǒng)的設(shè)計(jì)方法進(jìn)行探索和研究，采用交易級(jí)建模方法，在高抽象層次實(shí)現(xiàn)軟件構(gòu)件的建模和驗(yàn)證，從而在系統(tǒng)早期設(shè)計(jì)階段發(fā)現(xiàn)設(shè)計(jì)中存在的問(wèn)題，保證軟件質(zhì)量，提高軟件開發(fā)效率。本文的主要工作包括：
　　 分析了AUTOSAR相關(guān)技術(shù)，涵蓋AUTOSAR架構(gòu)、軟件設(shè)計(jì)方法論及應(yīng)用研究現(xiàn)狀；針對(duì)AUTOSAR架構(gòu)的特點(diǎn)，引入了交易級(jí)建模理論，并詳細(xì)介紹了交易級(jí)建模的概念、發(fā)展歷程、仿真方法及軟件驗(yàn)證技術(shù)等研究現(xiàn)狀。
　　 針對(duì)

3、汽車電子軟件構(gòu)件的特點(diǎn)，對(duì)軟件構(gòu)件的結(jié)構(gòu)、類型及通信行為等建模需求進(jìn)行了分析。在此基礎(chǔ)上，確定了模型描述語(yǔ)言，并重點(diǎn)分析了該語(yǔ)言的特點(diǎn)和結(jié)構(gòu)。在詳細(xì)分析基于AUTOSAR的汽車電子系統(tǒng)設(shè)計(jì)方法的基礎(chǔ)上，確立了交易級(jí)建?；A(chǔ)方案。
　　 依據(jù)AUTOSAR規(guī)范，提出了一種面向軟件構(gòu)件的汽車電子系統(tǒng)的交易級(jí)建模和驗(yàn)證方法。該方法首先采用SystemC語(yǔ)言描述了汽車電子系統(tǒng)軟件模型、硬件抽象模型及軟硬件交互模型；然后針對(duì)AUTOSAR

4、規(guī)范中的汽車電子系統(tǒng)設(shè)計(jì)流程，提出了PV(Programmer’s View)層和PVT(Programmer’s View plus Timing)層的交易級(jí)建模方法和驗(yàn)證流程；最后，在CCSS(CoCentric System Studio)上實(shí)現(xiàn)了面向汽車電子軟件系統(tǒng)設(shè)計(jì)和驗(yàn)證的交易級(jí)建模、仿真、驗(yàn)證綜合平臺(tái)。
　　 以汽車自適應(yīng)巡航控制系統(tǒng)為例，依據(jù)所提出的建模方法設(shè)計(jì)了自適應(yīng)巡航控制系統(tǒng)的各個(gè)軟件構(gòu)件及互連模型，并在P