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
批准号:
5452016
负责人:
Professorin Dr.-Ing. Birgit Vogel-Heuser
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2005
资助国家:
德国
项目状态:
已结题
起止时间:
2004-12-31 至 2007-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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Technical Debt Identification and assessment in mechatronic systems applying indicators, patterns, and metrics - TDebituM
-
批准号:451267453
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2021
-
负责人:Professorin Dr.-Ing. Birgit Vogel-Heuser
-
依托单位:
Konzeption, Realisierung und Evaluation einer werkzeugunterstützten Vorgehensweise für die Entwicklung von Agentensystemen in der Automatisierungstechnik unter Berücksichtigung der Usability (KREAagentuse)
-
批准号:70245461
-
项目类别:Research Grants (Transfer Project)
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Professorin Dr.-Ing. Birgit Vogel-Heuser
-
依托单位:
Development and adaption of software specification methods for distributed real-time systems in process automation
-
批准号:5390840
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Professorin Dr.-Ing. Birgit Vogel-Heuser
-
依托单位:
Enhancement of the Overall Equipment Effectiveness of Factories – Development of Resilient Agent-Based Automation Systems for Machine and Plant Manufacturing Industry
-
批准号:468717655
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professorin Dr.-Ing. Birgit Vogel-Heuser
-
依托单位:
国内基金
海外基金
登录
查看更多内容
半有限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
-
负责人:文仕林
-
依托单位:
模型空间上截断Toeplitz算子的可约性
-
批准号:12001089
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:李宇飞
-
依托单位:
有限von Neumann代数的相对顺从性
-
批准号:12001085
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:周晓艳
-
依托单位:
关于超有限II_1因子中一类算子的不变子空间和单个元生成问题的研究
-
批准号:11961037
-
项目类别:地区科学基金项目
-
资助金额:29.0万元
-
批准年份:2019
-
负责人:朱章生
-
依托单位:
算子代数中齐性空间的微分几何结构
-
批准号:11901453
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2019
-
负责人:崔苗苗
-
依托单位:
非交换Orlicz空间的性质及其闭子空间
-
批准号:11901038
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2019
-
负责人:沈丛丛
-
依托单位: