Entwicklung einer Architektur für das Prototyping von Realzeitsystemen mit Unterstützung von High-Level Debugging-Methoden
开发支持高级调试方法的实时系统原型架构
基本信息
- 批准号:5275556
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Priority Programmes
- 财政年份:1996
- 资助国家:德国
- 起止时间:1995-12-31 至 2002-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Eine grundlegende Anforderung an ein Rapid-Prototyping-System ist Bereitstellung von umfangreichen Validierungs- und Debuggingmethoden. Ziel dieses Forschungsvorhabens ist es deshalb, Methoden und Werkzeuge Validierung und zum Debugging von Prototypen sowie zu deren Umsetzung Hardware zur Verfügung zu stellen. Das bisher Hardware-Debugging-System erlaubt eine Validierung und Fehlersuche sowohl algorithmisch beschriebenen als auch bei auf RT-Ebene Schaltungen analog zu den im Softwarebereich verbreiteten Methoden. Reaktive integrierte Steuerungssysteme zeichnen sich jedoch durch eine intensive Interaktion mit ihrer Umgebung aus. Diesem Umstand ist durch eine Einbeziehung der Kommunikation in die Validierung Rechnung zu tragen. Um dies zu erreichen, soll zum einen das bestehende System um eine Überwachung Hardware/Software-Kommunikation erweitert werden. Zum anderen soll eine Möglichkeit zur Überwachung Kommunikation zwischen Prozessen, die auf einer beliebigen Abstraktionsebene spezifiziert wurden, entwickelt werden. Überdies soll das bestehende Hardware-Debugging-System an neuste Entwicklungen im Bereich Hardware-Emulation angepaßt werden.
一个快速原型系统的基础是一种验证和测试方法。Ziel dieses Forschungsvorhabens ist es deshalb,Methoden und Werkzeuge Validierung und zum approximation von Prototypen sowie zu deren Umsetzung Hardware zur Verfügung zu stellen.这一较好的硬件测试系统也采用了一种验证和快速算法,这种算法也适用于软件测试方法中的实时模拟测试。反应性集成控制系统通过与您的领导者的密集互动而得以实现。这种理解是通过一个在审查中的竞争力来实现的。Um dies zu erreichen,soll zum einen das bestehende System um eine Überwachung Hardware/Software-Kommerkation erweitert韦尔登.如果一个人能在一个特定的时间内完成一项运动,那么他就可以在韦尔登完成一项特定的抽象概念。在硬件仿真韦尔登,硬件仿真系统是一个新的发展方向。
项目成果
期刊论文数量(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 Rosenstiel (†)其他文献
Professor Dr. Wolfgang Rosenstiel (†)的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr. Wolfgang Rosenstiel (†)', 18)}}的其他基金
Self-adaptive Coarse-Grained Reconfigurable Architectures as Reliability Enhancers in Embedded Systems
自适应粗粒度可重构架构作为嵌入式系统的可靠性增强器
- 批准号:
181827175 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Priority Programmes
Efficient Distributed Bounded Property Checking
高效的分布式有界属性检查
- 批准号:
88389064 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Research Grants (Transfer Project)
Assessment and Design Techniques for Processor-Like Reconfigurable Architectures
类处理器可重构架构的评估和设计技术
- 批准号:
5408284 - 财政年份:2003
- 资助金额:
-- - 项目类别:
Priority Programmes
Maschinelles Lernen zur automatisierten Merkmalsextraktion und Klassifikation von EEG-Signalen für Gehirn-Computer-Kommunikationssysteme
用于脑机通信系统的脑电图信号自动特征提取和分类的机器学习
- 批准号:
5404880 - 财政年份:2003
- 资助金额:
-- - 项目类别:
Research Grants
Objektorientierter Entwurf hochkomplexer Hardware/Software-Probleme
高度复杂的硬件/软件问题的面向对象设计
- 批准号:
5226142 - 财政年份:1999
- 资助金额:
-- - 项目类别:
Research Grants
Modellierung und Bewertung eingebetteter Software mit statischen Analyseverfahren
使用静态分析方法对嵌入式软件进行建模和评估
- 批准号:
5372002 - 财政年份:1997
- 资助金额:
-- - 项目类别:
Priority Programmes
Hierarchische Synthese für anwendungsspezifische Prototypenimplementierungen
针对特定应用原型实现的分层综合
- 批准号:
5275378 - 财政年份:1996
- 资助金额:
-- - 项目类别:
Priority Programmes
相似海外基金
Edition of Stephan Schützeʼs Versuch einer Theorie des Komischen (1817) and other minor comic-theoretical writings.
斯蒂芬·许茨 (Stephan Schütze) 对漫画理论的尝试 (1817) 和其他次要的漫画理论著作的版本。
- 批准号:
437953144 - 财政年份:2019
- 资助金额:
-- - 项目类别:
Research Grants
Marktaustausch – Grundlegung einer juristisch-ökonomischen Theorie desAustauschverkehrs
市场交换——法律经济交换理论的基础
- 批准号:
424234755 - 财政年份:2019
- 资助金额:
-- - 项目类别:
Publication Grants
Entwicklung und Herstellung von direktabgeschiedener Sensorik auf Baugruppen einer Bohrlochgarnitur (T14#)
开发和生产直接沉积在钻孔组件组件上的传感器(T14
- 批准号:
396879504 - 财政年份:2018
- 资助金额:
-- - 项目类别:
Collaborative Research Centres (Transfer Project)
Diskurstheoretische Glaubensverantwortung. Konturen einer religiösen Epistemologie in Auseinandersetzung mit Jürgen Habermas
话语理论信仰责任。
- 批准号:
417784169 - 财政年份:2018
- 资助金额:
-- - 项目类别:
Publication Grants
Schadensersatz wegen der Verletzung einer internationalen Gerichtsstandsvereinbarung?
因违反国际管辖协议而造成的损害赔偿?
- 批准号:
354841670 - 财政年份:2017
- 资助金额:
-- - 项目类别:
Publication Grants
Presse und Revolution in der Toskana 1847-49. Entstehung, Inhalte und Wandel einer politischen Öffentlichkeit
托斯卡纳的新闻与革命 1847-49。
- 批准号:
392728177 - 财政年份:2017
- 资助金额:
-- - 项目类别:
Publication Grants
Erfolgszurechnung in der StrafzumessungDie verschuldeten Auswirkungen der Tat gern. § 46 Abs. 2 StGB in einer regelgeleiteten Strafmaßlehre
量刑成功的归因犯罪的罪责影响。
- 批准号:
363201555 - 财政年份:2017
- 资助金额:
-- - 项目类别:
Publication Grants
Retrofit einer Elektronenstrahlschmelzanlage
改造电子束熔化系统
- 批准号:
316002380 - 财政年份:2016
- 资助金额:
-- - 项目类别:
Major Research Instrumentation
I. GottesNamen: Namenstheologische Überlegungen zu einer Öffentlichen Theologie im religiösen PluralismusII. Topische Dialogik. Bedingungen theologischer Wahrheitsfindung im Kontext polarisierter Glaubenskulturen: Perspektiven katholischer Theologie
I. 上帝的名字:宗教多元化中公共神学名称的神学思考II.
- 批准号:
317106902 - 财政年份:2016
- 资助金额:
-- - 项目类别:
Heisenberg Professorships
Upgrade einer Elektronenstrahl-Lithographieanlage
电子束光刻系统的升级
- 批准号:
289212529 - 财政年份:2015
- 资助金额:
-- - 项目类别:
Major Research Instrumentation