Prof. Dr. Werner Damm Vorstand; Sprecher Bereichsvorstand Verkehr

Prof. Dr. Werner Damm
Kontaktdaten
Tätigkeiten

Position im OFFIS

Vorstand; Sprecher Bereichsvorstand Verkehr

Forschungsbereiche

Verkehr

Competence Center

Dependable Systems

Position an der Uni

Direktor des Forschungszentrums Sicherheitskritische Systeme
Leiter der Abteilung Sicherheitskritische Eingebettete Systeme
Sprecher des Sonderforschungsbereiches/Transregio AVACS - Automatic Verification and Analyis of Complex Systems
Leiter des durch VW-Vorab geförderten Interdisziplinären Forschungszentrums für den Entwurf sicherheitskritischer soziotechnischer Systeme

Weitere Aktivitäten

Vorstandsvorsitzender SafeTRANS e.V.
Mitglied EiCOSE Steering Board
Mitglied Artemis Working Group Tool Platforms
Stellvertretender Vorsitzender des Aufsichtsrates der BTC Embedded Systems
Mitglied Editorial Board "Journal of Formal Methods in System Design"
Mitglied von acatech, der Deutschen Akademie für Technikwissenschaften
General Chair der CPS-Week 2014 in Berlin

Forschungsinteresse

Modellbasierter Entwurf eingebetteter Systeme, Formale Verifikationsmethoden, Sicherheitsanalyse, Echtzeitanalyse, Spezifikationssprachen und Hybride Systeme, Entwicklungsprozesse für eingebettete Systeme
Biografie
Prof. Dr. Werner Damm (Jahrgang 1952) studierte Informatik und Mathematik an der Rheinischen Friedrich-Wilhelms-Universität Bonn (Abschluss mit Diplom 1976) und promovierte anschließend 1981 an der RWTH Aachen auf dem Gebiet der Informatik. Seine Dissertation über "Formale Semantik" wurde mit dem Preis für die beste Dissertation ausgezeichnet. Von der RWTH Aachen erhielt er die Habitilation auf dem Gebiet der Rechnerarchitekturen. 1987 wurde er auf die Professur "Rechnerarchitekturen" der Carl von Ossietzky Universität Oldenburg berufen. Seit 2002 leitet er die Abteilung Sicherheitskritische Eingebettete Systeme. Neben seiner Forschungs- und Lehrtätigkeit bekleidete er das Amt des Dekans des Fachbereichs Informatik und war zwischenzeitlich Sprecher aller Dekane der Universität Oldenburg.

Die Forschungs- und Lehraktivitäten von Prof. Dr. Damm sind breit gefächert. Diese reichen von "mathematischen Modellen eingebetteter Systeme" über "Spezifikationssprachen und Hybride Systeme" bis hin zu "Methoden Formaler Verifikation" sowie "Realzeit- und Safety Analysen". Die Forschungstätigkeiten werden durch verschiedenste Kooperationen mit Industriepartner aus den Bereichen der Luftfahrt, des Automotive und des Schienenverkehrs unterstützt. Prof. Dr. Damm bietet des Weiteren regelmäßige Lehrveranstaltungen aus der Technischen Informatik an. Hierzu gehören zum Beispiel die Vorlesungen Technische Informatik I und II sowie Eingebettete Systeme I und II.

Prof. Dr. Damm etablierte den Forschungs- und Enwicklungsbereich Verkehr am An-Institut OFFIS - Institut für Informatik - wo er ebenfalls als Vorstandsmitglied tätig ist. Des Weiteren ist er Vorstandsvorsitzender des Kompetenz-Clusters SafeTRANS - Safety in Transportation Systems - sowie Sprecher des Sonderforschungsbereich/Transregio 14 AVACS und Direktor des Forschungszentrum Sicherheitskritische Systeme.

Seit April 2013 ist Prof. Dr. Damm Leiter des durch VW-Vorab geförderten Interdisziplinären Forschungszentrums für Critical Systems Engineering für sozio-technische Systeme. Weiterhin ist er Mitglied der Deutschen Akademie für Technikwissenschaften - acatech.

Er war Vorsitzender des Steuerkreises der Nationalen Roadmap für Eingebettete Systeme und leistete ebenso Beiträge zu anderen Roadmaps wie z.B. Agenda CPS von acatech oder zur durch die Forschungsunion koordinierten Roadmap zur Industrie 4.0. Außerdem ist Prof. Dr. Damm sowohl Mitglied des Steuerkreises des European Institute for Complex Safety Critical Systems Engineering - EICOSE als auch Mitglied der ARTEMIS Working Group Tool Platforms.
News

