Coordination
Coordination
批准号:
115506196
负责人:
Professor Dr. Wolfgang Reif
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Units
财政年份:
2009
资助国家:
德国
项目状态:
已结题
起止时间:
2008-12-31 至 2016-12-31
关键词:
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Das Koordinationsprojekt übernimmt zwei Aufgaben: Tätigkeiten zur Organisation und insbesondere zur Außendarstellung der Forschergruppe sowie wissenschaftliche Tätigkeiten bei der Weiterentwicklung der gruppenübergreifenden Ausführungsumgebung und der Demonstratoren. Im wissenschaftlichen Bereich wurden umfangreiche Arbeiten zur Weiterentwicklung der gemeinsamen Infrastruktur als Basis für die unterschiedlichen Demonstratoren vorgenommen. Dazu gehörte u.a. die Entwicklung einer Multiagenten-Abstraktionsschicht, um die Dienste der Trust-Enabling Middleware mit den Demonstratoren zu verbinden. Außerdem wurden Konzepte zur Interoperabilität der Demonstratoren und Anwendungen auf Basis des Trusted Energy Grids entwickelt. Zusätzliche Arbeiten umfassten die Umsetzung der Demonstratoren auf verteilte Rechnersysteme. Im administrativen Bereich lagen die Schwerpunkte auf der internationalen Sichtbarkeit der Forschergruppe und auf der Koordination und der Organisation gemeinsamer Treffen. Insbesondere wurde hierbei der Workshop on Trustworthy Self-Organizing Systems fortgeführt, sowie ein weiterer Dissertationsworkshop im Rahmen der Maßnahmen zur Chancengleichheit ausgerichtet. Außerdem wurde eine internationale Spring School organisiert, die im April 2013 in Augsburg stattgefunden hat. In der dritten Phase wird das Koordinationsprojekt einerseits die übergreifenden wissenschaftlichen Arbeiten weiter vorantreiben und andererseits die Bemühungen zur internationalen Sichtbarkeit der Forschergruppe noch einmal intensivieren. Auf wissenschaftlicher Seite werden hierbei die übergreifenden Themen Normen und Sanktionen aufgegriffen und eine direkte Integration der entsprechenden Konzepte in die gemeinsame Infrastruktur angestrebt. Neben der internen Koordination, insbesondere im Hinblick auf die bis Projektende fertigzustellenden Deliverables, werden die Maßnahmen zur internationalen Sichtbarkeit die Weiterführung der Spring School, die Organisation eines Dagstuhl-Seminars und die Vorbereitung einer Buchveröffentlichung umfassen. Damit leistet der Koordinator einen wichtigen Beitrag für die gesamte Forschergruppe und trägt wesentlich zur Verbreitung und Bekanntmachung der Ergebnisse aus OC-Trust bei.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
COMBO – Combining Planning, Self-Organization and Reconfiguration in Robot Ensembles for ScORe Missions
-
批准号:402956354
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2018
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
TeamBotS - A tool-supported methodology for developing software for dynamic teams of robots
-
批准号:387652208
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2017
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Flashix II: Incremental verification of non-local refinements
-
批准号:175408244
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Verifikation Lock-freier Algorithmen
-
批准号:165974113
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Developing Systems with Secure Information Flow
-
批准号:183481129
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
ForSa@OC-TRUST: Formal Analysis and Software Architectures for Trustworthy Organic Computing
-
批准号:115342850
-
项目类别:Research Units
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Modellgetriebene Softwareentwicklung für sichere Systeme
-
批准号:77575322
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Formal Modeling, Safety Analysis, and Verification of Organic Computing Applications
-
批准号:5454659
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Interoperabilität von Kalkülen zur Systemmodellierung
-
批准号:5327570
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Formale Methoden für den sicheren Einsatz von Java Chipkarten
-
批准号:5201618
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Ingenieurwissenschaftliche Sicherheitsanalyse im Kontext formaler Spezifikation
-
批准号:5134877
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1998
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Correct translation of abstract specifications to C-Code
-
批准号:503992399
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
海外基金