VOSS II

Validation of Stochastic Systems II

Project Managers CTIT: Prof. dr. Ed Brinksma / Prof. dr. Boudewijn Haverkort

Faculty of Electrical Engineering, Mathematics and Computer Science

Tel.: +31 53 4893676 / +31 53 4893766

Email: brinksma@cs.utwente.nl / brh@cs.utwente.nl

Project website: VOSS II

Project Summary

VOSS is a research collaboration between the Netherlands and Germany within the NWO-DFG bilateral cooperation program. The Voss II project aims at the integration of modelling and computer-aided verification techniques for the analysis of complex systems with stochastic behaviour. Rather than proving that systems will always behave correctly, we aim at establishing properties such as "The probability that an airbag will be deployed inadvertently during its operational life is less than 10^-9". Our goal is to adapt and extend some prominent techniques that have been successful for modelling and assessing qualitative characteristics of computer systems to a stochastic setting. Modelling formalisms such as input-output automata and process algebra, and verification techniques such as model checking will be thoroughly investigated. We plan to apply these techniques to model, analyse, and optimise systems described as Markov processes, Markov decision processes, and related formalisms.

VOSS II publications UT

Project duration: January 2005 – January 2008

Participants: RWTH Aachen, Universität des Saarlandes, University of Bonn, Universität der Bundeswehr München, Radboud University of Nijmegen, University of Twente

Involved groups: Formal Methods and Tools (FMT) / Design and Analysis of Communication Systems (DACS)

CTIT Strategic Research Orientation: DSN - Dependable Systems and Networks

	CTIT Home > ... > Open Competition > VOSS II
Home CTIT Symposium 2012 About CTIT News NIRICT Research Meet the PhDs Working at CTIT Internal Information Conferences Open Calls (updated April 20, 2012) Library and Videos Knowledge Transfer Links Sitemap Search	VOSS II Validation of Stochastic Systems II Project Managers CTIT: Prof. dr. Ed Brinksma / Prof. dr. Boudewijn Haverkort Faculty of Electrical Engineering, Mathematics and Computer Science Tel.: +31 53 4893676 / +31 53 4893766 Email: brinksma@cs.utwente.nl / brh@cs.utwente.nl Project website: VOSS II Project Summary VOSS is a research collaboration between the Netherlands and Germany within the NWO-DFG bilateral cooperation program. The Voss II project aims at the integration of modelling and computer-aided verification techniques for the analysis of complex systems with stochastic behaviour. Rather than proving that systems will always behave correctly, we aim at establishing properties such as "The probability that an airbag will be deployed inadvertently during its operational life is less than 10^-9". Our goal is to adapt and extend some prominent techniques that have been successful for modelling and assessing qualitative characteristics of computer systems to a stochastic setting. Modelling formalisms such as input-output automata and process algebra, and verification techniques such as model checking will be thoroughly investigated. We plan to apply these techniques to model, analyse, and optimise systems described as Markov processes, Markov decision processes, and related formalisms. VOSS II publications UT Project duration: January 2005 – January 2008 Participants: RWTH Aachen, Universität des Saarlandes, University of Bonn, Universität der Bundeswehr München, Radboud University of Nijmegen, University of Twente Involved groups: Formal Methods and Tools (FMT) / Design and Analysis of Communication Systems (DACS) CTIT Strategic Research Orientation: DSN - Dependable Systems and Networks