Modellgetriebene Softwareentwicklung für sichere Systeme

安全系统的模型驱动软件开发

基本信息

项目摘要

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.
这是一个软件开发项目,也是一个与之相关的系统。电子票务、安全协议、Mobilfunk、Datensicherheit、Elektronische Dokumente等)。在这一过程中,我们发现了一种新的方法,那就是它是一种特殊的方式。在软件模型中建立了集成形式的模型,并对其进行了错误分析。它将是Möglich,komplexe Anwendungen Systatich auf vverschiedenen Abstraktionsebenen MIT uml zumodellieren,Sinherheitseigenschaften MIT Foralen Methoden nachzuweisen,für Chipkarten and WebServices Automatich Code zu Generieren and Systemch Testfälle zu erzeugen。此外,我们还将继续为德国电力公司提供服务,为客户提供更多的服务。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Professor Dr. Wolfgang Reif其他文献

Professor Dr. Wolfgang Reif的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Professor Dr. Wolfgang Reif', 18)}}的其他基金

COMBO – Combining Planning, Self-Organization and Reconfiguration in Robot Ensembles for ScORe Missions
COMBO â 将规划、自组织和重新配置结合到机器人整体中以执行 ScORe 任务
  • 批准号:
    402956354
  • 财政年份:
    2018
  • 资助金额:
    --
  • 项目类别:
    Research Grants
TeamBotS - A tool-supported methodology for developing software for dynamic teams of robots
TeamBotS - 一种工具支持的方法,用于为动态机器人团队开发软件
  • 批准号:
    387652208
  • 财政年份:
    2017
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Flashix II: Incremental verification of non-local refinements
Flashix II:非局部细化的增量验证
  • 批准号:
    175408244
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Verifikation Lock-freier Algorithmen
无锁算法验证
  • 批准号:
    165974113
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Developing Systems with Secure Information Flow
开发具有安全信息流的系统
  • 批准号:
    183481129
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
ForSa@OC-TRUST: Formal Analysis and Software Architectures for Trustworthy Organic Computing
ForSa@OC-TRUST:可信赖有机计算的形式分析和软件架构
  • 批准号:
    115342850
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Research Units
Coordination
协调
  • 批准号:
    115506196
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Research Units
Formal Modeling, Safety Analysis, and Verification of Organic Computing Applications
有机计算应用的形式化建模、安全分析和验证
  • 批准号:
    5454659
  • 财政年份:
    2005
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Interoperabilität von Kalkülen zur Systemmodellierung
系统建模计算的互操作性
  • 批准号:
    5327570
  • 财政年份:
    2001
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Formale Methoden für den sicheren Einsatz von Java Chipkarten
安全使用 Java 芯片卡的正式方法
  • 批准号:
    5201618
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes

相似海外基金

Techniken und Praktiken der Zusammenarbeit in transnationalen Projekten der Softwareentwicklung
跨国软件开发项目协作技术与实践
  • 批准号:
    227795796
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Unterstützung evolutionärer Softwareentwicklung durch Modellierung von Abhängigkeiten mittels Merkmalmodellen und Tranceability-Links für Domäne interaktiver Informationssysteme
通过使用交互式信息系统领域的特征模型和可追溯性链接对依赖关系进行建模,支持演化软件开发
  • 批准号:
    13819100
  • 财政年份:
    2005
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Transformation von Arbeitsbedingungen und Kategorisierungsmustern in der Softwareentwicklung in Deutschland im Internationalisierungsprozess der IT-Branche
IT产业国际化进程中德国软件开发工作条件和分类模式的转变
  • 批准号:
    5442228
  • 财政年份:
    2005
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Entwicklung von Konzepten und Methoden zur Anwendung der agentenorientierten Softwareentwicklung für flexible und verlässliche eingebettete Echtzeitsysteme
开发应用面向代理的软件开发以实现灵活可靠的嵌入式实时系统的概念和方法
  • 批准号:
    5452016
  • 财政年份:
    2005
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Softwareentwicklung zur studienübergreifenden Entwicklung in Fragebögen QDDS-3
问卷调查中交叉研究开发的软件开发 QDDS-3
  • 批准号:
    5453832
  • 财政年份:
    2005
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Entwicklung von Konzepten und Methoden zur Anwendung der agentenorientierten Softwareentwicklung für flexible und verlässliche eingebettete Echtzeitsysteme
开发应用面向代理的软件开发以实现灵活可靠的嵌入式实时系统的概念和方法
  • 批准号:
    16564189
  • 财政年份:
    2005
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Systemtheoretische Untersuchungen und Softwareentwicklung für dreidimensionale Bildrekonstruktion in der Positronen-Emissions-Tomographie (PET)
正电子发射断层扫描(PET)三维图像重建的系统理论研究和软件开发
  • 批准号:
    5400225
  • 财政年份:
    2003
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Systemtheoretische Untersuchungen und Softwareentwicklung für dreidimensionale Bildrekonstruktion in der Positronen-Emissions-Tomographie (PET)
正电子发射断层扫描(PET)三维图像重建的系统理论研究和软件开发
  • 批准号:
    5400227
  • 财政年份:
    2003
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung
将代数规范和函数式编程相结合作为正式软件开发的环境
  • 批准号:
    5290724
  • 财政年份:
    2000
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Umsetzung von Sicherheitspolitiken auf eine strukturierte, formale Softwareentwicklung
在结构化、正式的软件开发中实施安全策略
  • 批准号:
    5202012
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了