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 | 35-45 |
Number of pages | 11 |
Volume | 31 |
No | 4 |
Specialist publication | Computer |
DOIs | |
State | Published - Apr 1 1998 |
Externally published | Yes |