+49 441 9722-500

+49 441 9722-502

werner.damm(at)offis.de

ses.informatik.uni-oldenburg.de/30854.html

D 122

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg

Publikationen
von Prof. Dr. Werner Damm

2017

A Formal Semantics for Traffic Sequence Charts

Werner Damm and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; Festschrift in honor of Edmund A. Lee; October / 2017

BIB
Design Paradigms for Multi-Layer Time Coherency in ADAS and Automated Driving (MULTIC)

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; October / 2017

SafeTRANS Working Group “Highly automated Systems:Test, Safety, and Development Processes”

Damm, Werner and Heidl, Peter; Recommendations on Actions and Research Challenges; 2017

BIB
Traffic Sequence Charts - From Visualization to Semantics

Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; 10 / 2017

BIB
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement

Ernst Althaus and Björn Beber and Werner Damm and Stefan Disch and Willem Hagemann and Astrid Rakow and Christoph Scholl and Uwe Waldmann and Boris Wirtz; Science of Computer Programming; 2017

2016

Contract-based compositional synthesis of distributed controllers

Damm, Werner and Finkbeiner, Bernd and Rakow, Astrid; June / 2016

BIB
Verification of Linear Hybrid Systems with Large Discrete State Spaces: Exploring the Design Space for Optimization

Althaus, Ernst and Beber, Björn and Damm, Werner and Disch, Stefan and Hagemann, Willem and Rakow, Astrid and Scholl, Christoph and Waldmann, Uwe and Wirtz, Boris; April / 2016

BIB
What You Really Need To Know About Your Neighbor

Damm, Werner and Finkbeiner, Bernd and Rakow, Astrid; Proceedings Fifth Workshop on Synthesis, Toronto, Canada, July 17-18, 2016; 2016

2015

A conceptual model of Systems of Systems

Damm, Werner and Sangiovanni-Vincentelli, Alberto; Proceedings Second International Workshop on the Swarm at the Edge of the Cloud, CPS Week 2015; April / 2015

BIB
Contracts for Schedulability Analysis

Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo; Formal Modeling and Analysis of Timed Systems; 2015

Contracts for Schedulability Analysis

Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo; Proc. Formal Modelling and Analysis of Timed Systems (FORMATS); 2015

BIB
Contracts for Systems Design: Methodology and Application cases

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; 01 / 2015

Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata

Damm, Werner and Horbach, Matthias and Sofronie-Stokkermans, Viorica; Frontiers of Combining Systems; 2015

SafeTRANS: Safety, Testen und Entwicklungsprozesse hochautomatisierter Systeme

Böde, Eckard and Daembkes, Heinrich and Damm, Werner and Griebel, Franziska and Köster, Frank and Lemmer, Karsten and Lüdtke, Andreas and Niehaus, Jürgen and Peikenkamp, Thomas; Haus der Technik (Expert Verlag); 2015

BIB

2014

Automatic Compositional Synthesis of Distributed Systems

Damm, Werner and Finkbeiner, Bernd; FM 2014: Formal Methods; 2014

Component Based Design of Hybrid Systems: A Case Study on Concurrency and Coupling

Werner Damm and Eike Möhlmann and Astrid Rakow; Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14; 2014

Component Based Design of Hybrid Systems: A Case Study on Concurrency and Coupling (Extended Version)

Werner Damm and Willem Hagemann and Eike Möhlmann and Astrid Rakow; 2014

2013

A Design Space Exploration Tool Demonstration for Automotive Systems

Büker, Matthias and Damm, Werner and Ehmen, Günter and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo and Thaden, Eike; 01 / 2013

BIB
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems

Damm, Werner and Peter, Hans-Jörg and Rakow, Jan and Westphal, Bernd; Mathematical Structures in Computer Science; 2013

From Specification Models to Distributed Embedded Applications: A Holistic User-Guided Approach

Büker, Matthias and Damm, Werner and Ehmen, Günter and Henkler, Stefan and Janssen, Detlef and Stierand, Ingo and Thaden, Eike; SAE International Journal of Passenger Cars- Electronic and Electrical Systems; 05 / 2013

2012

Contracts for Systems Design

Damm, Werner and Reinkemeier, Philipp and Benveniste, Albert and Caillaud, Benoit and Nickovicy, Dejan and Passerone, Roberto and Raclet, Jean-Baptiste and Sangiovanni-Vincentelli, Alberto and Henzinger, Tom and Larsen, Kim; IEEE Computer; 12 / 2012

