Modelling Ambulance Deployment with CarmaCARMA

Galpin, Vashti

doi:10.1007/978-3-319-39519-7_8

Cited by 5 publications

(6 citation statements)

References 15 publications

(23 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It has richer interaction than PEPA or Bio-PEPA, and uses attribute-based communication similar to that of SCEL [14] and AbC [1]. It has been used to model taxi movement [24], carpooling [43], ambulance deployment [19] and pedestrian mobility [21].…”

Section: Related Workmentioning

confidence: 99%

Formal Modelling of Software Defined Networking

Galpin

2018

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

This paper investigates the application of CARMA, a recently developed quantitative process-algebra-based modelling language, to the stochastic modelling of software defined networking (SDN). In SDN, a single controller (or hierarchy of controllers) determines the behaviour of the switches that forward traffic through the network, and it is used in a variety of settings including cloud and data centres. This research is the initial phase of developing a methodology for agile formal modelling of performance and security aspects of SDN, and focusses on the fat-tree network topology. The results demonstrate that the CARMA language and its software tools which include the MultiVeStA statistical model checker provide a good basis for modelling SDN.

show abstract

Section: Related Workmentioning

confidence: 99%

Formal Modelling of Software Defined Networking

Galpin

2018

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…Capturing complex spatial arrangements of components can mean that the environment must include functions to represent the spatial structures and the permissible placement and movement of components within those structures. For example, in a recently published CARMA model [4], ambulances travel along paths in a network, in order to reach locations at which accidents have occurred. There are two types of stationary components, hospitals and stations, and these are the locations to which ambulances can return when idle, until being activated when an accident occurs.…”

Section: Carma Semanticsmentioning

confidence: 99%

Rigorous Graphical Modelling of Movement in Collective Adaptive Systems

Zoń

Gilmore

Hillston

2016

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

View full text Add to dashboard Cite

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.

show abstract

“…The Attributed π-calculus has been used to model spatial movement in phototaxis [8], and cooperative protein binding in gene regulation [9]. CARMA has been used to model a number of spatial CAS including carpooling [15], taxi movement [7] and ambulance deployment [5].…”

Section: Related Workmentioning

confidence: 99%

Modelling movement for collective adaptive systems with CARMA

Zoń

Galpin²,

Gilmore³

2016

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

Space and movement through space play an important role in many collective adaptive systems (CAS). CAS consist of multiple components interacting to achieve some goal in a system or environment that can change over time. When these components operate in space, then their behaviour can be affected by where they are located in that space. Examples include the possibility of communication between two components located at different points, and rates of movement of a component that may be affected by location. The CARMA language and its associated software tools can be used to model such systems. In particular, a graphical editor for CARMA allows for the specification of spatial structure and generation of templates that can be used in a CARMA model with space. We demonstrate the use of this tool to experiment with a model of pedestrian movement over a network of paths.Comment: In Proceedings FORECAST 2016, arXiv:1607.0200

show abstract

Modelling Ambulance Deployment with CarmaCARMA

Cited by 5 publications

References 15 publications

Formal Modelling of Software Defined Networking

Formal Modelling of Software Defined Networking

Rigorous Graphical Modelling of Movement in Collective Adaptive Systems

Modelling movement for collective adaptive systems with CARMA

Contact Info

Product

Resources

About