Annals of Software Engineering
Towards dynamic partitioning of reactive system behavior: a train controller case study
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
The SSP: an example of high-assurance systems engineering
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
| Hi-index | 4.10 |
Although they address diverse domains, these six reports reveal a set of common criteria for high assurance. Generally speaking, the critical criteria are reliability, availability, safety, timeliness, security, and evolvability. These reports also identify areas for study: ý In "Passive Safety in High-Consequence Systems," Victor L. Winter, John M. Covan, and Larry J. Dalton discuss the design principles behind passive safety, which means that a system is not required to initiate any action to arrive at a safe state. ý In "Long-Life Deep-Space Applications," Leon Alkalai and Ann T. Tai describe the design philosophy behind a highly miniaturized, reliable, low-cost, avionics system for long-life deep-space applications. ý In "Challenges for Continuously Available Systems," Rick Harper and Barry Flahive tell about continuously available systems, which are used whenever the cost of downtime is extremely high. They describe a data-base server that directs certain telephone calls via service control points. ý In "Capturing Safety-Critical Medical Requirements," Wei-Tek Tsai, Ramin Mojdehbakhsh, and Sanjai Rayadurgam discuss safety, reliability, and timing issues associated with medical devices such as pacemakers and defibrillators. ý In "Applications in Rapidly Changing Environments," Kinji Mori dis cusses application systems requirements designed to accommodate the rapid advances in computer and communication technologies. ý In "Component-Based Reconfigurable Systems," Michael R. Lowry describes NASA Ames' Amphion project, a system for building high-assurance reconfigurable software systems from components in a software library.