BIB
Introduction to the SPES Modeling Framework

Broy, Manfred and Damm, Werner and Henkler, Stefan and Pohl, Klaus and Vogelsang, Andreas and Weyer, Thorsten; Model-Based Engineering of Embedded Systems; 2012

Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems

Sangiovanni-Vincentelli, Alberto and Damm, Werner and Passerone, Roberto; European Journal of Control; 02 / 2012

BIB

2011

An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models

Büker, Matthias and Damm, Werner and Ehmen, Günter and Stierand, Ingo; Proc. of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11); 09 / 2011

BIB
Architecture Modeling

Andreas Baumgart, Eckard Böde, Matthias Büker, Werner Damm, Günter Ehmen, Tayfun Gezgin, Stefan Henkler, Hardi Hungar, Bernhard Josko, Markus Oertel, Thomas Peikenkamp, Philipp Reinkemeier, Ingo Stierand, Raphael Weber; 3 / 2011

Automating the Design Flow for Distributed Embedded Automotive Applications: Keeping Your Time Promises, and Optimizing Costs, too

Büker, Matthias and Damm, Werner and Ehmen, Günter and Metzner, Alexander and Stierand, Ingo and Thaden, Eike; Proc. International Symposium on Industrial Embedded Systems (SIES'11); 07 / 2011

BIB
Automating the design flow for distributed embedded automotive applications: keeping your time promises, and optimizing costs, too (TR)

Büker, Matthias and Damm, Werner and Ehmen, Günter and Metzner, Alexander and Stierand, Ingo and Thaden, Eike; 03 / 2011

Crossing the bridge between similar games

Quesel, Jan-David and Fränzle, Martin and Damm, Werner; Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings; 01 / 2011

BIB
Taming Dr. Frankenstein: Contract-Based Design for Cyber-physical Systems

Sangiovanni-Vincentelli, Alberto and Damm, Werner and Passerone, Roberto ; 12 / 2011

BIB
Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design

Damm, Werner and Hungar, Hardi and Josko, Bernhard and Peikenkamp, Thomas and Stierand, Ingo and ; 03 / 2011

BIB

2009

Contract Based ISO CD 26262 Safety Analysis

Damm, Werner and Josko, Bernhard and Peikenkamp, Thomas; 04 / 2009

BIB
Meta-models in Europe: Languages, Tools, and Applications

Roberto Passerone and Imene Ben Hafaiedh and Albert Benveniste and Daniela Cancila and Arnaud Cuccuru and Werner Damm and Alberto Ferrari and Sébastien Gérard and Susanne Graf and Bernhard Josko and Leonardo Mangeruca and Thomas Peikenkamp and Alberto Sangiovanni-Vincentelli and Francois Terrier; IEEE Design & Test of Computers; 2009

BIB
Metamodels in Europe: Languages, Tools, and Applications

Passerone, Roberto and Hafaiedh, Imene Ben and Graf, Susanne and Benveniste, Albert and Cancila, Daniela and Cuccuru, Arnaud and Gérard and Sébastien and Terrier, Francois and Ferrari, Alberto and Mangeruca, Leonardo and Josko, Bernhard and Peikenkamp, Thomas and Sangiovanni-Vincentelli, Alberto; IEEE Design & Test of Computers; 5 / 2009

BIB
Nationale Roadmap Embedded Systems

Achatz, Reinhod and Beetz, Klaus and Broy, Manfred and Dämbkes, Heinrich and Damm, Werner and Grimm, Klaus and Liggesmeyer, Peter; 12 / 2009

BIB

2008

Software Components for Reliable Automotive Systems

Damm, W, and Josko, B. and Metzner, A. and Di Natale, M., Heinecke, H. and Kopetz, H. and Sangiovanni-Vincentelli, A.; Proceedings Design, Automation and Test in Europe, 2008. DATE08; 01 / 2008

BIB

2007

A Design Methodology for Distributed Real-Time Automotive Applications

Damm, Werner and Metzner, Alexander; Proceedings of the GM R&D Workshop, Bangalore, India; 01 / 2007

BIB
Automating verification of cooperation, control, and design in traffic applications

Damm, Werner and Mikschl, Alfred and Oehlerking, Jens and Olderog, Ernst-Rüdiger and Pang, Jun and Platzer, André and Segelken, Marc and Wirtz, Bernd; Formal Methods and Hybrid Real-Time Systems, Essays Dedicated to Dines Bjoerner and Zhou Chaochen on the Occasion of Their 70th Birthdays; 01 / 2007

BIB
Computer Aided Verification

Werner Damm and Holger Hermanns; Lecture Notes in Computer Science; 01 / 2007

BIB
Exact state set representations in the verification of linear hybrid systems with large discrete state-space

Damm, Werner and Disch, Stefan and Hungar, Hardi and Jacobs, Swen and Pang, Jun and Pigorsch, Florian and Scholl, Christoph and Waldmann, Uwe and Wirtz, Boris; Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007; 01 / 2007

BIB
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems

Werner Damm and Guilherme Pinto and Stefan Ratschan; International Journal of Foundations of Computer Science; 01 / 2007

BIB
On the Expressive Power of Live Sequence Charts

Damm, Werner and Toben, Tobe and Westphal, Bernd; Program Analysis and Compilation, Theory and Practise: Essays Dedicated to Reinhard Wilhelm; 01 / 2007

BIB
SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems

Bernd Becker, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm; Information Technology; 01 / 2007

BIB
Verification and Synthesis of OCL Constraints via Topology Analysis - A case study

Bauer, Jörg and Damm, Werner and Toben, Tobe and Westphal, Bernd; 10 / 2007

BIB

2006

Adding Value to Automotive Models

Böde, Eckard and Damm, Werner and Hoyem, Jarl and Josko, Bernhard and Niehaus, Jürgen and Segelken, Marc; Automotive Software - Connected Services in Mobile Networks. First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004,; 01 / 2006

BIB
Adding Value to automotive models

Eckard Böde and Werner Damm and Jarl Hoyem and Bernhard Josko and Jürgen Niehaus and Marc Segelken; Automotive Software - Connected Services in Mobile Networks; 01 / 2006

BIB
Automatic verification of hybrid systems with large discrete state space

Damm, W. and Disch, S. and Hungar, H. and Pang, J. and Pigorsch, F. and Scholl, C. and Waldmann, U. and Wirtz, B.; Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06); 01 / 2006

