Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2405.01545 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929334028075008 |
|---|---|
| author | Yazdanparast, Zahra |
| author_facet | Yazdanparast, Zahra |
| contents | A self-healing software system is an advanced computer program or system designed to detect, diagnose, and automatically recover from faults or errors without human intervention. These systems are typically employed in mission-critical applications where downtime can have significant financial or operational consequences. Failure detection is one of the important steps in the self-healing system. In this research, a method using runtime verification is proposed to diagnose four types of errors at the component level. The simulation on mRUBIS shows that the suggested method has the necessary efficiency in detecting the occurrence of failures. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_01545 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Analysing software failure using runtime verification and LTL Yazdanparast, Zahra Software Engineering A self-healing software system is an advanced computer program or system designed to detect, diagnose, and automatically recover from faults or errors without human intervention. These systems are typically employed in mission-critical applications where downtime can have significant financial or operational consequences. Failure detection is one of the important steps in the self-healing system. In this research, a method using runtime verification is proposed to diagnose four types of errors at the component level. The simulation on mRUBIS shows that the suggested method has the necessary efficiency in detecting the occurrence of failures. |
| title | Analysing software failure using runtime verification and LTL |
| topic | Software Engineering |
| url | https://arxiv.org/abs/2405.01545 |