Goals and Results
Auf Deutsch, Bitte!
|| 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)
|| 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
|| 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.
|| 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.
|| 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.
|| 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.