BIB
Component based design of embedded automotive systems

Damm, Werner; Proceedings, Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel (AAET 2006); 01 / 2006

BIB
Formal Verification of LSC's in the Development Process

Brill, Matthias and Buschermöhle, Ralf and Damm, Werner and Klose, Jochen and Westphal, Bernd and Wittke, Hartmut; Integration of Software Specification Techniques for Applications in Engineering; 06 / 2006

BIB
Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung

Damm, W. and Schulte, C. and Segelken, M. and Wittke, H. and Higgen, U. and Eckrich, M.; 06 / 2006

BIB
Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality

Eisenbrand, F. and Damm, W. and Metzner, A. and Shmonin, G. and Wilhelm, R. and Winkel, S.; Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications.; 01 / 2006

BIB
Verification of cooperating traffic agents

Damm, W. and Hungar, H., Olderog, E.-R.; 01 / 2006

BIB

2005

A discrete-time UML semantics for concurrency and communication in safety-critical applications

Damm, Werner and Josko, Bernhard and Pnueli, Amir and Votintseva, Angelika; 01 / 2005

BIB
Boosting Re-use of Embedded Automotive Applications Through Rich Components

Damm, Werner and Votintseva, Angelika and Metzner, Alexander and Josko, Bernhard and Peikenkamp, Thomas and Böde, Eckard; Proceedings, FIT 2005 - Foundations of Interface Technologies; 08 / 2005

BIB
Controlling speculative design processes using rich component models

Damm, Werner; 5th International Conference on Application of Concurrency to System Design (ACSD 2005); 01 / 2005

BIB
Guaranteed termination in the verification of LTL properties of non-linear robust hybrid systems.

Damm, W. and Pinto, G. and Ratschan, S.; Automated Technology for Verification and Analysis (ATA); 01 / 2005

BIB
Live and let die: LSC-based verification of UML models.

Damm, Werner and Westphal, Bernd; 01 / 2005

BIB

2004

Live Sequence Charts

Brill, Mathias and Damm, Werner and Klose, Jochen and Westphal, Bernd and Wittke, Hartmut; Integration of Software Specification Techniques for Applications in Engineering; 01 / 2004

BIB
Model Checking - Grundlagen und Praxiserfahrungen

Buschermöhle, Ralf and Brörkens, Mark and Brückner, Ingo and Damm, Werner and Hasselbring, Wilhelm and Josko, Bernhard and Schulte, Christoph and Wolf, Thomas; 04 / 2004

