Great success for Oldenburg Computing Science: The German Research Foundation (DFG) has extended the Collaborative Research Centre (Transregio) "Automatic Verification and Analysis of Complex Systems" (AVACS), which was established eight years ago, for a further four years.
The DFG is providing ten million euros for the extension. "The DFG's decision impressively confirms the quality of the research that the scientists have carried out over the last eight years. At the same time, it also underlines the particular relevance of this work for the future of transport and the mobility of our society," emphasised University President Prof. Dr Babette Simon.
The spokesperson for the Collaborative Research Centre is Oldenburg University Professor for Safety-Critical Embedded Systems, Prof. Dr Werner Damm. In addition to the Oldenburg computer scientists Prof Dr M. Fränzle, Prof Dr Ernst-Ruediger Olderog and Prof Dr Oliver Theel, scientists from the universities in Freiburg and Saarbrücken and the Max Planck Institute for Computing Science in Saarbrücken are also involved. The Academy of Sciences of the Czech Republic is also a partner in the research work.
Since January 2004, the AVACS scientists have been working on developing techniques for the mathematically exact verification and analysis of safety-critical embedded systems. In addition to excellent technical results, the cooperation between experts from different sub-disciplines is crucial to the success of AVACS, emphasised Damm. The extension of the funding will contribute to proving the safety of transport applications in cars, aeroplanes and trains using mathematical methods. "The vision of AVACS is that the safety properties of even highly networked systems can be checked automatically at the touch of a button - both at the modelling level and in real applications in traffic," said Damm.