@manual{
	titlea = "Prof.",
	vornamea = "Markus",
	namea = "Siegle",
	departmenta = "Fakultät für Informatik",
	institutea = "INF 3 - Institut für Technische Informatik",
	titleb = "",
	vornameb = "",
	nameb = "",
	departmentb = "",
	instituteb = "",
	titlec = "",
	vornamec = "",
	namec = "",
	departmentc = "",
	institutec = "",
	external-funds = "DFG",
	company = "",
	project-title = "Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)",
	project-abstract = "Our society relies on the correct and timely functioning of a large variety of ICT systems. Rigorous formal dependability analysis ("Dependability Engineering") therefore plays an important role in the design of such systems. Since many dependability properties are random in nature, stochastic analysis techniques are crucial in developing reliable ICT systems. The ROCKS project focuses on two system classes which are not amenable to classic stochastic analysis techniques: 

1) Large scale homogeneous systems, such as wireless sensor networks and gossiping protocols. They provide a challenge because standard (compositional) approaches for large systems fail in this case. 

2) Safety-critical heterogeneous systems, such as production plants and automotive control systems, which consist of a number of very different components. The challenge here is to handle the diversity of system modalities. ",
	proj-beginn = "01.09.2009",
	proj-end = "31.08.2012",
	forschungszentrum = ""
}