BIB
On the Verification of Cooperating Traffic Agents

Damm, W. and Hungar, H. and Olderog, E.-R.; Proc. FMCO '03: Formal Methods for Components and Objects; 01 / 2004

BIB
The future design scenario and the SEA inititative

Brunel, J.-Y. and Damm, W. and Ferrari, A. and Freund, U. and Josko, B. and Kowalewski, S. and Sangiovanni-Vincentelli, A. and Torngren, M. and Thurner, T. and Hasseln, H. von; IFAC Symposium on Advances in Automotive Control, University of Salerno, Italy, 2004; 01 / 2004

BIB

2003

A Semantics for Distributed Execution of STATEMATE

Fränzle, Martin and Niehaus, Jürgen and Metzner, Alexander and Damm, Werner; 12 / 2003

BIB
Live and Let Die: LSC-Based Verification of UML-Models

Damm, Werner and Westphal, Bernd; Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures; 01 / 2003

BIB
Modeling and Validating Train System Applications Using Statemate and Live Sequence Charts

Bohn, J. and Damm, W. and Klose, J. and Moik, A. and Wittke, H.; Proceedings of the Conference on Integrated Design and Process Technology (IDPT2002); 05 / 2003

BIB
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML

Damm, Werner and Josko, Bernhard and Pnueli, Amir and Votintseva, Angelika; Formal Methods for Components and Objects. First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures; 01 / 2003

BIB

2002

Eliminating Queues from RT UML Model Representations

Damm, W. and Jonsson, B.; 7th Int'l Symposium on Formal Techniques in Real-Time and Fault-Tolerance Systems, FTRTFT 2002; 09 / 2002

BIB

2000

OFFIS - Acht Jahre anwendungsorientierte Informatik-Forschung und -Entwicklung

Appelrath, Hans-Jürgen and Damm, Werner and Menke, Karl-Heinz and Nebel, Wolfgang and Thoben, Wilfried; 01 / 2000

BIB
The STATEMATE Verification Environment - Making it real

Bienmüller, T. and Damm, W. and Wittke, H.; 12th international Conference on Computer Aided Verification, CAV; 01 / 2000

BIB

1999

Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking

Bienmüller, T. and Brockmeyer, U. and Damm, W. and Döhmen, G. and Eßmann, C. and Holberg, H. J. and Hungar, H. and Josko, B. and Schlör, R. and Wittich, G. and Wittke, H. and Clements, G.; Towards System Safety - Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK; 01 / 1999

BIB
Secure Decentralized Control of Railway Crossings

Damm, W. and Döhmen, G. and Klose, J.; Fourth International ERCIM Workshop on Formal Methods in Industrial Critical Systems; 01 / 1999

BIB
Verification of Automotive Control Units

Bienmüller, T. and Bohn, J. and Brinkmann, H. and Brockmeyer, U. and Damm, W. and Hungar, H. and Jansen, P.; Correct System Design; 01 / 1999

BIB

1998

A Compositional Real-time Semantics of STATEMATE Designs

Damm, W. and Josko, B. and Hungar, H. and Pnueli, A.; Compositionality: The Significant Difference; International Symposium COMPOS '97; 01 / 1998

BIB
First-Order-CTL Model Checking

Bohn, J. and Damm, W. and Grumberg, O. and Hungar, H. and Laster, K.; 18th Conference on Foundations of Software Technology and Theroretical Computer Science; 05 / 1998

BIB
Herbrand automata for hardware verification

Damm, W. and Pnueli, A. and Ruah, S.; Proc of the 9th International Conference on Conucrrency (CONCUR); 01 / 1998

BIB

Projekte
von Prof. Dr. Werner Damm

A

Algebra MC

Integration algebraischer Datendarstellungen in symbolisches Modelchecken

Laufzeit: 2000 - 2002

AMALTHEA4public

Enabling of Results from AMALTHEA and others for Transfer into Application and building a Community around

Laufzeit: 2014 - 2017

ARAMiS

ARAMiS – Automotive, Railway and Avionic Multicore System

Laufzeit: 2011 - 2014

ARTIST

Netzwerk für Entwurfsmethoden für Eingebettete Systeme

Laufzeit: 2002 - 2006

ARTIST2

Entwurf Eingebetteter Systeme - Exzellenznetzwerk

Laufzeit: 2004 - 2008

ArtistDesign

Exzellenznetzwerk: Entwurf eingebetteter Systeme

Laufzeit: 2008 - 2011

ASCET-VERIFY

