高可信软件

A high confidence system is one that behaves in a well understood and predictable fashion It must withstand malicious attacks as well as naturally occurring hazards and must not cause or contribute to accidents or unacceptable losses The HCSS research described in this White Paper focuses on the critical basic science and information technologies necessary to achieve predictably high levels of performance system safety security reliability and survivability Security critical and safety critical systems i e high consequence systems exist in the domains of transportation health care electric power generation manufacturing oil and gas production chemical production and financial services as well as in law enforcement emergency services and national defense While high confidence systems h">A high confidence system is one that behaves in a well understood and predictable fashion It must withstand malicious attacks as well as naturally occurring hazards and must not cause or contribute to accidents or unacceptable losses The HCSS research described in this White Paper focuses on the [更多]