Press Publications


20.02.2006   CeBIT 2006: Bug-free Automobile Soft- and Hardware
Computer scientists prove for an automatic car emergency call “eCall” that soft- and hardware are guaranteed to be free of design errors — Research project Verisoft at the CeBIT booth of the German Federal Ministry of Education and Research (BMBF)

[more...]

08.09.2005   IAA Cars 2005: Bug-free Automobile Soft- and Hardware
Computer scientists prove for an automatic car emergency call "eCall" that soft- and hardware are guaranteed to be free of design errors — theme of the 2. Saarbrücker IT--Dialogue "The 100% secure car made in Saarland" at the International Motor Show (IAA) Cars 2005 in Frankfurt

[more...]

26.08.2005   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.

[more...]

24.02.2005   Zero-fault Car Electronics

Computer scientists are working on a proof that operating systems are free of design and programming errors.

More and more electronics is employed in vehicle safety. As a result, however, the error rate has risen. According to the General German Automobile Club (ADAC) one third of all vehicle failures are due to electronic deficiencies, out of which around 80% are software errors. A research group under the management of professor Wolfgang Paul, Computer Science Department Saarbrücken, is presently working on a new technology with which it can be technically guaranteed that the vehicle systems no longer contain such errors. The knowledge obtained is then to be employed in a vehicle emergency call system that automatically alerts the rescue centre in case of an accident. The scientists assume that in the near future it will not be possible to market vehicle and plane safety technology without these correctness guarantees. They are presenting their research results at the CeBIT 2005 in Hanover.

[more...]

01.10.2003   BMBF Funds a Standard for IT-Safety Guarantee for Hard- and Software as well as Network- and User Level

In spite of the increasing use of electronics in safety relevant areas, a standard method which guarantees the flawless functioning of technology is still missing. The Federal Ministry of Education and Research, therefore, funds the research on the so called closed integrated correctness proof through the methods of verification. It should be able to detect and correct errors in autonomous and integrated computer systems. For the first two-year research phase the BMBF will provide 7,2 million Euro, announced the Ministry in Berlin on Wednesday. The lead management of the project is trusted to the University of Saarland. For the scientific part they collaborate with the technical universities of Darmstadt, Karlsruhe and Munich as well as with the Research Centre for Artificial Intelligence and the Max-Planck Institute in Saarbrücken. Industrial partners are Infineon Technologies AG, T-Systems Nova GmbH, BMW AG and the middle-sized Absint GmbH.

[more...]

25.08.2003   Launch of Verisoft

Verisoft is a long-term Research Project funded by the Federal Ministry of Education and Research (bmb+f). The main goal of the project is the persistent formal verification of computer systems. The correct functionality of systems, as they are applied, for example, in automotive engineering, in security technology and in the sector of medical technology, should be mathematically proved. The proofs are computer aided in order to prevent human error conducted by the scientists involved. The knowledge and progress obtained should assist german enterprise in achieving a stable, internationally competitive position in the professional spheres mentioned above.

[more...]

 
Revision 14 Mar 2006