
CLEARSY has extensive experience in automatic rail traffic control systems, including:
- software verification and validation
- analysis and critical code review
- development/re-engineering of the safety part of on-board and trackside software
- formal development of on-board software
- system level verification with proof of safety
Posts
Linked to this thematic
Linked to this thematic
Tools
Linked to this thematic
Linked to this thematic