原文传递
Computing Science: Practical Formal Methods in Railways - The SafeCap Approach.
| 题名： | Computing Science: Practical Formal Methods in Railways - The SafeCap Approach. |
| 作者： | Iliasov, A.; Lopatkin, I.; Romanovsky, A. |
| 关键词： | Assessments; Formal Methods; Formal Theories; Railways; Safecap Platform Approach; Safety Standards; Verification |
| 摘要： | This paper presents the SafeCap Platform approach to the verification of railway safety properties. We discuss how the hierarchy of formal theories is used to capture the railway domain and interface with verification tools; we explain the contribution of each individual theory to the overall task of safety verification and capacity assessment. Finally, we briefly relate our experience of using two independent verification chains to validate concrete track layouts and control tables against the SafeCap safety theories. |
| 报告类型： | 科技报告 |
相关文献
- Computing Science: Practical Formal Methods in Railways - The SafeCap Approach
- Computing Science: SAFECAP Domain Language for Reasoning About Safety and Capacity.
- Computing Science: The SafeCap Toolset for Improving Railway Capacity While Ensuring Its Safety.
- Computing Science. Formal Modelling of Railway Safety and Capacity.
- Computing Science. Formal Modelling of Railway Safety and Capacity.
- FORMAL METHODS DEMONSTRATION PROJECT FOR SPACE APPLICATIONS
检索历史
应用推荐
