What people are saying - Write a review
We haven't found any reviews in the usual places.
A Development of Hazard Analysis to Aid Software Design
Applying Formal Methods to the Traffic Alert and Collision Avoidance
Formal Methods and Dependability Assessment
6 other sections not shown
Other editions - View all
abstract activities algorithm allow analysis application approach assessment associated assumptions attackers behaviour called causal CC(c changes channel combination communication complexity components Computer condition considered consists constraint construction correct critical defined definition dependability describe detection domain effects effort Engineering environment errors event example execution exist experiment expressed failure fault Figure flow formal methods function given hardware identify IEEE implementation initial input interface language logic means measure modules object operation output particular performance plant possible present probability problem processors proof properties received References refinement relation reliability represent requirements risk rules safety safety specifications satisfies selected sensor signal simulation specification structure task techniques tion tolerance train transition true validation variables verification