DSy - Debugging Eingebetteter Systeme

DSy - 调试嵌入式系统

基本信息

项目摘要

Eingebettete Systeme (EmS, von engl. „Embedded Systems”) begleiten unseren Alltag, wobei sie alles von hilfreichen Aufgaben bis hin zur Steuerung sicherheitskritischer Systeme übernehmen. Der Automobilbau – eine der deutschen Schlüsselindustrien – hängt wesentlich von Innovationen im Bereich der EmS ab. Vor kurzem noch Zukunftsvisionen werden zum Beispiel Fahrassistenzsysteme zunehmend in der Praxis eingesetzt. Für immer komplexere Steuerungsaufgaben werden EmS mit immer mehr Hardware-Komponenten und immer aufwändigerer Software eingesetzt. Die rasante Vergrößerung der technisch realisierbaren Systeme gemäß „Moore’s Law” ermöglicht diese Entwicklung. Im Resultat entsteht ein „Design Gap”, d.h. die Produktivität im Entwurf hält nicht mit der Komplexitätssteigerung des technisch Machbaren mit.Ein wesentlicher Engpass beim Entwurf sind das Auffinden und Beseitigen von Fehlern, das sogenannte Debugging. Aufgrund der Komplexität werden EmS in der Praxis fast nie fehlerfrei entworfen. Während der Validation oder Verifikation wird die Existenz von Fehlern entdeckt. Für das Debugging stehen bis heute keine adäquaten Werkzeuge zur Verfügung. Aufgrund fehlender Automatisierung ist das Debugging extrem zeitaufwändig.Das Projekt „Debugging Eingebetteter Systeme” (DSy, gesprochen wie engl. dizzy) soll die Produktivität im Entwurf deutlich steigern. Erstmals wird eine durchgängige Debugging- Methodik für den EmS-Entwurf entwickelt, die neue automatisierte Verfahren für Fehlerdiagnose und Fehlerbehebung integriert. Zur Realisierung dieses Vorhabens ist weitere Grundlagenforschung notwendig. Diese umfasst theoretische Grundlagen zur Klassifikation von Fehlern im EmS-Entwurf sowie die Weiterentwicklung existierender und die Entwicklung neuer Debugging-Algorithmen. Praktische Beispiele dienen der projektbegleitenden Evaluation der neuen Verfahren.
Eingebettete Systeme(EmS,von engl.“嵌入式系统”)是我们所有的标签,它们都是由一个安全的系统控制的。Der Automobilbau - eine der deutschen Schlüsselindustrien - hängt wesentlich von Innovationen im Bereich der EmS ab.我们的韦尔登将有助于在实践中建立起一个真正的法援体系。Für immer komplexere Steuerungsaufgaben韦尔登EMS mit immer梅尔Hardware-Komponenten und immer aufwänterer Software eingesetzt.技术实现系统的理论基础是摩尔定律。Im Resultat entsteht ein“Design Gap”,d.h.企业的生产力并不依赖于技术机械的复杂性。企业的生产力是由费伦的技术支持和管理的。在实践中,复杂的韦尔登医疗系统的发展很快。确认或验证将由Fehlern负责。Für das pastehen bis heute keine adäquaten Werkzeuge zur Verfügung.随着自动化程度的提高,这是一个极端的时代。头晕)soll die Produktivität im Entwurf deutlich steigern.首先,我们将采用一种新的自动化方法,对故障诊断和故障诊断进行整合。要实现这些预言,我们还需要进行基础研究。Fehlern在EmS-Entwurf中的分类的最重要的理论基础是Weiterentwicklung可持续发展和新的可持续发展。实践中,我们将对新的产品进行项目评估。

项目成果

期刊论文数量(6)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Transaction-Based Online Debug for NoC-Based Multiprocessor SoCs
基于 NoC 的多处理器 SoC 的基于事务的在线调试
A Simulation-Based Approach for Automated Feature Localization
基于仿真的自动特征定位方法
Automated Design Debugging in a Testbench-Based Verification Environment
基于测试平台的验证环境中的自动设计调试
Debugging hardware designs using dynamic dependency graphs
使用动态依赖图调试硬件设计
  • DOI:
    10.1016/j.micpro.2016.10.004
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jan Malburg;Alexander Finder;Goerschwin Fey
  • 通讯作者:
    Goerschwin Fey
MetaSMT: a unified interface to SMT-LIB2
MetaSMT:SMT-LIB2 的统一接口
{{ 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.-Ing. Görschwin Fey其他文献

Professor Dr.-Ing. Görschwin Fey的其他文献

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

{{ truncateString('Professor Dr.-Ing. Görschwin Fey', 18)}}的其他基金

Methodology, Algorithms, and Framework for Hardware Design Understanding
硬件设计理解的方法、算法和框架
  • 批准号:
    450387614
  • 财政年份:
    2020
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Combining Testing and Monitoring for Online Functional Guarantees in Imprecise Hardware Systems
结合测试和监控来保证不精确的硬件系统中的在线功能
  • 批准号:
    471837173
  • 财政年份:
  • 资助金额:
    --
  • 项目类别:
    Research Grants

相似海外基金

CAREER: FET: A Top-down Compilation Infrastructure for Optimization and Debugging in the Noisy Intermediate Scale Quantum (NISQ) era
职业:FET:用于噪声中级量子 (NISQ) 时代优化和调试的自上而下的编译基础设施
  • 批准号:
    2421059
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
CAREER: Advancing Neural Testing and Debugging of Software
职业:推进软件的神经测试和调试
  • 批准号:
    2238045
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
An Individual Investigator Development Plan to Improve Undergraduate Debugging Skills and Mindset
提高本科生调试技能和心态的个人研究者发展计划
  • 批准号:
    2321255
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Utilizing Artificial Intelligence to Improve the Testing and Debugging of Concurrent Software
利用人工智能改进并发软件的测试和调试
  • 批准号:
    RGPIN-2018-06588
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Testing and Debugging Machine Learning-based Autonomous Systems
测试和调试基于机器学习的自治系统
  • 批准号:
    RGPIN-2020-04035
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Inferring rich input structure for software debugging and defence
推断丰富的输入结构用于软件调试和防御
  • 批准号:
    RGPIN-2020-06394
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
DIADEM: debugging made dependable and measurable
DIADEM:调试变得可靠且可衡量
  • 批准号:
    EP/W012308/1
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Research Grant
Testing, Debugging and Repairing Machine Learning Software at the System Level
系统级测试、调试和修复机器学习软件
  • 批准号:
    RGPAS-2021-00034
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Accelerator Supplements
Monitoring and Debugging of High Performance Distributed Heterogeneous Cloud Applications
高性能分布式异构云应用的监控和调试
  • 批准号:
    554158-2020
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Alliance Grants
Testing, Debugging and Repairing Machine Learning Software at the System Level
系统级测试、调试和修复机器学习软件
  • 批准号:
    RGPIN-2021-02549
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了