Abstrakt. Hemodialys maskin fallstudie undersöks i Hybrid Event-B (en förlängning av Event-B som innehåller bestämmelser för kontinuerligt varierande beteende samt de vanliga diskreta förändringar av tillstånd). En i stort sett komponentbaserad strategi antas med hjälp av multi-maskin- och samordningsanläggningarna i Hybrid Event-B. Eftersom, liksom de flesta medicinska ingrepp, hemodialys är under allmän mänsklig kontroll, är det till stor del en sekventiell process, med vissa grenning för att hantera exceptionella omständigheter. Detta ger en relativt okomplicerad modelleringsram, förutsatt att en modell av operatören ingår för att fånga upp hanteringen av undantag.
Banach REF undersöker HD maskin fallstudie i Hybrid Event-B, en förlängning av Event-B som stöder kontinuerligt varierande beteende samt de vanliga diskreta förändringar av tillstånd.
Hemodialysis Machine in Hybrid Event-B
{'venue': 'ABZ', 'journal': None, 'mag_field_of_study': ['Engineering', 'Computer Science']}