Formale Verifikation von ASCET-SD-Modellen

Laufzeit: 2002 - 2005

ASSUME

Affordable Safe And Secure Mobility Evolution

Laufzeit: 2015 - 2018

C

CESAR

Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems

Laufzeit: 2009 - 2012

COMBEST

Komponentenbasierte Entwurfsmethoden für eingebettete Systeme

Laufzeit: 2008 - 2011

CP-SETIS

Towards Cyber-Physical Systems Engineering Tools Interoperability Standardisation

Laufzeit: 2015 - 2017

CPSE Labs

Cyber-Physical Systems Engineering Labs

Laufzeit: 2015 - 2018

CRYSTAL

Critical System Engineering Acceleration

Laufzeit: 2013 - 2016

D

D3CoS

Designing Dynamic Distributed Cooperative Systems

Laufzeit: 2011 - 2014

DANSE

Designing for Adaptability and evolutioN in System of systems Engineering

Laufzeit: 2011 - 2014

DepNET

Dependability Netzwerk

Laufzeit: 2004 - 2008

E

EASIS

Electronic Architecture and System Engineering for Integrated Safety Systems

Laufzeit: 2004 - 2007

ENABLE-S3

European Initiative to Enable Validation for Highly Automated Safe and Secure Systems

Laufzeit: 2016 - 2019

ESACS

Neue Methoden in der Sicherheitsanalyse komplexer Systeme

Laufzeit: 2001 - 2003

EUROFORM

Formal Methods for Correct System Design

Laufzeit: 1993 - 1995

F

FORSITE

Anwendung der FORMAT-Werkzeuge im industriellen Umfeld

Laufzeit: 1996 - 1997

I

IMOST

Integrated Modeling for Safe Transportation

Laufzeit: 2007 - 2010

IMOST 2

Integrated Modeling for Safe Transportation 2

Laufzeit: 2010 - 2013

InteGRail

Intelligent Integration Of Railway Systems

Laufzeit: 2005 - 2008

IP-PROTECT

Verifikationstechniken zum IP-Schutz

Laufzeit: 2003 - 2004

ISAAC

Erweiterte Sicherheitsanalysetechniken für komplexe Systeme in der Luftfahrt

Laufzeit: 2004 - 2007

K

KORSYS

Korrekte Software für sicherheitskritische Systeme

Laufzeit: 1995 - 1998

M

MBAT

Combined Model-based Analysis and Testing of Embedded Systems

Laufzeit: 2011 - 2014

MISSA

More Integrated and cost efficient Systems Safety Assessment

Laufzeit: 2008 - 2011

N

NELA IMA-V

IMA Requirements Verification

Laufzeit: 2012 - 2015

O

OMEGA

Entwicklung korrekter eingebetteter Realzeitsysteme

Laufzeit: 2002 - 2005

OPRAIL

CENELEC-getriebene Optimierung der Entwicklung bahntechnischer Systeme

Laufzeit: 2004 - 2006

S

SACRES

Safety Critical Embedded Systems

Laufzeit: 1995 - 1998

SAFE

Safe Automotive soFtware architEcture

Laufzeit: 2011 - 2014

SAFEAIR

Eingebettete Systeme in sicherheitskritischen Avioniksystemen

Laufzeit: 2000 - 2004

SafePower

Safe and secure mixed-criticality systems with low power requirements (Leider nur in Englisch verfügbar.)

Laufzeit: 2016 - 2018

SPEEDS

Speculative and Exploratory Design in Systems Engineering

Laufzeit: 2006 - 2010

SPES 2020

Software Plattform Embedded Systems 2020

Laufzeit: 2008 - 2012

SPES_XT

Software Platform Embedded Systems 2020_XT

Laufzeit: 2012 - 2015

T

TD - Spec

Einsatz visueller Formalismen in der industriellen Praxis

Laufzeit: 1999 - 2001

TECHNION

Formal Verification of VHDL-Based Real-Time Hardware Designs

Laufzeit: 1994 - 1998

V

V-FORMAT

Verifying System Designs Using Formal Methods

Laufzeit: 1997 - 1999

VAPA

Verifikation moderner Prozessor-Architekturen

Laufzeit: 1999 - 2001

VERISOFT

Beweisen als Ingenieurwissenschaft

Laufzeit: 2005 - 2007

VSEK

Virtuelles Software-Engineering-Kompetenznetz

Laufzeit: 2004 - 2007

W

WOODDES

Verifikation eingebetteter Systeme basierend auf UML

Laufzeit: 1999 - 2002