The aim of the workshop is to provide the communities of safety/reliability analysis and of DES (Discrete Event Systems) with an opportunity to exchange information and new ideas, and to discuss new developments in the field of dependable control of DES. Researches in this field are driven by the needs of many different application domains, such as production systems, transport systems, embedded systems, computers and communication systems, to name a few.


    Several research results recently issued by the two communities are able to bring partial solutions to dependability requirements of these application domains. Fault-forecasting methods for systems dependability, dependability modeling thanks to Bayesian networks, fault-tolerant systems design, formal verification of control software, timed and probabilistic model-checking, fault detection and diagnosis of DES for instance, provide promising solutions for increasing control systems dependability. Nevertheless, none of these approaches is able to provide a global solution. Hence, there is a need to bridge the gaps between the different models, methods and tools that are proposed so as to improve design and operation of dependable control of DES.


    Gathering researchers of these two communities, this workshop will favour exchanges and will contribute to a better interdisciplinary approach for control dependability improvement. Works focusing on dependability improvement when designing and implementing the system ("off-line" approaches) as well as during system operation ("on-line" approaches) will be considered.