RO EN
Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing
Authors: Bogdan Aman, Gabriel Ciobanu
Keywords: multi-agent systems, rewriting engine Maude, strategies and model-checking, example of airway laser surgery.
– 0.33 Mb
Keywords: multi-agent systems, rewriting engine Maude, strategies and model-checking, example of airway laser surgery.
Abstract
Improving safety is a main objective for medical systems. To assist the modelling and formal analysis of medical systems, we define a language for multi-agent systems handling information, timed communication, and timed migration. We use a simplified airway laser surgery scenario to demonstrate our approach. An implementation in Maude is presented; we use the strategies allowed by Maude to guide the rules application in order to decrease substantially the number of possible executions and results in the highly nondeterministic and concurrent multi-agent systems. Finally, we present how the executable specifications can be verified with the model-checking tools in Maude to detect the behavioural problems or desired properties of the~agents.Bogdan Aman
ORCID: https://orcid.org/0000-0001-7649-8181
Institute of Computer Science, Romanian Academy, Iasi Branch
Str. Teodor Codrescu 2, 700481, Iaşi, Romania
E-mail:
Gabriel Ciobanu
ORCID: https://orcid.org/0000-0002-8166-9456
Academia Europaea, www.ae-info.org/ae/Member/Ciobanu_Gabriel
E-mail:
ORCID: https://orcid.org/0000-0001-7649-8181
Institute of Computer Science, Romanian Academy, Iasi Branch
Str. Teodor Codrescu 2, 700481, Iaşi, Romania
E-mail:
Gabriel Ciobanu
ORCID: https://orcid.org/0000-0002-8166-9456
Academia Europaea, www.ae-info.org/ae/Member/Ciobanu_Gabriel
E-mail:
DOI
https://doi.org/10.56415/csjm.v32.01Fulltext
– 0.33 Mb
Contents
- Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing
- Outer independent total double Italian domination number
- On the trees with maximum Cardinality-Redundance number
- Vector finite fields of characteristic two as algebraic support of multivariate cryptography
- Optimizing Cervical Cancer Classification with SVM and Improved Genetic Algorithm on Pap Smear Images
- A Binary Grey Wolf Optimizer with Mutation for Mining Association Rules
- A Coloured Petri Net-based approach and Genetic Algorithms for improving services in the Emergency Department
- Efficient GPU Power Management through Advanced Framework Utilizing Optimization Algorithms
