Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields

@article{Viroli2015EfficientEO,
  title={Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields},
  author={Mirko Viroli and J. Beal and F. Damiani and Danilo Pianini},
  journal={2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems},
  year={2015},
  pages={81-90}
}
Self-organising systems are notoriously difficult to engineer, particularly due to the interactions between complex specifications and the simultaneous need for efficiency and for resilience to faults and changes in execution conditions. We address this problem with an engineering methodology that separates these three aspects, allowing each to be engineered independently. Beginning with field calculus, we identify the largest known sub-language of self-stabilising programs, guaranteed to… Expand
48 Citations
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
  • 49
  • PDF
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
  • 6
  • PDF
Towards Agent Aggregates: Perspectives and Challenges
Towards a Foundational API for Resilient Distributed Systems Design
  • 14
  • PDF
From distributed coordination to field calculus and aggregate computing
  • 13
  • PDF
Compositional Blocks for Optimal Self-Healing Gradients
  • 30
  • PDF
Self-Adaptation to Device Distribution in the Internet of Things
  • 21
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 31 REFERENCES
Building Blocks for Aggregate Programming of Self-Organising Applications
  • J. Beal, Mirko Viroli
  • Computer Science
  • 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops
  • 2014
  • 46
  • PDF
A Calculus of Self-stabilising Computational Fields
  • 46
  • PDF
Infrastructure for engineered emergence on sensor/actuator networks
  • 202
  • PDF
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
  • 47
  • PDF
Practical Aggregate Programming with Protelis
  • 9
Developing pervasive multi-agent systems with nature-inspired coordination
  • 79
  • PDF
Self Stabilization
  • S. Dolev
  • Computer Science
  • J. Aerosp. Comput. Inf. Commun.
  • 2004
  • 1,135
Description and composition of bio-inspired design patterns: a complete overview
  • 160
  • PDF
A Calculus of Computational Fields
  • 38
  • PDF
NetLogo, a Multi-agent Simulation Environment
  • E. Sklar
  • Medicine, Computer Science
  • Artificial Life
  • 2007
  • 160
...
1
2
3
4
...