Survey on Formation Verification for Ensembling Collective Adaptive System

Johari, Muhammad Hamizan; Jawaddi, Siti Nuraishah Agos; Ismail, Azlan

doi:10.1007/978-981-16-8403-6_19

Cited by 3 publications

(1 citation statement)

References 40 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Rigorous engineering of collective adaptive systems calls for quantitative approaches since there is need of designing and managing the coordination activities [15]. A recent survey on verification tools for CAS formation [19] outlines that current analysis techniques are still immature to deal with possible changes in decisionmaking. This is the reason why quantitative approaches that keep track of behavioural alternatives and their impact on system performance, as we do in this paper, can be of high relevance for CAS.…”

Section: Conclusion Related and Future Workmentioning

confidence: 99%

Comparing perfomance abstractions for collective adaptive systems

Murgia,

Pinciroli,

Trubiani

et al. 2023

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

Non-functional properties of collective adaptive systems (CAS) are of paramount relevance practically in any application. This paper compares two recently proposed approaches to quantitative modelling that exploit different system abstractions: the first is based on generalised stochastic Petri nets, and the second is based on queueing networks. Through a case study involving autonomous robots, we analyse and discuss the relative merits of the approaches. This is done by considering three scenarios which differ on the architecture used to coordinate the distributed components. Our experimental results assess a high accuracy when comparing model-based performance analysis results derived from two different quantitative abstractions for CAS.

show abstract

Section: Conclusion Related and Future Workmentioning

confidence: 99%