Distributed Systems Verification with MAS-based Model Checking

Projektinformationen

DIVERMAS

ID Finanzhilfevereinbarung: 252184

Projekt abgeschlossen

Startdatum 1 Januar 2011

Enddatum 31 Dezember 2012

Finanziert unter

• Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Gesamtkosten € 165 540,80

EU-Beitrag € 165 540,80

Koordiniert durch

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

Ziel

The field of distributed systems is concerned with development of spatially distributed (software) components that cooperate to perform a common task. Multi agent systems (MAS) is a field in artificial intelligence and is concerned with comparable problems on a higher level of abstraction. Although applications in both fields are similar, there is little work on combining the approaches. The DiVerMAS project will make a key contribution to both fields of research by introducing verification of MAS based specifications to distributed systems. This will provide developers of distributes systems with an easy to use language amenable to verification against rich agent-based specifications and give MAS developers an alternative developing process using an object oriented modelling language. The research project builds upon recent developments in both fields and the expertise of the applicant and supervisor in distributed systems and verification of MAS respectively. The collaboration will connect the verification toolkit MCMAS with the modelling language Creol and establish new links within the European research communities related with these tools.

Wissenschaftliches Gebiet

• natural sciences › computer and information sciences › artificial intelligence
• natural sciences › computer and information sciences › software

Programm/Programme

• FP7-PEOPLE - Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Thema/Themen

• FP7-PEOPLE-2009-IEF - Marie Curie Action: "Intra-European Fellowships for Career Development"

Aufforderung zur Vorschlagseinreichung

FP7-PEOPLE-2009-IEF
Andere Projekte für diesen Aufruf anzeigen

Finanzierungsplan

MC-IEF - Intra-European Fellowships (IEF)

Koordinator

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE

Kontakt Verwaltung

Shaun Power (Mr.)

• EU-Beitrag: € 165 540,80
• Adresse: SOUTH KENSINGTON CAMPUS EXHIBITION ROAD ; SW7 2AZ LONDON ; Vereinigtes Königreich
• Region: London › Inner London — West › Westminster
• Aktivitätstyp: Higher or Secondary Education Establishments
• Gesamtkosten: Keine Daten