Survey on Formation Verification for Ensembling Collective Adaptive System

• Published in: Lecture Notes on Data Engineering and Communications Technologies
• Main Author: Johari M.H.; Jawaddi S.N.A.; Ismail A.
• Format: Book chapter
• Language: English
• Published: Springer Science and Business Media Deutschland GmbH 2022
• Online Access: https://www.scopus.com/inward/record.uri?eid=2-s2.0-85127725295&doi=10.1007%2f978-981-16-8403-6_19&partnerID=40&md5=d37acbce9b63752f55da00fb621ee216

The increasing discoveries in the autonomous system had caught researchers attentions. They aimed to find the suitable way to automate the formation of system components in reacting towards the dynamic environments. Among the challenges in designing adaptive systems are to verifying a system’s formation with the consideration of challenges such as uncertainty or scalability. Verified formation indicates the correctness of the formation in handling the changes in the environments. The outcome of the process is the verification of the formation in satisfying the specification of the system. This paper surveys the state-of-the-art formation verification in addressing the formation of collective adaptive systems (CAS) components that applying ensemble concepts. The paper also includes verification techniques used in verifying CAS formation and the tools used for formation verification. © 2022, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.