The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
The method of stochastic state classes supports steady state and transient analysis of models that encompass multiple timers with general distribution and possibly bounded support. When the model underlies a Markov Regenerative Process (MRP) that always reaches a regeneration point within a finite number of steps, transient analysis can be limited to the first regeneration epoch and repeated from every regenerative point. This supports efficient derivation of the local and global kernels that characterize the MRP behavior and enables transient evaluation through the numerical integration of generalized Markov renewal equations. Applications of the approach through the Oris Tool are illustrated referring to the evaluation of availability measures for maintenance procedures. Future research directions are discussed in the area of probabilistic schedulability analysis of real-time systems.