Modellgetriebene Softwareentwicklung für sichere Systeme

Ziel将项目分为三部分，即建模、软件开发、软件开发和软件开发，以及相关的系统。Das Projektkonzentriert sich auf die Anwendungsbereiche des elektronischen Handels sowie dessicherheits相关Austauschs von Informationen（电子票务、安全协议、Mobilfunk、Datensicherheit、elektronische Dokumente等）。(1)在德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国feindlichen Umgebung。在模具模型中集成formalerModelle模型。Damit wird es möglich，复杂的Anwendungen systematisch auf verschideen，抽象的sherheitseigenschaften mit UML zumodellien， formalen Methoden nachzuweisen， r Chipkarten和WebServices automatisch Code zu generieren and systematisch Testfälle zuerzegen。另外，还包括：zentralefallstudedes projects dient dabei die deutsche elektronische Gesundheitskarte， die aus eintervielzahl verschiedener Komponenten, wie beispielsweise Chipkarten, PCs bei Ärzten and Apothekern, and Servern mit patientdaten, best。

Ziel des beantragten Projekts ist die Anpassung der modellgetriebenen Softwareentwicklung an diebesonderen Randbedingungen vertrauens- und sicherheitsrelevanter Systeme. Das Projektkonzentriert sich auf die Anwendungsbereiche des elektronischen Handels sowie dessicherheitsrelevanten Austauschs von Informationen (E-Ticketing, Security Protokolle, Mobilfunk,Datensicherheit, elektronische Dokumente etc.). Besondere Anforderungen sind die garantierteEinhaltung klassischer Sicherheitseigenschaften (wie Geheimhaltung und Integrität von Daten) aberauch anwendungsspezifischer Eigenschaften (wie die Vermeidung wirtschaftlicher Schäden) in einerunsicheren bzw. feindlichen Umgebung. Dieses Ziel soll durch eine durchgängige Integration formalerModelle in die modellgetriebene Softwareentwicklung erreicht werden. Damit wird es möglich,komplexe Anwendungen systematisch auf verschiedenen Abstraktionsebenen mit UML zumodellieren, Sicherheitseigenschaften mit formalen Methoden nachzuweisen, für Chipkarten und WebServices automatisch Code zu generieren und systematisch Testfälle zu erzeugen. Als zentraleFallstudie des Projekts dient dabei die deutsche elektronische Gesundheitskarte, die aus einerVielzahl verschiedener Komponenten, wie beispielsweise Chipkarten, PCs bei Ärzten und Apothekern,und Servern mit Patientendaten, besteht.