Projekte im TC Dependable System Design

 

Hier können Sie sich die Projekte dieses Technologieclusters anschauen.

  Suche  UND ODER Erweiterte Suche
schließen


Alle Laufend Abgeschlossen
Alle 30 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
a
 

Algebra MC

Integration algebraischer Datendarstellungen in symbolisches Modelchecken
Laufzeit: 2000 - 2002

ASCET-VERIFY

Formale Verifikation von ASCET-SD-Modellen
Laufzeit: 2002 - 2005

c
 

CASCADe

Model-based Cooperative and Adaptive Ship-based Context Aware Design
Laufzeit: 2013 - 2015

CESAR

Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems
Laufzeit: 2009 - 2012

d
 

DepNET

Dependability Netzwerk
Laufzeit: 2004 - 2008

e
 

EASIS

Electronic Architecture and System Engineering for Integrated Safety Systems
Laufzeit: 2004 - 2007

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

InteGRail

Intelligent Integration Of Railway Systems
Laufzeit: 2005 - 2008

IP-PROTECT

Verifikationstechniken zum IP-Schutz
Laufzeit: 2003 - 2004

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

MoVeS

Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances
Laufzeit: 2010 - 2013

n
 

NELA IMA-V

IMA Requirements Verification
Laufzeit: 2012 - 2015

o
 

OMEGA

Entwicklung korrekter eingebetteter Realzeitsysteme
Laufzeit: 2002 - 2005

s
 

SAFE

Safe Automotive soFtware architEcture
Laufzeit: 2011 - 2014

SAFEAIR

Eingebettete Systeme in sicherheitskritischen Avioniksystemen
Laufzeit: 2000 - 2004

SafeGrid


Laufzeit: 2011 - 2011

SaLsA

Sichere autonome Logistik- und Transportfahrzeuge im Außenbereich
Laufzeit: 2009 - 2012

SOOP

Sichere Offshore-Operationen
Laufzeit: 2011 - 2014

SPEEDS

Speculative and Exploratory Design in Systems Engineering
Laufzeit: 2006 - 2010

SPES 2020

Software Plattform Embedded Systems 2020
Laufzeit: 2008 - 2012

v
 

V-FORMAT

Verifying System Designs Using Formal Methods
Laufzeit: 1997 - 1999

VAPA

Verifikation moderner Prozessor-Architekturen
Laufzeit: 1999 - 2001

VISEK

Kompetenzzentrum Engineering sicherheitskritischer Systeme
Laufzeit: 2001 - 2003

VSEK

Virtuelles Software-Engineering-Kompetenznetz
Laufzeit: 2004 - 2007

w
 

WOODDES

Verifikation eingebetteter Systeme basierend auf UML
Laufzeit: 1999 - 2002