The purpose is to explain what and why causes difficulties in developing software systems with deterministic behaviour in time. Possibilities in capturing and analysing of time constraints imposed on the execution of and interactions between parts of system are considered. Special attention is paid to methods for early detection of time-constraint violation. The departing point is the time parameters required by OMG initiative on RT UML and the related time models. Theoretical basis of discussions is a time-sensitive model of interactive computations (Q-model), practical and laboratory exercises are carried out in LIMITS software engineering environment.
Lecturer: Prof. Leo Mõtus, DSc |
