安全和可靠性是制动系统控制软件质量的关键要素。基于传统软件开发方式在软件安全性设计、软件质量以及开发与验证效率等方面存在固有的不足,分析传统软件开发方式的不足以及SCADE软件的特点,并以具体项目为实例,通过需求分析、模型设计以及设计验证等过程,阐述基于SCADE的制动系统安全软件开发方法。大量的工程应用表明该开发环境有助于制动系统软件的开发质量,缩短开发周期,满足软件研制需求。
科研之友
微信
新浪微博
Facebook
分享链接
