New software tools for railway signaling and energy distribution

Sep 30, 2011

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 multi-million Euro project lead by researchers at the University of Southampton.

Professor Michael Butler, Head of the Electronic and Systems Group at the University, is coordinating the Advanced Design and Verification Environment for Cyber-physical System Engineering Project (ADVANCE), which begins tomorrow (01 October).

The EU-funded ADVANCE project, which involves Alstom Transport, Critical Software Technologies Ltd, Systerel and two universities, Southampton and Düsseldorf, will deliver methods and tools for formal modelling, verification and validation, which will make it possible to produce precise models for embedded systems and help eliminate design errors before projects go into the manufacturing stage. The project will run for 30 months and these tools will be applied to by industrial partners in the project.

Professor Butler says: "Critical infrastructure, such as railways and , rely on large complex and software design errors are expensive to fix and can have a detrimental impact. We are producing formal modelling and verification tools so that system designs can be tested earlier and improvements made before any commitment is made to the final design."

"Formal modelling and verification can significantly improve the quality of the system validation process", says Jose Reis, Principal Consultant Engineer at Critical Software Technologies. "Formal methods improve the quality of the analysis phase by forcing the systems engineer to analyse a broader space of problems."

In ADVANCE, the consortium will use a software toolkit, named RODIN, which is open source and was initially developed in the EU FP6 Rigorous Open Development Environment for Complex Systems (RODIN) project 2004-2007 and the EU FP7 Industrial Deployment of System Engineering Methods Providing High Dependability and Productivity (DEPLOY) 2008-2012.

The major impact of the ADVANCE methods and tools will be to reduce the cost associated with formal modelling and verification while increasing the benefits obtained. This will provide a competitive edge to European systems engineering companies allowing them to further strengthen the leading position of Europe in development of high quality embedded systems.

Explore further: Faster computation of electromagnetic interference on an electronic circuit board

add to favorites email to friend print save as pdf

Related Stories

New methods keep bugs out of software for self-driving cars

Jun 21, 2011

Driver assistance technologies, such as adaptive cruise control and automatic braking, promise to someday ease traffic on crowded routes and prevent accidents. Proving that these automated systems will work as intended is ...

Integrating embedded systems

Apr 25, 2008

Embedded digital control systems are powerful and ubiquitous in the technologies we use, but getting them to cooperate is difficult. That situation is changing.

Getting in gear for next generation cars

Apr 13, 2005

23 partners from across the European car industry worked together to develop a new software interface that will make the next generation of cars quicker to design and cheaper to bring to market while maintaining high quality ...

Embedded systems -- the whole picture

Oct 28, 2009

(PhysOrg.com) -- Embedded computer systems must be fast and efficient. A European consortium has created a new modelling framework that lets designers strike the best balance between static, reconfigurable ...

Recommended for you

A smart prosthetic knee with in-vivo diagnoses

Apr 22, 2014

The task was to develop intelligent prosthetic joints that, via sensors, are capable of detecting early failure long before a patient suffers. EPFL researchers have taken up the challenge.

Old tires become material for new and improved roads

Apr 22, 2014

(Phys.org) —Americans generate nearly 300 million scrap tires every year, according to the Environmental Protection Agency (EPA). Historically, these worn tires often end up in landfills or, when illegally ...

Students take clot-buster for a spin

Apr 21, 2014

(Phys.org) —In the hands of some Rice University senior engineering students, a fishing rod is more than what it seems. For them, it's a way to help destroy blood clots that threaten lives.

User comments : 0

More news stories

Is nuclear power the only way to avoid geoengineering?

"I think one can argue that if we were to follow a strong nuclear energy pathway—as well as doing everything else that we can—then we can solve the climate problem without doing geoengineering." So says Tom Wigley, one ...

US urged to drop India WTO case on solar

Environmentalists Wednesday urged the United States to drop plans to haul India to the WTO to open its solar market, saying the action would hurt the fight against climate change.