Prof. Dr. Werner Damm Division Transportation Executive Board; Scientific Director Division Transportation

Prof. Dr. Werner Damm
Contact
Activities

Position at OFFIS

Division Transportation Executive Board; Scientific Director Division Transportation

Research and Developement Division

Transportation

Competence Cluster

Safety Relevant Cyber Physical Systems (SRCPS), Architecture Frameworks (AF), Cyber Resilient Architectures and Security (CRAS), Deep Learning (DL), Embedded Systems Design (ESD)

Position at the University

Direktor des Forschungszentrums Sicherheitskritische Systeme
Leiter der Abteilung Sicherheitskritische Eingebettete Systeme
Leiter des durch VW-Vorab geförderten Interdisziplinären Forschungszentrums für den Entwurf sicherheitskritischer soziotechnischer Systeme

Further Activities

Vorstandsvorsitzender SafeTRANS e.V.
Mitglied EiCOSE Steering Board
Mitglied Artemis Working Group Tool Platforms
Mitglied der Arbeitsgruppe 5 der Ethikkommission für Autonomes Fahren des Bundesministeriums für Verkehr und Digitale Infrastruktur
Mitglied der Arbeitsgruppe „Autonome Systeme Schiene/Straße“ des Hightech-Forums „Autonome Systeme“ der Bundesregierung
Mitglied des Steuerkreises der Acatech-Studie „Neue AutoMobilität – automatisierter Straßenverkehr der Zukunft“
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

Research Focus

Modellbasierter Entwurf eingebetteter Systeme, von Systems of Systems und Cyber Physischer Systeme, Formale Verifikationsmethoden, Sicherheitsanalyse, Echtzeitanalyse, Spezifikationssprachen und Hybride Systeme, Entwicklungsprozesse für eingebettete Systeme
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
GERMANY

Publications
of Prof. Dr. Werner Damm

2019

Multi-Layer Time Coherency in the Development of ADAS/AD Systems: Design Approach and Tooling

