Analytical Study of Quantitative Timing Properties of Software (extended abstract)
L. Môtus · 1993
A mathematical model (the Q-model) which enables analytical study of a wide range of timing properties is suggested and some results obtained are listed. Main attention of the paper, however, is devoted to justifying the necessity of a new model against the wonderful existing formalisms. Three important features of real-time software, not really supported by the existing formalisms, are pointed out. A classification of basic requirements for timing correctness is given. It is suggested that , many essential timing properties -- analyzable in the Q-model -- can not be thoroughly studied in widely used formalisms since they do not capture the necessary multitude of time concepts.