Pioneering research and skills
Engineering and Physical Sciences Research Council
Safety by design A software tool which protects the functionality and security of computer systems has been developed by EPSRC sponsored researchers at University of Oxford. Professor Bill Roscoe’s group developed the Failures Divergence Refinement (FDR) tool which uses maths to test if systems are working as they should, so users experience fewer errors caused by software defects. FDR has been used in high-profile projects like the Eurofighter Typhoon aircraft. FDR3, enabling parallel model checking, will be released in 2013. FDR is used by universities and companies worldwide and startup company Verum offers a commercial tool, ASD:Suite, used by Phillips, Ericsson and ASDL. Another start-up, D-RisQ, has developed gateway tools into FDR through simulation and modelling languages for Ricardo and Jaguar Land-Rover.
To download the Growth Stories app visit www.epsrc.ac.uk/growth
Image credits: iStockphoto