Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing
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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vladimir Andrunachievici Institute of Mathematics and Computer Science
2024-04-01
|
| Series: | Computer Science Journal of Moldova |
| Subjects: | |
| Online Access: | http://www.math.md/files/csjm/v32-n1/v32-n1-(pp3-18).pdf |
| _version_ | 1797213088040091648 |
|---|---|
| author | Bogdan Aman Gabriel Ciobanu |
| author_facet | Bogdan Aman Gabriel Ciobanu |
| author_sort | Bogdan Aman |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-24T10:52:43Z |
| format | Article |
| id | doaj.art-f7262741a3754bc986809e9797abda16 |
| institution | Directory Open Access Journal |
| issn | 1561-4042 2587-4330 |
| language | English |
| last_indexed | 2024-04-24T10:52:43Z |
| publishDate | 2024-04-01 |
| publisher | Vladimir Andrunachievici Institute of Mathematics and Computer Science |
| record_format | Article |
| series | Computer Science Journal of Moldova |
| spelling | doaj.art-f7262741a3754bc986809e9797abda162024-04-12T09:35:34ZengVladimir Andrunachievici Institute of Mathematics and Computer ScienceComputer Science Journal of Moldova1561-40422587-43302024-04-01321(94)318https://doi.org/10.56415/csjm.v32.01Formal Analysis of Medical Systems using Multi-Agent Systems with Information SharingBogdan Aman0https://orcid.org/0000-0001-7649-8181Gabriel Ciobanu1https://orcid.org/0000-0002-8166-9456Institute of Computer Science, Romanian Academy, Iasi Branch Str. Teodor Codrescu 2, 700481, Iasi, RomaniaAcademia Europaea, www.ae-info.org/ae/Member/Ciobanu_GabrielImproving 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.http://www.math.md/files/csjm/v32-n1/v32-n1-(pp3-18).pdfmulti-agent systemsrewriting engine maudestrategies and model-checkingexample of airway laser surgery |
| spellingShingle | Bogdan Aman Gabriel Ciobanu Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing Computer Science Journal of Moldova multi-agent systems rewriting engine maude strategies and model-checking example of airway laser surgery |
| title | Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing |
| title_full | Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing |
| title_fullStr | Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing |
| title_full_unstemmed | Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing |
| title_short | Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing |
| title_sort | formal analysis of medical systems using multi agent systems with information sharing |
| topic | multi-agent systems rewriting engine maude strategies and model-checking example of airway laser surgery |
| url | http://www.math.md/files/csjm/v32-n1/v32-n1-(pp3-18).pdf |
| work_keys_str_mv | AT bogdanaman formalanalysisofmedicalsystemsusingmultiagentsystemswithinformationsharing AT gabrielciobanu formalanalysisofmedicalsystemsusingmultiagentsystemswithinformationsharing |