Modellgetriebene Softwareentwicklung für sichere Systeme

这些工程项目是对一个复杂的、相关的系统进行建模和软件开发的一个步骤。Das Projektkonzentriert sich auf die Anwendungsbereiche des elektronischen Handels sowie dessicherheitsrelevanten Austauschs von Informationen（E-Ticketing，Security Protokolle，Mobilfunk，Datensicherplane，elektronische Dokumente etc.）. Besondere Anforderungen sind die garantierteEinhaltung klassischer Sicherheitseigenschaften（wie Geheimhaltung und Integrität von Daten）aberauch anwendungsspezifischer Eigenschaften（wie Vermeidung Schaftlicher Schäden）in einerunsicheren bzw. feindlichen Umgebung。这些都是通过一个在模型中集成模型来获得软件的韦尔登而实现的。Damit wird es möglich，komplexe Anwendungen systematisch auf verberedenen Abstraktionsebenen mit UML zumodelieren，Sicherheitseigenschaften mit formalen Methoden nachzuweisen，für Chipkarten und WebServices automatisch Code zu generieren und systematisch Testfälle zu erzeugen.在所有的项目研究中，德国的电子产品都是由一个独立的组件组成的，如芯片卡、PC和Apothekern，以及最好的病人服务。

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.