講座題目:AADL安全性建模和定量分析方法
講座人:董云衛(wèi) 教授
講座時(shí)間:16:00
講座日期:2016-10-19
地點(diǎn):長安校區(qū) 文津樓三段522學(xué)術(shù)研討室
主辦單位:計(jì)算機(jī)科學(xué)學(xué)院 普適計(jì)算研究團(tuán)隊(duì)
講座內(nèi)容:安全性設(shè)計(jì)與分析是安全攸關(guān)嵌入式系統(tǒng)開發(fā)必不缺少的環(huán)節(jié),系統(tǒng)的安全性建模理論和驗(yàn)證技術(shù)要能夠盡可能早地對(duì)系統(tǒng)的不安全行為進(jìn)行預(yù)計(jì)和預(yù)防。為了能夠在軟件系統(tǒng)需求分析和設(shè)計(jì)階段對(duì)安全性進(jìn)行規(guī)約和評(píng)估,我們采用AADL語言對(duì)系統(tǒng)架構(gòu)建模、并基于架構(gòu)模型來層次化設(shè)計(jì)描述系統(tǒng)安全性的危害模型,通過實(shí)現(xiàn)軟件安全性模型到安全性計(jì)算仿真模型的自動(dòng)轉(zhuǎn)換,提出了一套基于GJB1391、GB/T7826-200X/IEC60812:2006、MIL-STD-882D和DO178B/C等技術(shù)規(guī)范的嵌入式軟件安全性定量評(píng)估解決方案。