Towards a Spatial Language for Run-Time Assessments in Self-Organizing Systems

Angelis, Francesco Luca De; Serugendo, Giovanna Di Marzo

doi:10.1109/saso.2015.32

Cited by 2 publications

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Spatial Edge Services - From Coordination Model to Actual Applications

Serugendo¹

2017

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Ubiquitous and context-aware sensors are increasing in number and aim at providing comfort and better life quality. They are spatially distributed and their computation capacity is still under-exploited. Spatial Edge Service are a new generation of services exploiting IoT and spatially distributed data. They result from collective and decentralised interactions of multiple computing entities. They rely on a logic and chemical-based coordination model. Spatial edge services provide innovation capabilities for the software industry, connected objects manufacturers and edge computing industry. This paper provides and overview of Spatial Edge Services, their underlying coordination model, a set of development tools, a series of case studies scenarios and future visions.

show abstract

Spatial Edge Services - From Coordination Model to Actual Applications

Serugendo¹

2017

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

Spatio-temporal model checking of vehicular movement in public transport systems

Ciancia

Gilmore

Grilletti

et al. 2018

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

We present the use of a novel spatio-temporal model-checker to detect problems in the data and operation of a collective adaptive system. Data correctness is important to ensure operational correctness in systems which adapt in response to data. We illustrate the theory with several concrete examples, addressing both the detection of errors in vehicle location data for buses in the city of Edinburgh and the undesirable phenomenon of "clumping" which occurs when there is not enough separation between subsequent buses serving the same route. Vehicle location data is visualised symbolically on a street map, and categories of problems identified by the spatial part of the model-checker are rendered by highlighting the symbols for vehicles or other objects that satisfy a property of interest. Behavioural correctness makes use of both the spatial and temporal aspects of the model-checker to determine from a series of observations of vehicle locations whether the system is failing to meet the expected quality of service demanded by system regulators.

show abstract

Towards a Spatial Language for Run-Time Assessments in Self-Organizing Systems

Cited by 2 publications

References 2 publications

Spatial Edge Services - From Coordination Model to Actual Applications

Spatial Edge Services - From Coordination Model to Actual Applications

Spatio-temporal model checking of vehicular movement in public transport systems

Contact Info

Product

Resources

About