OPTIMAL DISCRETE CONTROLLER SYNTHESIS FOR MODELING FAULT-TOLERANT DISTRIBUTED SYSTEMS

Abstract We propose a safe design method for safe execution systems, based on fault-tolerance techniques: it uses optimal discrete controller synthesis (DCS) to generate a correct-by-construction fault-tolerant system. The properties enforced concern consistent execution, functionality fulfillment (whatever the faults, under some failure hypothesis), and several optimizations (of the tasks’ execution time). We propose an algorithm for optimal DCS on bounded paths. We propose model patterns for a set of periodic tasks with checkpoints, a set of distributed, heterogeneous and fail-silent processors, and an environment model that expresses potential fault patterns. The implementation is illustrated using the Sigali symbolic DCS tool and the Mode Automata programming language.

[1]  Ian Sutherland,et al.  Model Checking and Fault Tolerance , 1997, AMAST.

[2]  A. Pnueli,et al.  Effective synthesis of switching controllers for linear systems , 2000, Proceedings of the IEEE.

[3]  Pankaj Jalote,et al.  Fault tolerance in distributed systems , 1994 .

[4]  Anantha P. Chandrakasan,et al.  Low-power CMOS digital design , 1992 .

[5]  Joel Spencer.  .1 Results , .

[6]  Alberto L. Sangiovanni-Vincentelli,et al.  Fault-tolerant platforms for automotive safety-critical applications , 2003, CASES '03.

[7]  S. Lafortune,et al.  Optimal control of discrete event systems under partial observation , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[8]  Hermann Kopetz,et al.  Dependability: Basic Concepts and Terminology , 1992 .

[9]  Luca Simoncini,et al.  Formally Verifying Fault Tolerant System Designs , 2000, Comput. J..

[10]  Hammad Qureshi.  Contributions , 1974, Livre Blanc de la Recherche en Mécanique.

[11]  Christos Kloukinas,et al.  Synthesis of safe, QoS extendible, application specific schedulers for heterogeneous real-time systems , 2003, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings..

[12]  Alain Girault,et al.  Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis , 2004 .

[13]  Stephen A. Edwards,et al.  The Synchronous Languages Twelve Years Later , 1997 .

[14]  Éric Rutten,et al.  Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis , 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.

[15]  Jong-Tae Lim,et al.  Synthesis of fault-tolerant supervisor for automated manufacturing systems: a case study on photolithographic process , 1998, IEEE Trans. Robotics Autom..

[16]  Vijay K. Garg,et al.  Optimal Supervisory Control of Discrete Event DynamicalSystems , 1995 .

[17]  John Rushby,et al.  Critical system properties: survey and taxonomy , 1994 .

[18]  Éric Rutten,et al.  Using Controller-Synthesis Techniques to Build Property-Enforcing Layers , 2003, ESOP.

[19]  C SIAMJ.,et al.  AN OPTIMAL CONTROL THEORY FOR DISCRETE EVENT SYSTEMS , 1998 .

[20]  H. Marchand,et al.  Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology , 2000, IEEE Trans. Software Eng..

[21]  Hervé Marchand,et al.  Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology , 1999, World Congress on Formal Methods.

[22]  Sean R Eddy,et al.  What is dynamic programming? , 2004, Nature Biotechnology.

[23]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[24]  J. Dalen.  Perspectives … , 1968, International nursing review.

[25]  Rachid Guerraoui,et al.  Consensus service: a modular approach for building agreement protocols in distributed systems , 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.

[26]  Florence Maraninchi,et al.  Mode-Automata: a new domain-specific construct for the development of safe critical systems , 2003, Sci. Comput. Program..

[27]  Rune M. Jensen,et al.  DES Controller Synthesis and Fault Tolerant Control A Survey of Recent Advances , 2003 .

[28]  Alain Girault,et al.  Discrete controller synthesis for fault-tolerant distributed systems , 2004 .

[29]  Michel Le Borgne.  ON THE OPTIMAL CONTROL OF POLYNOMIAL DYNAMICAL , 1998 .

[30]  Jozef Hooman,et al.  A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems , 1994, Theor. Comput. Sci..

[31]  Éric Rutten,et al.  A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis , 2007, EURASIP J. Embed. Syst..

[32]  T. Kameda,et al.  5 Related Work , .

[33]  Enrico Tronci.  Optimal finite state supervisory control , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[34]  Éric Rutten,et al.  A domain-specific language for task handlers generation, applying discrete controller synthesis , 2006, SAC '06.

[35]  Paul Le Guernic,et al.  Synthesis of Discrete-Event Controllers Based on the Signal Environment , 2000, Discret. Event Dyn. Syst..