BMBF-Funding Improves the Security of Computer Systems

Mathematical methods for bug-free chip design developed

Bugs in chip design may have expensive or dangerous consequences. Supported by funding of the German Federal Ministry of Research and Education (BMBF) mathematical foundations have been developed and tested that significantly improve the security of computer systems, announced the Ministry this Friday in Berlin. In the BMBF project Verisoft methods have been developed that allow to conduct a mathematical proof that the logic of electronic circuits does not contain any functional errors. The BMBF is going to extend its funding for another two years by increasing the financial support by 7,2 million Euro making up for 14,8 million Euro total until 2007.

Headed by the Institute for Computer Architecture at Saarland University nine academical partners and four industrial partners are project members. Their formal verification methods could replace today's simualation and testing methods. Considering the Infineon TriCore 2 processor as an example, which is mainly used in car electronics, the scientists could show for the first time, that formal verification methods can be applied to highly complex designs.

Together with T-Systems International GmbH and BMW Group AG, the Verisoft researchers also work on formal verification methods in the fields of IT security and automotive. One of the objectives is the design of a chipcard-based biometric identification system.

Revision 14 Mar 2006