Special sessions

SS-1   Analysis and control of DES with Petri nets Organisers   Francesco Basile, University Salerno, Italy   Dimitri Lefebvre, University Le Havre, France SS-2   Tool-supported Techniques for Model-based Dependability Analysis and Optimisation of DES Organisers   Yiannis Papadopoulos, University of Hull, United Kingdom   Frank Ortmeier, Otto-von-Guericke-Universität Magdeburg, Germany SS-3   Dependable Discrete control for adaptive and reconfigurable computing systems Organisers   Eric Rutten, INRIA Grenoble, Rhone-Alpes SS-4   Diagnosis approaches: What news since over 20 years? Organisers   Alexandre Philippot, University of Reims Champagne-Ardenne, France

SPECIAL SESSIONS DESCRIPTION

Title: Analysis and control of DES with Petri nets Organiser(s): Francesco Basile, University Salerno, Italy, fbasile@unisa.it Dimitri Lefebvre, University Le Havre, France, dimitri.lefebvre@univ-lehavre.fr Description: Analysis and control problems for Discrete Event Dynamic Systems (DEDS) arise in computer science, manufacturing systems, transportation systems, networks and communication and many other application areas. In particular, when dependable control is concerned, several issues remain open and this is the reason why a very active scientific community is still working on this area. Particular efforts are devoted to the design of efficient approaches based on Petri nets models that combine efficient methods for modelling, analysis, and control issues. The aim of this special session is to present new theoretical results and significant examples of applications based on Petri nets. Topics of interest include but are not limited to the following: Analysis of timed and untimed DEDS with Petri nets Implementation methodologies of Petri net based supervisors and diagnosers Supervisory control Applications Title: Tool-supported Techniques for Model-based Dependability Analysis and Optimisation of DES Organiser(s): Yiannis Papadopoulos, University of Hull, United Kingdom, Y.I.Papadopoulos@hull.ac.uk Frank Ortmeier, Otto-von-Guericke-Universität Magdeburg, Germany, Frank.Ortmeier@ovgu.de Description: The technologies of model-based design, model-based dependability analysis, and the application of optimisation techniques in the design**of complex discrete event systems have advanced in recent years. Several tools have been developed that transfer these technologies to practical design. In certain techniques predictive system failure models such as fault trees and Failure Modes and Effects Analyses are constructed from the system architecture and component failure models using a process of composition. Another body of research with similar objectives has developed in the area of model-checking, focusing on automated dependability analysis of systems represented as state automata. Some of this work has been transferred to the context of model-based design. For instance, Architecture Description Languages have recently incorporated error modelling semantics that enable dependability analysis, and these models have been shown to be analysable via conversion to combinatorial and temporal fault trees, Markov models or Generalised Stochastic Petri Nets. Some of this work has been combined with meta-heuristics for exploration of design spaces and optimisation of system architecture and maintenance. The aim of this session is to bring together researchers and authors of advanced model-based dependability analysis and optimisation tools to discuss recent advances in their methods. We hope that DCDS can contribute to the emergence of a design paradigm that can revolutionise the state-of-art and practice by employing these techniques synergistically and systematically from the early stages of design. Title: Dependable Discrete control for adaptive and reconfigurable computing systems Organiser(s): Eric Rutten , INRIA Grenoble, Rhone-Alpes, Francia, Eric.Rutten@inria.fr Description: Recently in Computer Science, the notion of adaptive or autonomic computing systems has been introduced and defined as computing systems that can reconfigure themselves through feedback loops. Motivations for dynamic adaptivity are important issues like resource management, quality of service and dependability. It concerns systems ranging from hardware to operating systems to services and applications, from tiny embedded systems to the Cloud. They work in a closed-loop, and their management cannot anymore rely on human administrators. The correct design and implementation of automated control of the reconfigurations is recognized as a key issue for the effectiveness of these adaptive computing systems. Therefore, there is a need for well-founded methods, models and techniques for the design of controllers, and there is a growing interest in using Control Theory for their design, in order to provide designers with a support to master the complexity of designs, and with guarantees w.r.t. their correctness or optimality. A significant approach addresses synchronization and coordination problems using discrete control techniques. The purpose of this special session is to group contributions about the model-based control of adaptive and reconfigurable computing or embedded systems, especially involving models and algorithms related to Discrete Event Systems. On the one hand it will introduce this interesting new application domain, with very wide and lively potential, and differences from traditional applications of DES e.g. in manufacturing. On the other hand, it will bring together researchers working in this area, up to now quite separately for the lack of an established community. Title: Diagnosis approaches: What news since over 20 years? Organiser(s): Alexandre Philippot, University of Reims Champagne-Ardenne, France, alexandre.philippot@univ-reims.fr Description: Transport systems, Telecommunication or Manufacturing systems become more and more complexes. These two last decades, several works have been developed about diagnosis of Discrete Event Systems (DES) and notably based from Meera Sampath's thesis. This session aims to collect recent approaches around diagnosis, diagnosability notions.