关键词: 安全苛求软件, 构件化软件开发, 多故障模式, 安全接口, 安全性保障

Abstract: Safety is still a crucial requirement in component-based safety critical software. A safety interface scheme under multi-faults mode was introduced, and this scheme was applied to the development of railway computer interlocking software. By defining the safety interface for each component of the interlocking software, the safety of the interlocking system was guaranteed.

Key words: safety critical software, component-based software development, multi-faults mode, safety interface, safety guarantee