RigorOus dependability analysis using model ChecKing techniques for Stochastic systems
Stochastic analysis techniques are crucial in developing reliable computer systems. This workshop focuses on two increasingly prominent system classes, which are not amenable to classic stochastic analysis techniques. For large-scale homogeneous systems (e.g. wireless sensor networks and gossiping protocols) standard compositional approaches fail due to the quantity of components. In safety-critical heterogeneous systems (e.g. production plants and automotive control systems) the challenge is to handle the diversity of system modalities. This workshop covers techniques that automatically synthesize the optimal design given a system configuration or parameter set for both system classes. Also architectural description languages are addressed as they are increasingly used to describe complex systems, but analysis techniques are often lacking.
TopicsSubmissions should describe research on relevant modeling formalisms, analysis techniques, and/or application areas, where
We encourage submissions of single page abstracts describing interesting research within the scope of the workshop. Submissions may describe work-in-progress or material that has already been published elsewhere. All submissions will be reviewed by members of the program committee. The selected abstracts will be made available at the workshop webpage, but there are no formal proceedings. Submissions will be handled by the EasyChair submission system.
The workshop will take place on Saturday March 26 and Sunday March 27 (before the ETAPS conferences). The ROCKS workshop programme can be found here.
ROCKS is a cooperation of RWTH Aachen, TU Dresden, UT-DACS Enschede, UT-FMT Enschede, UBwM Munich, RU Nijmegen and UdS Saarbrücken