Modellbasierte Testdatenerzeugung zur effizienten Prüfung integrierter Hardware-/Softwaresysteme

基于模型的测试数据生成,可有效测试集成硬件/软件系统

基本信息

项目摘要

Funktionen in eingebetteten Systemen werden heutzutage immer häufiger durch integrierte Hard-ware-/Softwaresysteme realisiert, insbesondere ist dies auch bei Prozessautomatisierungssystemen zu beobachten. Merkmal dieser Hardware-/Softwaresysteme ist die enge Kopplung mit technischen Prozessen, wie etwa in den Steuerungen und Regelungen eines Kraftfahrzeugs, die eine zeitabhängige und diskret-kontinuierliche Dynamik aufweisen. Die Prüfung der korrekten Funktionalität des Entwurfs als auch des gefertigten Systems macht aufgrund der hohen Komplexität einen hohen Anteil der Gesamtkosten aus. Es wird daher ein effizientes Vorgehen zur gemeinsamen Prüfung von Hardware und Software dieser eingebetteten Systeme benötigt, das die einzelnen Aspekte Validierung, Debug, Diagnose und Test in sich vereint. Dies beinhaltet die automatisierte Ermittlung von Testdaten, welche Fehler zügig aufdecken und gleichzeitig eine hohe Produktqualität sicherstellen. Modellbasierte und modellgetriebene Entwicklungs- und Testverfahren gewinnen sowohl in der Forschung als auch in der industriellen Praxis an Bedeutung, da sie die schrittweise Entwicklung von den Anforderungen bis hin zur Implementierung systematisieren. Durch Nutzung von Modellen, welche die Funktionen integrierter Hardware-/Softwaresysteme beschreiben, wird eine höhere Effizienz der Prüfung angestrebt. Wesentliche Ziele des Forschungsvorhabens sind die Testdatengenerierung für Funktion und Struktur aus einem Systemmodell eingebetteter Hardware-/Software-systeme sowie die automatische Auswertung und Fehlerdiagnose. Dies stellt eine Herausforderung dar, welche bis heute nicht zufrieden stellend gelöst werden konnte.
功能:在集成了硬件/软件系统的集成器häufiger中,集成了各个prozessautomatisiungssystemen的集成器。Merkmal dieser硬件/软件系统表:Kopplung mit technischen Prozessen, betwa in den Steuerungen and Regelungen eines Kraftfahrzeugs, betwine zeitabhängige and diskre - kontinuierichhe Dynamik aufweisen。Die profung der korrekten Funktionalität des Entwurfs als auche des gefertitigs macht augrund der hohen Komplexität einen hohen Anteil der Gesamtkosten aus。该系统的硬件、软件、系统验证、调试、诊断、测试等功能均可在该系统中实现。在德国德国,德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国Produktqualität德国德国。modelmodelbasierte和modelmodelgetriiebene Entwicklung - and testverfaren gewinnen sowohl in der forschschellen practice and Bedeutung, and die schrittweise Entwicklung von den Anforderungen is him zur Implementierung systematisien。德国,德国,德国,德国,德国,德国,德国,德国,德国,德国,德国,德国,德国,德国,德国,德国,德国,德国,德国。系统模型的建立是为了更好地实现模具的硬件/软件系统,从而实现模具的自动化和自动化诊断。我的天哪,我的天哪!我的天哪!我的天哪!我的天哪!

项目成果

期刊论文数量(4)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Incremental computation of delay fault detection probability for variation-aware test generation
用于变化感知测试生成的延迟故障检测概率的增量计算
Adaptive Bayesian Diagnosis of Intermittent Faults
  • DOI:
    10.1007/s10836-014-5477-1
  • 发表时间:
    2014-09
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Laura Rodríguez Gómez;A. Cook;T. Indlekofer;S. Hellebrand;H. Wunderlich
  • 通讯作者:
    Laura Rodríguez Gómez;A. Cook;T. Indlekofer;S. Hellebrand;H. Wunderlich
Diagnosis of multiple faults with highly compacted test responses
Exact Logic and Fault Simulation in Presence of Unknowns
存在未知数时的精确逻辑和故障模拟
{{ 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. Peter Göhner其他文献

Professor Dr.-Ing. Peter Göhner的其他文献

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

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

INAMOSYS - Integrated Accessibility Models of User Interfaces for Web and Automation Systems
INAMOSYS - Web 和自动化系统用户界面的集成可访问性模型
  • 批准号:
    130006494
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Flexible dezentrale Automatisierungs- und Regelungssysteme auf Basis qualitativer Modelle und Ressourcen-schonender Agenten (AUREG - IAS)
基于定性模型和资源节约代理的灵活分散自动化和控制系统(AUREG - IAS)
  • 批准号:
    54063720
  • 财政年份:
    2008
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Entwicklung von Konzepten und Methoden zur Anwendung der agentenorientierten Softwareentwicklung für flexible und verlässliche eingebettete Echtzeitsysteme
开发应用面向代理的软件开发以实现灵活可靠的嵌入式实时系统的概念和方法
  • 批准号:
    16564189
  • 财政年份:
    2005
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Reliability methods for early development phases of programmable mechatronical systems based on qualitative models
基于定性模型的可编程机电系统早期开发阶段的可靠性方法
  • 批准号:
    5354087
  • 财政年份:
    2002
  • 资助金额:
    --
  • 项目类别:
    Research Units
Entwicklung und Adaption von Methoden zur Softwarespezifikation für verteilte Echtzeitsysteme in der Prozessautomatisierung
过程自动化中分布式实时系统软件规范方法的开发和调整
  • 批准号:
    5390844
  • 财政年份:
    2002
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
The use component models for monitoring and diagnosis of continuous and discrete systems
使用组件模型来监视和诊断连续和离散系统
  • 批准号:
    5301426
  • 财政年份:
    2001
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
轨道交通安全装置规范和验证方法的集成
  • 批准号:
    5135386
  • 财政年份:
    1998
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Komponentenbasierte Entwicklung eingebetteter Systeme
基于组件的嵌入式系统开发
  • 批准号:
    5371315
  • 财政年份:
    1997
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了