Abstract
Six project summaries reveal a set of common criteria for high assurance systems: reliability, availability, safety, timeliness, security, and evolvability. The reports also identify areas of study: high-assurance systems requirements; on-the-fly maintainability and evolvability; high assurance with commercial components; and integration of techniques for achieving individual system properties into a collection that satisfies overall system requirements. The projects are: passive safety in high-consequence systems; long-life deep-space applications; challenges for continuously available systems; capturing safety-critical medical requirements; applications in rapidly changing environments; and component-based reconfigurable systems.
Original language | English (US) |
---|---|
Pages (from-to) | 35-45 |
Number of pages | 11 |
Journal | Computer |
Volume | 31 |
Issue number | 4 |
DOIs | |
State | Published - Apr 1998 |
Externally published | Yes |
ASJC Scopus subject areas
- Computer Graphics and Computer-Aided Design
- Hardware and Architecture
- Software