The on-going RSSB/EPSRC UK SafeCap project develops modelling techniques and tools for improving railway capacity while ensuring that safety standards are maintained. This paper reports recent SafeCap results on designing a Domain Specific Language (DSL), a verification infrastructure and the approaches to estimating and improving capacity.
Computing Science: The SafeCap Toolset for Improving Railway Capacity While Ensuring Its Safety
2012
9 pages
Report
No indication
English
Methods and systems for improving permissiveness while ensuring the safety of an autonomous vehicle
European Patent Office | 2024
|Methods and Systems for Improving Permissiveness While Ensuring the Safety of an Autonomous Vehicle
European Patent Office | 2021
|