Social

ACADEMIC CAPABILITIES

Swansea University

Department of Computer Science

Overview

The Department of Computer Science, is home to world-class researchers, fine laboratory facilities and excellent teaching programmes.

The Department’s ethos is to pursue research that matters in the long term, inspiring students and encouraging them to help change the world.

For more than 40 years researchers at Swansea have made interesting and significant contributions to computer science in the areas of data-centric computing, semantics of specification and programming languages, formal methods for designing software and hardware, operating systems, computer graphics, multimedia communication, modelling of complex fluids, human-computer interaction, and the social impact of science and technology.

RTS PRIORITY AREAS

  • Data driven
  • Optimised train operations

Research themes

Topic: Safety and Capacity
Summary:

Since 2007, the Railway Verification Group at Swansea University has been addressing questions concerning safety and network capacity to improve the development of railway signalling software. Throughout this time, the Swansea Railway Verification Group has developed novel safety assurance processes for signalling technologies, and has become recognized as an international leader in the verification of signalling systems. Our research and novel processes for improving error detection have, for example, motivated Siemens Mobility to invest in a new verification team in Chippenham to accelerate the development of their next-generation digital interlockings. Similarly, the UK Rail Safety and Standards Board has incorporated our research on formal methods in guidance they provide to their members. Internationally, we have created and lead a European community of practice on formal methods in railway control.

Project examples: Railway Control Systems, SAFECAP: Overcoming the railway capacity challenges without undermining rail network safety, DITTO: Developing Integrated Tools to Optimise Railway Systems, Ladder Logic Verifier

Fact File (2019-20)

8 Research staff
3 PhD students
3 Masters students
5 grants awarded for a total value of £1.975m
30 papers published

Capability matrix

From training engineers to developing world-leading technologies, BCRRE collaborate with industry and academia to drive UK and global rail innovation.
CAPABILITY
CAPABILITY LEVEL
Infrastructure
Electrification
Track Design and Components
Structures
Earthworks and geotechnics
Control, command and signalling
Communication networks and technologies
Station design
Depots / yards
infrastructure testing
Condition monitoring and inspection
Asset management
Maintenance
Other
Rolling Stock
Component design
Structures and crashworthiness
Testing
Maintenance
Condition monitoring and inspection
Asset management
Comfort / ride quality
Traction / train borne energy
Onboard IT
Train control and onboard diagnosis
Fire performance
Braking systems
Pantograph dynamics
Operations
Train control and signalling
Level crossings / road-rail interfaces
Traffic management
Timetable optimisation
Revenue management
Telematics / data structures
Customer services for passengers
Customer services for freight
Safety management
Security management
Station management
Other
Technical systems integration and interaction
Aerodynamics
Noise and vibration
Electromagnetic Compatibility
Pantograph catenary interaction
3rd rail collector shoe interaction
Wheel rail interface
Vehicle track dynamics
Whole system design and modelling
Whole system reliability
Cross-system technologies
Other
Weather and climate change
Adaptation to climate change
Extreme temperatures
Flooding
Extreme precipitation
High winds
Met Office Collaboration, and De-icing Switches and Third Rail
Human Factors
Human performance
Selection and training
Health
Human reliability
Job design
Environmental design
Attitudes and behaviours
Introduction of new technology
Policy and decision making
Risk evaluation and assessment
Interoperability
Economic analysis and evaluation
Sustainable development
Enabling Innovation
Market research
Social dynamics of transport
Commercial dynamics of transport
Legal and regulatory frameworks
Other

Education and Professional Development

PhD opportunitiesYes

Location key contacts

Name: Professor Faron Moller, Computer Science
Email: F.G.Moller@swansea.ac.uk

Website
Back To Capabilities

FIND OUT ABOUT

TESTING AND TRIALING FACILITIES

Facilities