Towards A Common Safety Description Model
暂无分享,去创建一个
Abstract In order to apply safety analysis techniques in an integrated fashion, the Common Safety Description Model (CSDM) is developed to provide a formal semantics to such techniques. The motivation and objectives of CSDM are discussed; a theory of events that incorporates causality and timing is presented with its applications to safety analysis techniques.
[1] David Murphy. Approaching a Real-Timed Concurrency Theory , 1990 .