Entwicklung von Konzepten und Methoden zur Anwendung der agentenorientierten Softwareentwicklung für flexible und verlässliche eingebettete Echtzeitsysteme
Entwicklung von Konzepten und Methoden zur Anwendung der agentenorientierten Softwareentwicklung für flexible und verlässliche eingebettete Echtzeitsysteme
批准号:
16564189
负责人:
Professor Dr.-Ing. Peter Göhner
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2005
资助国家:
德国
项目状态:
已结题
起止时间:
2004-12-31 至 2006-12-31
中文摘要
Gegenstand des her beantragten forschungsforhabens is die Integration bzw。技术与方法的融合与融合与信息与软件技术的融合与融合,技术与软件技术的融合与融合,技术与软件技术的融合与融合;技术与软件技术的融合与融合;技术与软件技术的融合与融合;技术与软件技术的融合与融合;技术与软件技术的融合与融合;在Mittelpunkt steht dabei die Frage, wie die Vorteile der Flexibilität and Anpassungsfähigkeit von agentenorientiter Software der spezifischen Anforderungen der Domäne der Echtzeitsysteme under berksicsictigung ihrer spezifischen zeitlichen and Verlässlichkeitsanforderungen optimal verkn<e:1> pft werden können。Ziel des forschungsvohabens ist die Entwicklung eener agentenenorientiter method, die die spezifischen Anforderungen and verlässliche eingebette echtzeitsystem systematisch integration。西方工业生产厂家生产的大尺寸模具。[3]孔泽普滕,贝施莱布姆斯特尔,沃格亨斯威森,希尔夫斯特尔,和richlinien f<s:1>, praktische Anwendung der method。研究对象为研究对象(die spezifischen Anforderungen and verlässliche eingebettete)。Darauf aufbauend ist in Ansatz f<s:1> (r) die Integration der agentenoriententiteren Konzepten and modelmodeler der Konzepten and modelellen zur Beschreibung von Echtzeit- und Verlässlichkeitsanforderungen zuentwickeln。德国人在德国学习德语,在德国学习德语,在德国学习德语,在德国学习德语,在德国学习德语。合成与合成-合成与合成-合成与合成-合成与合成合成方法。Mit hilife von referenzfallstuden werden Ergebnisse des项目评估和透明<e:2> r die Domäne der - lässlichen eingebetteten Echtzeitsysteme dargestellt。大足gehört每一个死亡Überprüfung . der Einsetzbarkeit . der方法的评估和研究。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Modellbasierte Testdatenerzeugung zur effizienten Prüfung integrierter Hardware-/Softwaresysteme
-
批准号:179085201
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr.-Ing. Peter Göhner
-
依托单位:
INAMOSYS - Integrated Accessibility Models of User Interfaces for Web and Automation Systems
-
批准号:130006494
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Professor Dr.-Ing. Peter Göhner
-
依托单位:
Flexible dezentrale Automatisierungs- und Regelungssysteme auf Basis qualitativer Modelle und Ressourcen-schonender Agenten (AUREG - IAS)
-
批准号:54063720
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Professor Dr.-Ing. Peter Göhner
-
依托单位:
Reliability methods for early development phases of programmable mechatronical systems based on qualitative models
-
批准号:5354087
-
项目类别:Research Units
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Professor Dr.-Ing. Peter Göhner
-
依托单位:
Entwicklung und Adaption von Methoden zur Softwarespezifikation für verteilte Echtzeitsysteme in der Prozessautomatisierung
-
批准号:5390844
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Professor Dr.-Ing. Peter Göhner
-
依托单位:
The use component models for monitoring and diagnosis of continuous and discrete systems
-
批准号:5301426
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Professor Dr.-Ing. Peter Göhner
-
依托单位:
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
-
批准号:5135386
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1998
-
负责人:Professor Dr.-Ing. Peter Göhner
-
依托单位:
Komponentenbasierte Entwicklung eingebetteter Systeme
-
批准号:5371315
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1997
-
负责人:Professor Dr.-Ing. Peter Göhner
-
依托单位:
国内基金
海外基金
登录
查看更多内容
半有限von Neumann代数中投影集上的Wigner定理
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:钱文华
-
依托单位:
CUL7基因突变导致Von Hippel Lindau蛋白细胞内蓄积增多致3-M综合征软骨细胞分化异常的分子机制研究
-
批准号:82302106
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:石伟哲
-
依托单位:
非交换Weyl-von Neumann定理及其弱形式在von Neumann代数中的拓展
-
批准号:12271074
-
项目类别:面上项目
-
资助金额:45万元
-
批准年份:2022
-
负责人:石瑞
-
依托单位:
线性保持方法在量子信息研究中的应用
-
批准号:12001420
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:王美丽
-
依托单位:
关于算子代数上非交换Weyl-von Neumann定理的研究
-
批准号:12001437
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:文仕林
-
依托单位:
有限von Neumann代数的相对顺从性
-
批准号:12001085
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:周晓艳
-
依托单位:
模型空间上截断Toeplitz算子的可约性
-
批准号:12001089
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:李宇飞
-
依托单位:
关于超有限II_1因子中一类算子的不变子空间和单个元生成问题的研究
-
批准号:11961037
-
项目类别:地区科学基金项目
-
资助金额:29.0万元
-
批准年份:2019
-
负责人:朱章生
-
依托单位:
算子代数中齐性空间的微分几何结构
-
批准号:11901453
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2019
-
负责人:崔苗苗
-
依托单位:
非交换Orlicz空间的性质及其闭子空间
-
批准号:11901038
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2019
-
负责人:沈丛丛
-
依托单位: