作者:吴秀芝; 马亮; 高胜林飞行安全近地告警模型化设计
摘要:近地告警系统是减少可控飞行撞地事故、提升飞行安全的重要机载设备.近地告警系统软件嵌入在近地告警产話中,其开发模式对产品的安全性影响很大。提出了基于SCADE平台进行近地告警系统软件设计及验证的方法,解决了传统开发方法中“需求理解不一致”、“设计验证不充分”等问题,并成功应用于某型近地告警系统。设计验证结果表明,基于SCADE进行近地告警系统开发是可行的,同时可以加快研制过程,优化产品软件质量,提高系统安全性.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社