Prof. Werner Damm
Member of the board - R&D division Transportation, OFFIS
Prof. Werner Damm holds the Chair for Safety Critical Embedded Systems at the Carl von Ossietzky University of Oldenburg. He is the Director of the Interdisciplinary Research Center on Critical Systems Engineering for Socio-Technical Systems. He is a member of acatech, the German National Academy of Science and Engineering. Currently he is engaged as a director in the working group “highly automated systems” and, in the framework of acatech pushing on autonomous driving. As a member of the steering board he contributed similarly to the Automotive Roadmap Embedded Systems and to the acatech-survey “New autoMobility – the future World of Automated Road Traffic” published by the end of 2015.
He is a member of the Board of Directors of the Applied Research Institute OFFIS – Institute for Information Technology, Chairman of the German competence cluster SafeTRANS, integrating leading companies and research institutes in the transportation domain, the co-founder and member of the steering board of the European Institute for Complex Safety Critical Engineering EICOSE, the Chairman of the Artemis Working Group Tool Platforms.
Werner Damm has been a member of various expert groups of the European Commission and the US National Science Foundation, notably on the topics of future strategies for Systems-of-Systems in Europe, and on Cyber-Physical Systems in the Transportation domain in the US.
His recent foundational research addresses mathematical models of embedded systems, systems-of-systems, and cyber physical systems, specification languages, hybrid systems, formal verification methods, formal synthesis, and real-time and safety analysis. This is complemented by applied research with industrial partners in avionics, automotive, space, and medical systems on system-and-safety development processes for safety related systems, where he pioneered contract-based systems engineering for functional requirements, safety and timeliness requirements, and stability requirements, the use of patterns for capturing such contracts, and tools for automatic test generation, consistency checking, and virtual integration testing based on formalized contracts.