Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Best of 2016 Recommended by Editor Recommended by Reviewer Recommended by Reader
Search
Engineering resilient collective adaptive systems by self-stabilisation
Viroli M., Audrito G., Beal J., Damiani F., Pianini D. ACM Transactions on Modeling and Computer Simulation28 (2):1-28,2018.Type:Article
Date Reviewed: Jul 8 2020

Smart cities, together with the Internet of Things (IoT), are becoming reality at an accelerated speed, supported by the fifth generation of mobile technology (5G) and other advances in technology. The supporting networked computational systems include sensors, wearables, medical devices, vehicles, and other devices far beyond laptops and mobile phones. These systems, which link the physical, social, and economic infrastructures in a smart city, are very large scale, highly distributive, dynamic, and heterogeneous. It is certainly a great challenge to engineer such resilient collective adaptive systems.

To tackle the challenge, this work presents a self-stabilization engineering approach coupling formal theory and computer simulation. The authors propose a workflow based on computational field calculus, which is a tiny functional language to express, encapsulate, and safely compose distributed computation. With the language, the authors further present three main building blocks (G, C, and T) for constructing such systems. A key resilience property in a dynamic environment is self-stabilization, that is, the ability to recover from arbitrary changes in state. Pursuing the goal of using the largest-to-date fragment with guaranteed self-stabilizing behavior as building blocks, the authors suggest practical ways to identify such fragments in field calculus to achieve resilience of functional properties. By using such fragments as “building blocks for information spreading, aggregation, and time evolution,” it is expected to “attain a correct and stable final state despite any transient perturbation in state or topology.” Beyond the theoretical perspective, this work also presents two application examples through simulation in which alternative building blocks are selected via empirical performance evaluation.

This work addresses the challenging issue of modeling and engineering resilient systems in a very-large-scale, highly complex, dynamic, heterogeneous environment, such as in a smart city. The theoretic and simulated approaches should be a very good reference for readers working on modeling and simulating similar complex systems.

Reviewer:  Chenyi Hu Review #: CR147011 (2011-0266)
Bookmark and Share
  Editor Recommended
Featured Reviewer
 
 
Software Engineering (D.2 )
 
 
Semantics (D.3.1 ... )
 
 
General (I.0 )
 
Would you recommend this review?
yes
no
Other reviews under "Software Engineering": Date
Perspectives of system informatics: a comparative presentation of object-oriented programming with C++ and Java
Broy M. (ed), Zamulin A. (ed), Bjorner D., Springer-Verlag New York, Inc., Secaucus, NJ, 2002.  561, Type: Book (9783540430759)
Jul 3 2003
Relationship quality: the undervalued dimension of software quality
Russell B., Chatterjee S. Communications of the ACM 46(8): 85-89, 2003. Type: Article
Oct 14 2003
Executable JVM model for analytical reasoning: a study
Liu H., Moore J.  Interpreters, Virtual Machines and Emulators (Proceedings of the 2003 workshop, San Diego, California, Jun 12, 2003)15-23, 2003. Type: Proceedings
Sep 24 2003
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy