International Journal on Software Tools for Technology Transfer (STTT)
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Improving the reliability of medical software by predicting the dangerous software modules
Journal of Medical Systems - Special issue: Computer-based medical systems
Developing an Insulin Pump System Using the SOFL Method
APSEC '07 Proceedings of the 14th Asia-Pacific Software Engineering Conference
Eclipse aspectj: aspect-oriented programming with aspectj and the eclipse aspectj development tools
Eclipse aspectj: aspect-oriented programming with aspectj and the eclipse aspectj development tools
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns
Runtime Verification
Behavioral Specification of Real-Time Requirements
APSEC '08 Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference
ICESS '09 Proceedings of the 2009 International Conference on Embedded Software and Systems
| Hi-index | 0.00 |
Modern medical systems undertaking the task of surveillance of patients are safety-critical systems steered by software. Such systems will bring man's life into hazard if they fail to meet patients' requirements; so, adequate reliability of the algorithms and computations used by software of such systems is a matter of concern. The environment of a medical safety-critical system consisting of a patient has safety requirements that should be satisfied by the system. A safety requirement is the one that if it is violated, the system environment will be subject to severe risk. An effective method to verify the algorithms and computations used by software of such systems against safety requirements is to keep the software under surveillance at run-time. This paper aims to present a model-based method to construct a run-time monitor for a safety-critical medical system called Continuous Infusion Insulin Pump (CIIP).