Efficient optimization of large probabilistic models

Authors: Struck, Simon, Güdemann, Matthias, Ortmeier, Frank

Contributors: Mateescu, Radu, CSE, Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University Magdeburg (OVGU), Construction of verified concurrent systems (CONVECS), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)

Source: Journal of Systems and Software. 86:2488-2501

Subject Terms: availability, 0102 computer and information sciences, 02 engineering and technology, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, 01 natural sciences, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, 0202 electrical engineering, electronic engineering, information engineering, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, and serviceability, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation

File Description: application/pdf

Access URL: https://hal.inria.fr/hal-00816636/file/Struck-Gudemann-Ortmeier-13.pdf
https://inria.hal.science/hal-00816636v1
https://inria.hal.science/hal-00816636v1/document
https://doi.org/10.1016/j.jss.2013.03.078
https://hal.inria.fr/hal-00816636
https://www.sciencedirect.com/science/article/pii/S0164121213000770
http://dblp.uni-trier.de/db/journals/jss/jss86.html#StruckGO13
https://hal.inria.fr/hal-00816636/document
https://dblp.uni-trier.de/db/journals/jss/jss86.html#StruckGO13

Tradeoff exploration between reliability, power consumption, and execution time for embedded systems: The TSH tricriteria scheduling heuristic

Authors: Assayad, Ismail, Girault, Alain, Kalla, Hamoudi

Contributors: Girault, Alain, Ecole Nationale Supérieure d'Electricité et de Mécanique Casablanca (ENSEM), Université Hassan II de Casablanca = University of Hassan II Casablanca = جامعة الحسن الثاني (ar) (UH2C), Sound Programming of Adaptive Dependable Embedded Systems (SPADES), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Université Hadj Lakhdar Batna 1

Source: International Journal on Software Tools for Technology Transfer. 15:229-245

Subject Terms: reliability, Embedded systems, multiprocessor scheduling, Testing, availability, power consumption, 02 engineering and technology, Pareto front, 7. Clean energy, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, and Fault-Tolerance, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, multicriteria optimization, 0202 electrical engineering, electronic engineering, information engineering, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, and serviceability, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, DVFS

File Description: application/pdf

Access URL: https://hal.inria.fr/hal-00923926/file/main.pdf
https://inria.hal.science/hal-00923926v1
https://doi.org/10.1007/s10009-012-0263-9
https://inria.hal.science/hal-00923926v1/document

A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate

Authors: Girault, Alain, Kalla, Hamoudi

Contributors: Girault, Alain, Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Université Hadj Lakhdar Batna 1

Source: IEEE Transactions on Dependable and Secure Computing. 6:241-254

Subject Terms: Testing, availability, 02 engineering and technology, and Fault-Tolerance, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.1: Fault tolerance, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, 0202 electrical engineering, electronic engineering, information engineering, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, and serviceability

File Description: application/pdf

Access URL: https://hal.inria.fr/hal-00746768/file/main.pdf
https://inria.hal.science/hal-00746768v1

Reliability versus performance for critical applications

Authors: Girault, Alain, Saule, Erik, Trystram, Denis

Contributors: Girault, Alain, Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), PrograMming and scheduling design fOr Applications in Interactive Simulation (MOAIS), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.)

Source: Journal of Parallel and Distributed Computing. 69:326-336

Subject Terms: Multi-processor scheduling, Testing, availability, 02 engineering and technology, Reliability, and Fault-Tolerance, Multi-objective optimization, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.1: Fault tolerance, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, 0202 electrical engineering, electronic engineering, information engineering, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, and serviceability

Access URL: https://inria.hal.science/hal-00753169v1
https://doi.org/10.1016/j.jpdc.2008.11.002

Scheduling of Real-Time Embedded Systems under Reliability and Power Constraints

Authors: Assayad, Ismail, Girault, Alain, Kalla, Hamoudi

Contributors: Ecole Nationale Supérieure d'Electricité et de Mécanique Casablanca (ENSEM), Université Hassan II Casablanca (UH2MC), Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Université Hadj Lakhdar Batna 1

Source: International Conference on Complex Systems, ICCS'12 ; https://inria.hal.science/hal-00777723 ; International Conference on Complex Systems, ICCS'12, Nov 2012, Agadir, Morocco

Subject Terms: ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, availability, and serviceability, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.1: Fault tolerance, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Subject Geographic: Morocco

Time: Agadir, Morocco

Availability: https://inria.hal.science/hal-00777723
https://inria.hal.science/hal-00777723v1/document
https://inria.hal.science/hal-00777723v1/file/main-220.pdf

Computing the throughput of probabilistic and replicated streaming applications

Authors: Benoit, Anne, Dufossé, Fanny, Gallet, Matthieu, Gaujal, Bruno, Robert, Yves

Contributors: Legrand, Arnaud, Gallet, Matthieu, Algorithms and Scheduling for Distributed Heterogeneous Platforms (GRAAL), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Laboratoire de l'Informatique du Parallélisme (LIP), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Middleware efficiently scalable (MESCAL), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), INRIA

Source: Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures. :166-175

