講座內(nèi)容：安全性設(shè)計與分析是安全攸關(guān)嵌入式系統(tǒng)開發(fā)必不缺少的環(huán)節(jié)，系統(tǒng)的安全性建模理論和驗證技術(shù)要能夠盡可能早地對系統(tǒng)的不安全行為進行預(yù)計和預(yù)防。為了能夠在軟件系統(tǒng)需求分析和設(shè)計階段對安全性進行規(guī)約和評估，我們采用AADL語言對系統(tǒng)架構(gòu)建模、并基于架構(gòu)模型來層次化設(shè)計描述系統(tǒng)安全性的危害模型，通過實現(xiàn)軟件安全性模型到安全性計算仿真模型的自動轉(zhuǎn)換，提出了一套基于GJB1391、GB/T7826-200X/IEC60812:2006、MIL-STD-882D和DO178B/C等技術(shù)規(guī)范的嵌入式軟件安全性定量評估解決方案。