An axiomatic basis for computer programming
Communications of the ACM
| Hi-index | 0.00 |
It is important for a variety of reasons that biomedical systems execute without errors. One useful approach towards error-free software is to design a range of fault tolerant properties into applications software. In addition, by restricting the behaviour of an application and requiring explicit allocation of resources such as memory, errors can be caught while an application is still being written, rather than once an application has been released. This paper investigates how an operating system can support biomedical applications using these approaches.