International Workshop on Requirements for High Assurance Systems (RHAS)

Monday, September 9^th from 9⁰⁰ - 17³⁰

High assurance systems (HASs) are computer systems where compelling evidence is required that the system delivers its services in a manner that satisfies certain critical properties. Among the critical properties are security properties (i.e., the system prevents unauthorized disclosure, modification and withholding of sensitive information), safety properties (the system prevents unintended events that could result in death, injury, illness, or property damage), survivability properties (the system continues to fulfill its mission in the presence of attacks, accidents, or failures), fault-tolerant properties (the system guarantees a certain quality of service despite faults, such as hardware, workload, or environmental anomalies), and real-time properties (the system delivers its outputs within specified time intervals).

For details please see http://www.sei.cmu.edu/community/rhas-workshop/

Connie Heitmeyer, Naval Research Labs, USA

Nancy R. Mead, Software Engineering Institute, Carnegie Mellon University, USA

Back to overview