At the Dependable Systems‘ Competence Center, we bundle the inter-disciplinary development of processes, methods and tools which guarantee the safety and availability of such systems. The Competence Center can, in this regards, make use of the experience gathered during many years of strategic Public-Private Partnerships at national and European level. Within the scope of a network of over 25 globally active companies in the fields of aerospace, automotive, automation technology and rail engineering and in cooperation with research organizations and suppliers of development tools, a development platform has been created to support Critical Systems Engineering with a total investment of more than 100 million euros. The platform contains »modules« (tools, methods, processes, meta-models and interoperability standards) to assist the engineering of safety-critical systems and supports the integration of such components into domain- and application-specific industrial development processes.
The R&D work leveraged by the Dependable Systems‘ Competence Center includes
This work is based on preliminary research carried out at the University of Oldenburg’s Safety-Critical Systems Research Center, such as, for example, within the scope of the SFB-Transregio AVACS studying Automatic Verification and Analysis of Complex Systems.
Günter Ehmen and Kim Grüttner and Björn Koopmann and Frank Poppen and Philipp Reinkemeier and Ingo Stierand; WCX: SAE World Congress Experience 2018; 04 / 2018
Benveniste, Albert and Caillaud, Benoît and Nickovic, Dejan and Passerone, Roberto and Raclet, Jean-Baptiste and Reinkemeier, Philipp and Sangiovanni-Vincentelli, Alberto and Damm, Werner and Henzinger, Tom and Larsen, Kim; Foundations and Trends in Electronic Design Automation; 2018
Tayfun Gezgin and Björn Koopmann and Achim Rettberg; System Level Design from HW/SW to Memory for Embedded Systems; 01 / 2017
Martin Fränzle and Yang Gao and Sebastian Gerwinn; Provably Correct Systems; 2017
Eckard Böde and Matthias Büker and Werner Damm and Günter Ehmen and Martin Fränzle and Sebastian Gerwinn and Thomas Goodfellow and Kim Grüttner and Bernhard Josko and Björn Koopmann and Thomas Peikenkamp and Frank Poppen and Philipp Reinkemeier and Michael Siegel and Ingo Stierand; FAT-Schriftenreihe 302; 10 / 2017
Man Zhu, Axel Hahn, Yuan-Qiao Wen, André Bolles; Applied Ocean Research; October / 2017