As the human demand or desire on brand new systems otherwise equipped with new functions grows drastically, so does the complexity of the systems. With this trend, the systems are becoming bigger in scale and at the same time the safety requirements are more stringent in the development. Typical systems examples in such a situation may include high-speed railway systems, aero and space systems, marine systems, etc. Failure of those systems can cause serious damages on both the human being and wealth with social infrastructure. As such, it is quite necessary to ensure that the safety requirements be satisfied in the system development. To achieve this need, there could be a lot of solutions to take. In this paper, regarding safety, a special attention is given to the verification phase process, which is one of the intermediate phases of whole systems development process. More specifically, the ultimate concern is placed on how to carry out the design verification while ensuring the safety requirements. To do so, some improvements in the verification phase were proposed first. Then, the outcomes were combined with the systems safety process by generating an integrated process model to reach the goal. As a case study, application to a railway system was discussed, where strict safety requirements are usually necessary. It would be expected that the potential likelihood of failure with rail systems could be reduced if the results obtained are used effectively with some enhancement from further study.

• 심상현 | Sim, Sang-Hyun
• 이재천 | Lee, Jae-Chon