Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour

Omar Al-Bataineh, Mark Reynolds, Tim French

The paper presents a novel algorithm for computing best and worst case execution times (BCET/WCET) of timed automata models with cyclic behaviour. The algorithms can work on any ar…