CAJ | 학술논문

针对传统软件开发方式已经不能满足高安全性系统安全性、完整性的需求，本文提出了基于SCADE的安全软件开发方法，分析SCADE开发的原理、流程及应用方式，并以城市轨道交通列车运行控制系统的区域控制器ZC为例，基于SCADE对ZC列车管理功能进行建模和验证。通过实例分析，证明基于SCADE的软件开发方法，可以有效保障高安全性系统的安全性和完整性，为其提供了一种新的开发方式。
침대전통연건개발방식이경불능만족고안전성계통안전성、완정성적수구，본문제출료기우SCADE적안전연건개발방법，분석SCADE개발적원리、류정급응용방식，병이성시궤도교통열차운행공제계통적구역공제기ZC위례，기우SCADE대ZC열차관리공능진행건모화험증。통과실례분석，증명기우SCADE적연건개발방법，가이유효보장고안전성계통적안전성화완정성，위기제공료일충신적개발방식。
The traditional methods of software development couldn’t meet the requirements of high security and integrity of safety critical system. The article proposed the method of SCADE-based safety software development, analyzed the principle, process and application methods of SCADE. The ZC of Urban Transit was taken as an example, through modeling and verifying the train management functions of ZC, it was proved that this method provided a new method which could efifciently ensure the high security and integrity of safety critical system.