Entwicklung von Konzepten und Methoden zur Anwendung der agentenorientierten Softwareentwicklung für flexible und verlässliche eingebettete Echtzeitsysteme
开发应用面向代理的软件开发以实现灵活可靠的嵌入式实时系统的概念和方法
基本信息
- 批准号:16564189
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Research Grants
- 财政年份:2005
- 资助国家:德国
- 起止时间:2004-12-31 至 2006-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Gegenstand des hier beantragten Forschungsvorhabens ist die Integration bzw. Anpassung und Weiterentwicklung von Techniken und Methoden aus Informatik und Softwaretechnik mit dem Ziel, die Anwendbarkeit der agentenorientierten Softwareentwicklung (Spezifikation, Entwurf und Realisierung) für die Entwicklung dezentraler, flexibler eingebetteter Echtzeitsysteme zu ermöglichen. Im Mittelpunkt steht dabei die Frage, wie die Vorteile der Flexibilität und Anpassungsfähigkeit von agentenorientierter Software nur den spezifischen Anforderungen der Domäne der Echtzeitsysteme unter Berücksichtigung ihrer spezifischen zeitlichen und Verlässlichkeitsanforderungen optimal verknüpft werden können. Ziel des Forschungsvorhabens ist die Entwicklung einer agenteneorientierter Methode, die die spezifischen Anforderungen an verlässliche eingebettete Echtzeitsysteme systematisch integriert. Wesentliche Aspekte dabei sind die Ermittlung bzw. Erstellung von Konzepten, Beschreibungsmitteln, Vorgehensweisen, Hilfsmitteln und Richtlinien für die praktische Anwendung der Methode. Hierzu sind die spezifischen Anforderungen an verlässliche eingebettete Echtzeitsysteme sowie die verfügbaren agentenorientierten Methoden zu untersuchen. Darauf aufbauend ist ein Ansatz für die Integration der agentenorientierten Konzepte und Modelle mit den Konzepten und Modellen zur Beschreibung von Echtzeit- und Verlässlichkeitsanforderungen zu entwickeln. Diese sind in eine Vorgehensweise einzubetten und mit Checklisten und Fallbeispielen zu unterstützen, um die Akzeptanz in den Ingenieuranwendungen zu erreichen. Anforderungen an Werk- zeuge für die Unterstützung der Methode werden spezifiziert. Mit Hilfe von Referenzfallstudien werden die Ergebnisse des Projektes evaluiert und transparent für die Domäne der ver- lässlichen eingebetteten Echtzeitsysteme dargestellt. Dazu gehört auch die Überprüfung der Einsetzbarkeit der Methode durch Evaluierung an einer Fallstudie.
生物医学研究的基本原则是一体化。通过对信息和软件技术的技术和方法的研究和推广,使软件开发(专业化、开发和实现)更加集中、灵活,从而使技术体系更加完善。Im Mittelpunkt steht dabei die Frage,wie die Vorteile der Abilität und Anpassungsfähigkeit von agentenorientierter Software努尔den spezifischen Anforderungen der Domäne der Echtzeitsysteme unter Berücksichtigung irer spezifischen zeitlichen und Verlässlichkeitsanforderungen optimal verknüpft韦尔登könen. Ziel des Forschungsvorhabens ist die Entwicklung einer agenteneorientierter Methode,die die spezifischen Anforderungen an verlässliche eingebettete Echtzeitsysteme systematisch integriert.这是一个很好的解决方案。Erstellung von Konzepten,Beschreibungsmitteln,Vorgehensweisen,Hilfsmitteln und Richtlinien für die praktische Anwendung der Methode. Hierzu sind die spezifischen Anforderungen an verlässliche eingebettete Echtzeitsysteme sowie die verfügbaren agentenorientierten Methoden zu untersuchen. Darauf aufbauend ist ein Answer für die Integration der agentenorientierten Konzepte und Modelle mit den Konzepten und Modellen zur Beschreibung von Echtzeit- und Verlässlichkeitsanforderungen zu entwickeln.这是在一个Vorgehensweise einzubetten和它的Checklisten和Fallbeispielen zu unterstützen,um die Akzeptanz in den Ingenieuranwendungen zu erreichen。Anforderungen an Werk- zeuge für die Unterstützung der Methode韦尔登spezifiziert. Mit Hilfe von Referenzfallstudien韦尔登die Ergebnisse des Projektes evaluiert und transparent für die Domäne der ver- lässlichen eingebetteten Echtzeitsysteme dargestellt. Dazu gehört auch die Überprüfung der Einsetzbarkeit der Methode durch Evaluierung an iner Fallstudie.
项目成果
期刊论文数量(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.-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)}}的其他基金
Modellbasierte Testdatenerzeugung zur effizienten Prüfung integrierter Hardware-/Softwaresysteme
基于模型的测试数据生成,可有效测试集成硬件/软件系统
- 批准号:
179085201 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Research Grants
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
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
相似国自然基金
半有限von Neumann代数中投影集上的Wigner定理
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
CUL7基因突变导致Von Hippel Lindau蛋白细胞内蓄积增多致3-M综合征软骨细胞分化异常的分子机制研究
- 批准号:82302106
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
非交换Weyl-von Neumann定理及其弱形式在von Neumann代数中的拓展
- 批准号:12271074
- 批准年份:2022
- 资助金额:45 万元
- 项目类别:面上项目
线性保持方法在量子信息研究中的应用
- 批准号:12001420
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
关于算子代数上非交换Weyl-von Neumann定理的研究
- 批准号:12001437
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
模型空间上截断Toeplitz算子的可约性
- 批准号:12001089
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
有限von Neumann代数的相对顺从性
- 批准号:12001085
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
关于超有限II_1因子中一类算子的不变子空间和单个元生成问题的研究
- 批准号:11961037
- 批准年份:2019
- 资助金额:29.0 万元
- 项目类别:地区科学基金项目
算子代数中齐性空间的微分几何结构
- 批准号:11901453
- 批准年份:2019
- 资助金额:25.0 万元
- 项目类别:青年科学基金项目
非交换Orlicz空间的性质及其闭子空间
- 批准号:11901038
- 批准年份:2019
- 资助金额:23.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Beschreibung der multiaxialen mechanischen Eigenschaften von isotropen Polymerschäumen auf der Basis von mikro- und makromechanischen Konzepten
基于微观和宏观力学概念的各向同性聚合物泡沫的多轴力学性能描述
- 批准号:
164109474 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung von Interaktionstechniken, Konzepten und Werkzeugen für mobile Interaktionen mit ubiquitären Benutzungsschnittstellen
开发与无处不在的用户界面进行移动交互的交互技术、概念和工具
- 批准号:
153928883 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Independent Junior Research Groups
Entwicklung von Konzepten für ein quantenlogikbasiertes Retrieval-Datenbank-Anfragesystem: Anfragesprache, interaktive Suchformulierung sowie effiziente Anfrageauswertung
基于量子逻辑的检索数据库查询系统概念的开发:查询语言、交互式搜索公式和高效查询评估
- 批准号:
96336018 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Research Grants
Biopolitik - Handlungsfeld, Epoche oder paradigma der Politik? Zum Begriff der Biopolitik in Auseinandersetzung mit den Konzepten von Agamben und Foucault
生命政治——行动领域、时代还是政治范式?
- 批准号:
72805722 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung von Konzepten und Methoden zur Anwendung der agentenorientierten Softwareentwicklung für flexible und verlässliche eingebettete Echtzeitsysteme
开发应用面向代理的软件开发以实现灵活可靠的嵌入式实时系统的概念和方法
- 批准号:
5452016 - 财政年份:2005
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung von Konzepten, Methoden und Toolkits zur Unterstützung neuer Formen der eingebetteten Mensch-Computer-Interaktion
开发概念、方法和工具包以支持新形式的嵌入式人机交互
- 批准号:
5424775 - 财政年份:2004
- 资助金额:
-- - 项目类别:
Independent Junior Research Groups
Durch Quantenfluktuationen dominierte Phänomene in niederdimensionalen Magneten im Rahmen von Konzepten wie effektive Feldtheorien, Quantenphasenübergänge, verborgene Symmetrien und nichttriviale Quantenkorrelationen
在有效场论、量子相变、隐藏对称性和非平凡量子相关性等概念框架内,低维磁体中量子涨落主导的现象
- 批准号:
5420314 - 财政年份:2003
- 资助金额:
-- - 项目类别:
Heisenberg Fellowships
Entwicklung eines Modells der menschlichen Satzverarbeitung aufbauend auf Konzepten der Optimalitätstheorie und der Rational Analysis. Umsetzung des Models durch Computersimulationen mit Hilfe von corpusbasierten Techniken aus der Computerlinguistik; Test
基于最优理论和理性分析的概念开发人类句子处理模型。
- 批准号:
5322502 - 财政年份:2001
- 资助金额:
-- - 项目类别:
Emmy Noether International Fellowships
Die Wirkung computergestützter interaktiver Animationen auf das Verständnis von Konzepten komplexer biologischer Prozesse
计算机辅助交互式动画对理解复杂生物过程概念的影响
- 批准号:
5288588 - 财政年份:2000
- 资助金额:
-- - 项目类别:
Research Grants
FOR 372: Entwicklung von Konzepten und Verfahren zur systemseitigen Unterstützung von ortsbezogenen Anwendungen mit hohen mobilen Nutzern
FOR 372:开发系统端支持高移动用户的基于位置的应用程序的概念和程序
- 批准号:
5466401 - 财政年份:1999
- 资助金额:
-- - 项目类别:
Research Units