Hazard analysis of structured sequential systems
C. Rominger, Jean‐Claude Geffroy · 2002
Time uncertainties associated with the dynamic parameters of asynchronous sequential systems can lead to non-deterministic phenomena called hazards. We propose a dynamic model of such a system which represents time uncertainties through variables. A simulation method using this model for time analysis of structured systems is then presented: the aim is to help the designer to detect and possibly avoid the occurrence of hazards in real systems.>