Various types of Clocks

• Ordinary clocks ..... x rate 1

• Const. slope clocks .. x rate n where n is in Nat

• Multirate clocks ..... x rate [l,u] where l,u is in Nat

• Integrators ..... x rate 0 or x rate 1 (loc.dep.)

• Integer variables .... x rate 0

• Parameters .... x rate 0 (and NOT assignable) (partly synthezisable in HyTech)

• Supported by UPPAAL

• Partly supported by UPPAAL

• Not supported by UPPAAL

Previous slide

Next slide

Back to first slide

View graphic version