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 | 2021
|METHODS AND SYSTEMS FOR IMPROVING PERMISSIVENESS WHILE ENSURING THE SAFETY OF AN AUTONOMOUS VEHICLE
Europäisches Patentamt | 2022
|