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