Edinburgh Research Explorer

Rigorous Graphical Modelling of Movement in Collective Adaptive Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://link.springer.com/chapter/10.1007%2F978-3-319-47166-2_47
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publication Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10--14, 2016, Proceedings, Part I
EditorsTiziana Margaria, Bernhard Steffen
Place of PublicationCham
PublisherSpringer International Publishing
Pages674-688
Number of pages15
ISBN (Electronic)978-3-319-47166-2
ISBN (Print)978-3-319-47165-5
DOIs
StatePublished - 5 Oct 2016
EventISoLA 2016 - Corfu, Greece
Duration: 5 Oct 201614 Oct 2016
http://www.isola-conference.org/isola2016/

Conference

ConferenceISoLA 2016
Abbreviated titleISoLA 2016
CountryGreece
CityCorfu
Period5/10/1614/10/16
Internet address

Abstract

Formal modelling provides valuable intellectual tools which can be applied to the problem of analysis and optimisation of systems. In this paper we present a novel software tool which provides a graphical approach to modelling of Collective Adaptive Systems (CAS) with constrained movement. The graphical description is translated into a model that can be analysed to understand the dynamic behaviour of the system. This generated model is expressed in CARMA, a modern feature-rich modelling language designed specifically for modelling CAS. We demonstrate the use of the software tool with an example scenario representing carpooling, in which travellers group together and share a car in order to reach a common destination. This can reduce their travel time and travel costs, whilst also ameliorating traffic congestion by reducing the number of vehicles on the road.

Event

ISoLA 2016

5/10/1614/10/16

Corfu, Greece

Event: Conference

Download statistics

No data available

ID: 28237586