Southampton signals EU smart change

摘要

New tools to improve the design of embedded software systems in automated railway signalling and smart energy distribution are being developed as part of a European project led by researchers at the University of Southampton. Professor Michael Butler, head of the Electronic and Software Systems Group at the university, is co-ordinating the Advanced Design and Verification Environment for Cyber-physical System Engineering Project (Advance), which started last month. The EU-funded Advance project which involves Alstom Transport, Critical Software Technologies, Systerel and two universities, Southamp- ton and Diisseldorf, will deliver methods and tools for formal modelling, verification and validation, which will make it possible to produce precise models for embedded sys- tems and help eliminate design errors before projects go to the manufacturing stage.