基于SCADE的TP安全软件开发过程研究.docVIP

基于SCADE的ATP安全软件开发过程研究 李国龙 上海交通大学，软件学院 摘要：列车自动防护系统（ATP）是轨道交通领域一个安全关键的应用系统，它是典型的嵌入式实时系统。在安全领域，计算机软件的安全开发是个难题，使用传统的软件开发方法有效的满足安全软件的开发。本文介绍基于SCADE工具进行ATP系统的软件开发过程，它使用模型化的方法从系统需求到最后代码验证，为软件的安全认证的各个阶段的提供了解决方案和实施工具，实现了开发过程的自动化和过程省略，大大提高了安全软件开发的效率和安全性。 关键词：模型化开发 ATP SCADE 过程自动化 过程省略 【Abstract】Automatic train protection (ATP) system is a safety critical application for railway signaling with high logic complexity, and it is typically embedded and real-time system. As the computational complexity of ATP system, traditional software development method cannot accommodate effectively. In this paper