철도차량 소프트웨어의 안전 검증을 위한 규격 검토

초록

철도시스템은 여러 특성들 중에 안전성이 매우 중요한 시스템이다. 요즈음 철도시스템의 기능 구현을 위해 소프트웨어의 사용이 증가하고 있는 것이 사실이다. 소프트웨어의 특성상 불확실성이 존재하며, 현재까지는 기능 구현에만 치중하여 철도소프트웨어를 개발해 왔으나 안전성 검증없이 소프트웨어를 사용할 경우, 만약의 사태로 인해 사고로 이어진다면 그 피해는 매우 엄청나다고 할 수 있다. 이를 위해 철도소프트웨어가 제대로 개발될 수 있도록, 또한 제대로 개발되었는지 확인하기 위한 검증체계를 구축할 필요가 있다. 본 논문에서는 각 산업분야에서 다루는 소프트웨어 안전규격을 살펴보고 철도소프트웨어 분야에서 관련 규격들 간의 관련성을 살펴보고자 한다.