Runtime verification of pacemaker using fuzzy logic and colored Petri-nets
| Autor: | Seyed Morteza Babamir, Negar Majma, Amirhassan Monadjemi |
|---|---|
| Rok vydání: | 2015 |
| Předmět: |
business.industry
Computer science Runtime verification Inference computer.software_genre Fuzzy logic Expert system Software Embedded system ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS Inference engine business MATLAB computer Software verification computer.programming_language |
| Zdroj: | 2015 4th Iranian Joint Congress on Fuzzy and Intelligent Systems (CFIS). |
| DOI: | 10.1109/cfis.2015.7391705 |
| Popis: | Pacemaker is one of medical devices implanted in patients' bodies helping their health. It is important to certify accuracy and efficiency of the implanted device in all situations. If the device's software acts improperly, the patient's life will be threatened. As there may be a bug in the medical device's software, software verification is critical. Runtime software verification implies considering requirements of the end users while using the software. In this paper, we present a method to verify the pacemaker behavior. This method considers the fuzzy function of the pacemaker. Using Petri-net (PN) for software verification in addition to simplifying demonstration of the device function is fast and can readily cover concurrent conditions and semi-parallel inference. Moreover, the PN will have a more accurate than inference engine in dealing with unknown values. In this article, we used the Colored Petri-net (CPN) for verification of pacemaker, using MATLAB and CPN tool. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|