Werner Damm and Günter Ehmen and Kim Grüttner and Philipp Ittershagen and Björn Koopmann and Frank Poppen and Ingo Stierand; Proceedings of the Workshop on Design Automation for CPS and IoT (DESTION'19); 04 / 2019

2018

A Formal Semantics for Traffic Sequence Charts

Werner Damm and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday; July / 2018

Contracts for System Design

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

Using Traffic Sequence Charts for the Development of HAVs

Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; European Congress on Embedded Real Time Software and Systems 2018; Janurary / 2018

2017

Autonome Systeme - Fähigkeiten und Anforderungen

Damm, W. and Kalmar, Ralf; Informatik-Spektrum; 2017

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; FAT-Schriftenreihe 302; 10 / 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

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

Contracts for Systems Design: Theory

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; July / 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

Projects
of Prof. Dr. Werner Damm

A

Algebra MC

Integration algebraischer Datendarstellungen in symbolisches Modelchecken (Sorry - this page is only available in German)

Duration: 1999 - 2002

AMALTHEA4public

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

Duration: 2014 - 2017

ARAMiS

ARAMiS – Automotive, Railway and Avionic Multicore System

Duration: 2011 - 2014

ARTIST

A Network for Innovative Design Methods for Embedded Systems

Duration: 2002 - 2006

ARTIST2

Embedded Systems Design - Network of Excellence

Duration: 2004 - 2008

ArtistDesign

Design of Embedded Systems– Network of Excellence

Duration: 2007 - 2011

ASCET-VERIFY

Formale Verifikation von ASCET-SD-Modellen (Sorry - this page is only available in German.)

Duration: 2001 - 2005

ASSUME

Affordable Safe And Secure Mobility Evolution (sorry - only availble in german)

Duration: 2015 - 2018

C

CESAR

Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems

Duration: 2009 - 2012

Cocomo

Cognitive Cooperation Support System based on Mobile and Wearable Devices (sorry - only available in german)

Duration: 2017 - 2020

COMBEST

Component-based Embedded Systems Design Techniques

Duration: 2007 - 2011

CP-SETIS

Towards Cyber-Physical Systems Engineering Tools Interoperability Standardisation

Duration: 2015 - 2017

CPSE Labs

Cypher Physical Systems Engineering Labs

Duration: 2015 - 2018

CRYSTAL

Critical System Engineering Acceleration (sorry - only available in German)

Duration: 2013 - 2016

D

D3CoS

Designing Dynamic Distributed Cooperative Systems

Duration: 2011 - 2014

DANSE

Designing for Adaptability and evolutioN in System of systems Engineering

Duration: 2011 - 2014

DepNET

Dependability Network

Duration: 2004 - 2008

E

EASIS

Electronic Architecture and System Engineering for Integrated Safety Systems

Duration: 2003 - 2007

ENABLE-S3

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

Duration: 2016 - 2019

ESACS

Neue Methoden in der Sicherheitsanalyse komplexer Systeme

(Sorry - only available in german!)

Duration: 2001 - 2003

EUROFORM

Formal Methods for Correct System Design

Duration: 1993 - 1995

F

FORSITE

Anwendung der FORMAT-Werkzeuge im industriellen Umfeld

(Sorry - only available in german!)

Duration: 1996 - 1997

I

IMOST

Integrated Modeling for Safe Transportation

Duration: 2007 - 2010

IMOST 2

Integrated Modeling for Safe Transportation 2 (sorry - only available in german)

Duration: 2010 - 2013

InteGRail

Intelligent Integration Of Railway Systems

Duration: 2004 - 2008

IP-PROTECT

Verifikationstechniken zum IP-Schutz

(Sorry - only available in german!)

Duration: 2002 - 2004

ISAAC

Improvement of Safety Activities on Aeronautical Complex systems

Duration: 2004 - 2007

K

KORSYS

Korrekte Software für sicherheitskritische Systeme

(Sorry - only available in german!)

Duration: 1995 - 1998

M

MBAT

Combined Model-based Analysis and Testing of Embedded Systems

 

Duration: 2011 - 2014

MISSA

More Integrated and cost efficient Systems Safety Assessment

Duration: 2008 - 2011

N

NELA IMA-V

IMA Requirements Verification (sorry - only available in German)

Duration: 2012 - 2015

O

OMEGA

Entwicklung korrekter eingebetteter Realzeitsysteme

(sorry - only available in German)

Duration: 2001 - 2005

OPRAIL

CENELEC-driven Optimization of the Development of Train Control Systems

Duration: 2003 - 2006

S

SACRES

Safety Critical Embedded Systems

Duration: 1995 - 1998

SAFE

Safe Automotive soFtware architEcture

Duration: 2011 - 2014

SAFEAIR

Eingebettete Systeme in sicherheitskritischen Avioniksystemen (sorry - only available in German)

Duration: 1999 - 2004

SafePower

Safe and secure mixed-criticality systems with low power requirements

Duration: 2015 - 2018

SPEEDS

Speculative and Exploratory Design in Systems Engineering

Duration: 2006 - 2010

SPES 2020

Software Plattform Embedded Systems 2020 (sorry - only available in German)

Duration: 2008 - 2012

SPES_XT

Software Platform Embedded Systems 2020_XT

(sorry - only available in German)

Duration: 2012 - 2015

Step-Up!CPS

Software Methods and Technologies for Modular Updates of Cyber-Physical Systems

Duration: 2018 - 2021

T

TD - Spec

Einsatz visueller Formalismen in der industriellen Praxis (sorry - only available in German)

Duration: 1999 - 2001

TECHNION

Formal verification of VHDL-Based Real-Time Hardware Designs

Duration: 1993 - 1998

TESTOMAT

The Next Level of Test Automation

Duration: 2017 - 2020

V

V-FORMAT

Verifying System Designs Using Formal Methods

Duration: 1996 - 1999

VAPA

Verifikation moderner Prozessor-Architekturen (sorry - only available in German)

Duration: 1998 - 2001

VERISOFT

Formal Verification as Engineering Science

Duration: 2005 - 2007

VSEK

Virtuelles Software-Engineering-Kompetenznetz (sorry - only available in German)

Duration: 2003 - 2007

W

WOODDES

Verifikation eingebetteter Systeme basierend auf UML (sorry - only available in German)

Duration: 1998 - 2002