摘要：近地告警系統(tǒng)是減少可控飛行撞地事故、提升飛行安全的重要機(jī)載設(shè)備.近地告警系統(tǒng)軟件嵌入在近地告警產(chǎn)話中,其開(kāi)發(fā)模式對(duì)產(chǎn)品的安全性影響很大。提出了基于SCADE平臺(tái)進(jìn)行近地告警系統(tǒng)軟件設(shè)計(jì)及驗(yàn)證的方法,解決了傳統(tǒng)開(kāi)發(fā)方法中“需求理解不一致”、“設(shè)計(jì)驗(yàn)證不充分”等問(wèn)題,并成功應(yīng)用于某型近地告警系統(tǒng)。設(shè)計(jì)驗(yàn)證結(jié)果表明,基于SCADE進(jìn)行近地告警系統(tǒng)開(kāi)發(fā)是可行的,同時(shí)可以加快研制過(guò)程,優(yōu)化產(chǎn)品軟件質(zhì)量,提高系統(tǒng)安全性.
注：因版權(quán)方要求，不能公開(kāi)全文，如需全文，請(qǐng)咨詢雜志社
