VALIDATION OF STOCHASTIC SYSTEMS |
|
|||||
Vorbesprechung Anmeldung Überblick über das Seminar Dozent Organisator Literatur Das Seminar findet im Block im Februar oder März 2006 statt. Die Vergabe der Themen erfolgt im Dezember 2005. Vorbesprechung Eine erste Vorbesprechung offen für alle interessierten Studierenden findet am 2. November 2005 um 16:00 (s.t.) in Raum 528 (Geb. 45/E.13) statt. Anmeldung Wenn Sie an dem Seminar teilnehmen wollen, melden Sie sich bitte in unserem Course Managment System an. Sie müssen sich eventuell zunächst für ein Student Account anmelden. Überblick über das Seminar Traditionally, the area of model-based performance and dependability evaluation and the area of formal specification and verification of systems have been approached completely independently of each other. However, increasingly, system properties related to performance and dependability cannot be seen separately from issues concerning the formal correctness of systems, that is, the notion of "correctness" includes aspects of both performance and dependability. Therefore, a separate treatment of these system aspects becomes less appropriate.
Over the last few years, good progress has been made in combining techniques from these previously separate fields. Active areas of research are model-checking procedures for stochastically timed systems and deductive verification techniques in which time bounds play a role. However, all these results are currently only available in state-of-the-art research literature, and, moreover, spread over journals and conferences of different research communities. It goes without saying that there are currently no textbooks available on this subject. Hence, to obtain a good overview of the important results and about the open research topics in this area, a structured review of the literature seems most appropriate and timely. Dozent
Organisator
Literatur
|
||||||
Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes |