A Case Study in Fault Tolerance and Software Safety

这个项目涉及到安全和容错问题 在安全关键计算的发展中提出的 系统. 在许多计算机应用中， 而不是可靠性或可用性是压倒一切的关注点。 此类系统功能的减少或改变是可以接受的 只要不造成伤害 理论研究将集中在规范和 软件生命周期的设计阶段。 具体而言是 该项目将制定一个安全定义框架， 建立软件工程师的职责， 该框架，并设计软件架构，以支持 安全软件的开发。 它将调查 一种增强形式的软件重用可以 用于促进规格的快速制定 设计安全的软件 实证研究将集中在一个案例研究， 涉及软件的某些方面， 安全关键型医疗器械。 该装置被称为 磁立体定向系统，是一种新的方法， 脑部疾病的治疗形式。 软件安全性 将制定规格并建造原型。 重用由少量派生零件填充的库 将在随后的研究中建立和使用 再利用技术的研究。

This project involves safety and fault-tolerance problems raised in the development of safety-critical computing systems. There are many computer applications in which safety and not reliability or availability is the overriding concern. Reduced or altered functionality of such systems is acceptable as long as no harm is done. Theoretical research will focus on the specification and design phases of the software lifecycle. Specifically, the project will develop a framework of definitions of safety, establish the responsibility of the software engineer within that framework, and design software architectures to support the development of safe software. It will investigate the possibility that an enhanced form of software reuse can be exploited to facilitate rapid development of specifications and designs for safe software. Empirical research will focus on a case study which will involve certain aspects of the software for an experimental safety-critical medical device. The device, known as the Magnetic Stereotaxis System, is a new approach to various forms of therapy for brain disorders. Software safety specifications will be constructed and a prototype built. Reuse libraries populated by a small number of parts derived from the case study will be built and used in subsequent studies of reuse technology.