课题基金 / 基金详情

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

项目摘要

项目成果

Professor Dr.-Ing. Peter Göhner的其他基金

相似基金

相关文献

中文摘要
翻译
从技术和方法的角度出发,从信息技术和软件技术到软件技术的代理,都是面向软件的。它是一种更灵活、更灵活的技术和方法。我是Mittelpenkt steht dabe die Frage,Wie die Vorteile der Flexibilität and Anpassungsfähigkeit von AgentOrienterter Software Nur den Spezifischen Anforderungen der Domäne der Echtzeitsystem e Berück sichtigung ihrer Spezischen zeitlicchen and Verläsichkeitkeitforderungen最佳的verknüpft wen den können。它是一种面向代理的方法,它是一种规范的方法,它是一个完整的体系。他说:“这是一种非常重要的方式。”这是一个非常重要的问题,因为这是一个非常重要的问题,因为它是一种全新的方式。Darauf Aufbauend in Anatatz für die in Anatatz für Die End End Oriententieren ten Konzepte and Modelle MIT den Konzepten und Modelen zur Beschreibung von Echtzeit-und Verlässlichkeitsanforderungen zu entwickeln.我不知道为什么会有这样的事情发生,但我不会去做。在此基础上,提出了一种新的方法。麻省理工学院的所有参考文献都是关于工程的评估和透明的,这些都是从L的角度进行的。从方法上看,这是一种失败的方法。
英文摘要
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
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)
Reliability methods for early development phases of programmable mechatronical systems based on qualitative models
国内基金
海外基金
半有限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
  • 负责人:
    王美丽
  • 依托单位: