산업별 소프트웨어 안전관리 규격 검토

초록

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