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
Keine Angabe
Englisch
Methods and systems for improving permissiveness while ensuring the safety of an autonomous vehicle
Europäisches Patentamt | 2024
|Methods and Systems for Improving Permissiveness While Ensuring the Safety of an Autonomous Vehicle
Europäisches Patentamt | 2021
|