Testing the Migration from Analog to Software-Based Railway Interlocking Systems.
Anna BecchiAlessandro CimattiGiuseppe ScaglionePublished in: CAV (2) (2024)
Keyphrases
- computer systems
- industrial strength
- software tools
- software components
- management system
- formal methods
- software development
- building blocks
- information systems
- commercial software
- software testing
- software developers
- embedded systems
- development process
- test cases
- learning systems
- distributed systems
- software packages
- high end
- expert systems
- regression testing
- safety critical
- complex software systems
- artificial intelligence