Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
109 0 |
Căutarea după subiecte similare conform CZU |
004.89:61 (10) |
Искусственный интеллект (311) |
Mедицинские науки (11242) |
SM ISO690:2012 AMAN, Bogdan, CIOBANU, Gabriel. Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing. In: Computer Science Journal of Moldova, 2024, vol. 32, nr. 1(94), pp. 3-18. ISSN 1561-4042. DOI: https://doi.org/10.56415/csjm.v32.01 |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Computer Science Journal of Moldova | ||||||
Volumul 32, Numărul 1(94) / 2024 / ISSN 1561-4042 /ISSNe 2587-4330 | ||||||
|
||||||
DOI:https://doi.org/10.56415/csjm.v32.01 | ||||||
CZU: 004.89:61 | ||||||
Pag. 3-18 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
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. |
||||||
Cuvinte-cheie multi-agent systems, rewriting engine Maude, strategies and model-checking, example of airway laser surgery |
||||||
|