Coordination
Coordination
批准号:
115506196
负责人:
Professor Dr. Wolfgang Reif
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Units
财政年份:
2009
资助国家:
德国
项目状态:
已结题
起止时间:
2008-12-31 至 2016-12-31
关键词:
中文摘要
Das Coordinationsprojekt ü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 struktur als Basis für die unterschedlichen Demonstratoren vorgenommen. Dazu gehörte u.a.开发一个Multiagenten-Abstraktionschicht,即使用演示器创建的可信中间件。Außerdem wurden Konzepte zur Interoperabilität der Demonstratoren und Anwendungen auf Basis des Trusted Energy Grids entwickelt. Zusätzliche Arbeiten umfasten die Umsetzung der Demonstroren auf verteilte Rechnersysteme.在行政上,我将Schwerpunkte置于研究小组的国际地位,置于协调和共同组织的地位。在可信自组织系统研讨会上,我们举办了一个关于可信自组织系统的研讨会,并在研讨会上发表了一篇论文。2013年4月在奥格斯堡市举办了一场国际春季学校。在第三阶段,协调项目将进一步加强对劳动力的知识交流,并进一步加强对国际研究小组的支持。在这一领域,韦尔登们将更广泛地关注规范和保护问题,并直接将企业的利益纳入共同的利益结构中。在这次实习协调中,在Hinblick的两个项目中,韦尔登负责春季学校的第二次国际研讨会,组织一个Dagstuhl-Seminars和一个Buchveröffentlichung umfassen。Damit leistet der Coordinator einen wichtigen Beitrag für die gesamte Forschergruppe und trägt weesentlich zur Verbreitung und Bekanntmachung der Ergebnisse aus OC-Trust bei.
英文摘要
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
-
依托单位:
海外基金