연구목표
- 정량적 판단이 가능한 안전 인증 소프트웨어 개발 환경
- Software Dev Life Cycle
- FI 기반 failure item identification
- Fault search algorithm
Requirement management
Essential
Software requirements management tools
nimble
Risk evaluation
hip-hops
abni
STAMP Workbench
medini-analyze