Subject Terms: [INFO.INFO-DC]Computer Science [cs]/Distributed, replication, Scheduling, availability, probabilistic streaming applications, 02 engineering and technology, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, and serviceability, throughput, timed Petri nets

File Description: application/pdf

Access URL: http://graal.ens-lyon.fr/~yrobert/onlinepapers/RRLIP2010-03.pdf
https://inria.hal.science/inria-00452424v1
https://link.springer.com/article/10.1007/s00453-013-9768-1
https://dblp.uni-trier.de/db/conf/spaa/spaa2010.html#BenoitDGRG10
http://graal.ens-lyon.fr/~yrobert/onlinepapers/RR-INRIA-7510.pdf
https://hal.inria.fr/inria-00555890/document
https://link.springer.com/content/pdf/10.1007%2Fs00453-013-9768-1.pdf
https://hal.archives-ouvertes.fr/inria-00452424/en/

Design of automotive X-by-Wire systems

Authors: Wilwert, Cédric, Navet, Nicolas, Song, Ye-Qiong, Simonot-Lion, Françoise

Contributors: PSA Peugeot - Citroën (PSA), PSA Peugeot Citroën (PSA), Real time and interoperability (TRIO), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Richard Zurawski

Source: The Industrial Communication Technology Handbook ; https://inria.hal.science/inria-00000562 ; Richard Zurawski. The Industrial Communication Technology Handbook, CRC Press, 2005, 0849330777

Subject Terms: Networks, Fieldbuses, Real-Time Systems, In-vehicle Embedded Systems, Middlewares, Dependability, X-by-Wire, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, ACM: J.: Computer Applications/J.7: COMPUTERS IN OTHER SYSTEMS/J.7.6: Real time, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, availability, and serviceability, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Availability: https://inria.hal.science/inria-00000562
https://inria.hal.science/inria-00000562/document
https://inria.hal.science/inria-00000562/file/XbW_CRC_2005.pdf

Revisiting the bicriteria (length,reliability) multiprocessor static scheduling problem

Authors: Girault, Alain, Kalla, Hamoudi

Contributors: Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), INRIA

Source: https://inria.hal.science/inria-00177117 ; [Research Report] RR-6319, INRIA. 2007, pp.36.

Subject Terms: reliability block diagrams, Bicriteria optimization, reliability, Pareto optima, static multiprocessor scheduling, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, availability, and serviceability, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, Testing, and Fault-Tolerance, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.4: Heuristic methods, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Availability: https://inria.hal.science/inria-00177117
https://inria.hal.science/inria-00177117v2/document
https://inria.hal.science/inria-00177117v2/file/RR-6319.pdf

Monitoring Service Choreographies from Multiple Sources

Authors: Ben Hamida, Amira, Bertolino, Antonia, Calabrò, Antonello, De Angelis, Guglielmo, Lago, Nelson, Lesbegueries, Julien

Contributors: Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo" (ISTI), Consiglio Nazionale delle Ricerche Roma (CNR), Department of Computer Science (USP), University of São Paulo (USP), Paris Avgeriou, European Project: 257178,EC:FP7:ICT,FP7-ICT-2009-5,CHOREOS(2010)

Source: SERENE 2012 - 4th International Workshop on Software Engineering for Resilient Systems ; https://hal.inria.fr/hal-00741684 ; SERENE 2012 - 4th International Workshop on Software Engineering for Resilient Systems, Paris Avgeriou, Sep 2012, Pisa, Italy. pp.134-149, ⟨10.1007/978-3-642-33176-3_10⟩

Subject Terms: Monitoring, Choreographies, Complex Event Processing, SOA, SLA, QoS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, availability, and serviceability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], manag, edu

Subject Geographic: Pisa, Italy

Relation: https://hal.inria.fr/hal-00741684

Availability: https://hal.inria.fr/hal-00741684

Robust Self-Stabilizing Clustering Algorithm

Authors: Johnen, Colette, Nguyen, Le Huy

Contributors: Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), ACI securité Fragile, Alexander A. Shvartsman

Source: 10th International Conference Principles of Distributed Systems
https://inria.hal.science/inria-00158856
10th International Conference Principles of Distributed Systems, Dec 2006, Bordeaux, France. pp.410-424, ⟨10.1007/11945529_29⟩

Subject Terms: Self-stabilization, Distributed algorithm, Clustering, Ad hoc networking, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, availability, and serviceability, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.1: Fault tolerance, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Subject Geographic: Bordeaux, France

Availability: https://inria.hal.science/inria-00158856
https://doi.org/10.1007/11945529_29

Proceedings of the 13th International Conference on Real-Time Systems (RTS'2005)

Authors: Navet, Nicolas

Contributors: Real time and interoperability (TRIO), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Nicolas Navet

Source: https://inria.hal.science/inria-00000559 ; Nicolas Navet. BIRP, pp.515, 2005.

Subject Terms: Real-Time systems, Scheduling, Modeling, Middleware, Fault-Tolerance, Operating Systems, Formal Methods, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.1: Process control systems, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.1: Fault tolerance, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, availability, and serviceability, ACM: C.: Computer Systems Organization/C.0: GENERAL/C.0.3: System architectures, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems/C.2.4.1: Distributed applications, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]

Availability: https://inria.hal.science/inria-00000559