"Distributed systems" consist of many interconnected computers. Users can utilise them like individual systems. Computing scientists at the university have now completed a German-Russian project to ensure the security of these systems.
The larger the distributed systems, the more difficult it becomes to ensure their security and error-free operation. "Formal Methods in Design and Analysis of Distributed and Real Time Systems" is the name of a joint German-Russian project aimed at gaining a better understanding of these systems. After three years, scientists from the University of Oldenburg, led by Prof Dr Eike Best, together with computer scientists from the University of the Federal Armed Forces in Munich (Prof Dr Peter Hertling) and the Russian Academy of Sciences in Novosibirsk (Prof Dr Irina Wirbizkajte) successfully completed the project at the end of February. It was funded by the German Research Foundation (DFG) and the Russian Foundation for Basic Research (RFBR).
Distributed systems are generally extremely difficult to analyse and design. The project therefore aimed to contribute to the development of a formal reference system. The focus was on gaining a better understanding of complex distributed real-time systems, such as those found in communication protocols, process controls or production systems. According to Best, the research results support designers in modelling a system at various design stages.
Around 25 bilateral working meetings took place during the three-year German-Russian co-operation. The scientists from both countries published 50 relevant papers at international conferences. A total of 15 scientists worked on the project, five of whom are young researchers under the age of 30. Three of them completed their scientific degrees on topics related to the project. Anna Dedova and Yevgeny Yerofeyev were awarded prizes for their theses.
"We want to continue the fruitful co-operation and maintain the contacts that have been established in the international joint project," explains Best. The project partners will therefore submit a continuation application.
