Testing the Migration from Analog to Software-Based Railway Interlocking Systems
연구 분야: Verification
학회: International Conference on Computer Aided Verification
초록
We work in the context of a tool set developed for the Italian Railway Network supporting the migration of legacy relay-based interlocking systems to a new software-based implementation. We propose to generate test cases from the analog implementation in a way that they are significant for a comparison with a cycle-based computational model, by leveraging stable states abstraction. Our methodology found actual bugs in the new code that were missed by other analyses, and aids in documenting the expected differences with the legacy behaviors.
📄 논문 정보
| 발행 연도 | 2024년 |
|---|---|
| 인용수 | 0 |
| 출판 국가 | Italy |
| 사이트 | Springer |
| 좋아요 수 | 0 |