检验（动态测试）
Systemarchitecturaldesign
Softwarearchitecturaldesign
Software test
Statemachine Test
Software intergration test
Test of safety mechanism
Softwarerequirement
Coding
Test Plan
测试/验证
Softwareunit test
Technical safetyrequirement
Acceptance test
System test
复审（静态测试）
Safety goal
System requirement
Functional safetyrequirement
分析/设计
