TRR 14: Automatic Verification and Analysis of Complex Systems

TRR 14：复杂系统的自动验证和分析

• 批准号: 5485999
• 金额: --
• 依托单位: Albert-Ludwigs-Universität Freiburg
• 依托单位国家: 德国
• 项目类别: CRC/Transregios
• 财政年份: 2004
• 资助国家: 德国
• 起止时间: 2003-12-31 至 2014-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5485999?language=en
• 关键词: TRR; 14; Automatic; Verification; Analysis

This project addresses the rigorous mathematical analysis of models of complex safety critical computerised systems, such as aircrafts, trains, cars or other artifacts, whose failure can endanger human life.

该项目致力于对复杂的安全关键计算机系统模型进行严格的数学分析，例如飞机，火车，汽车或其他人工制品，其故障可能危及人类生命。

项目成果

Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too

自动化分布式嵌入式汽车应用的设计流程：兑现时间承诺并优化成本

• DOI: 10.1109/sies.2011.5953658
• 发表时间: 2011
• 期刊: 2011 6th IEEE International Symposium on Industrial and Embedded Systems
• 作者: M. Büker;W. Damm;G. Ehmen;A. Metzner;I. Stierand;E. Thaden
• 通讯作者: E. Thaden

Toward Compact Abstractions for Processor Pipelines

走向处理器管道的紧凑抽象

• DOI: 10.1007/978-3-319-23506-6_14
• 发表时间: 2015
• 作者: S. Hahn;J. Reineke;R. Wilhelm
• 通讯作者: R. Wilhelm

Can we build it: formal synthesis of control strategies for cooperative driver assistance systems†

• DOI: 10.1017/s0960129512000230
• 发表时间: 2013-07
• 期刊: Mathematical Structures in Computer Science
• 影响因子: 0.5
• 作者: W. Damm;H. Peter;Jan-Hendrik Rakow;B. Westphal

Model Checking of Hybrid Systems: From Reachability Towards Stability

• DOI: 10.1007/11730637_38
• 发表时间: 2006-03
• 作者: A. Podelski;Silke Wagner

WCET analysis for multi-core processors with shared buses and event-driven bus arbitration

具有共享总线和事件驱动总线仲裁的多核处理器的 WCET 分析

• DOI: 10.1145/2834848.2834872
• 发表时间: 2015
• 期刊: Proceedings of the 23rd International Conference on Real Time and Networks Systems
• 作者: M. Jacobs;S. Hahn;S. Hack
• 通讯作者: S. Hack