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

Συγγραφείς: Assayad, Ismail, Girault, Alain, Kalla, Hamoudi

Συνεισφορές: 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

Πηγή: International Journal on Software Tools for Technology Transfer. 15:229-245

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Girault, Alain, Kalla, Hamoudi

Συνεισφορές: 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

Πηγή: IEEE Transactions on Dependable and Secure Computing. 6:241-254

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.inria.fr/hal-00746768/file/main.pdf
https://inria.hal.science/hal-00746768v1

Reliability versus performance for critical applications

Συγγραφείς: Girault, Alain, Saule, Erik, Trystram, Denis

Συνεισφορές: 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.)

Πηγή: Journal of Parallel and Distributed Computing. 69:326-336

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: https://inria.hal.science/hal-00753169v1
https://doi.org/10.1016/j.jpdc.2008.11.002

An asynchronous writing method for restart files in the gysela code in prevision of exascale systems

Συγγραφείς: Thomine, Olivier, Bigot, Julien, Grandgirard, Virginie, Latu, Guillaume, Passeron, Chantal, Rozar, Fabien

Συνεισφορές: Institut de Recherche sur la Fusion par confinement Magnétique (IRFM), Direction de Recherche Fondamentale (CEA) (DRF (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Maison de la Simulation (MDLS), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)

Πηγή: CEMRACS 2012 ; https://inria.hal.science/hal-01048745 ; CEMRACS 2012, Jul 2012, Luminy, France. ⟨10.1051/proc/201343007⟩

Θεματικοί όροι: ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, Testing, and Fault-Tolerance, ACM: J.: Computer Applications/J.2: PHYSICAL SCIENCES AND ENGINEERING/J.2.8: Physics, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Θέμα γεωγραφικό: Luminy, France

Διαθεσιμότητα: https://inria.hal.science/hal-01048745
https://inria.hal.science/hal-01048745v1/document
https://inria.hal.science/hal-01048745v1/file/proc134307.pdf
https://doi.org/10.1051/proc/201343007

Fault Tolerant Services for Safe In-Car Embedded Systems

Συγγραφείς: Navet, Nicolas, Simonot-Lion, Françoise

Συνεισφορές: 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

Πηγή: The Embedded Systems Handbook ; https://inria.hal.science/inria-00000561 ; Richard Zurawski. The Embedded Systems Handbook, CRC Press / Taylor & Francis, 2005, 0849328241

Θεματικοί όροι: Networks, Fieldbuses, Real-Time Systems, In-vehicle Embedded Systems, Middlewares, Fault-Tolerance, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, Testing, and Fault-Tolerance, ACM: J.: Computer Applications/J.7: COMPUTERS IN OTHER SYSTEMS/J.7.6: Real time, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Διαθεσιμότητα: https://inria.hal.science/inria-00000561
https://inria.hal.science/inria-00000561/document
https://inria.hal.science/inria-00000561/file/CRC2005_FaulTolerance.pdf

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

Συγγραφείς: Girault, Alain, Kalla, Hamoudi

Συνεισφορές: 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

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

Θεματικοί όροι: 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]

Διαθεσιμότητα: https://inria.hal.science/inria-00177117
https://inria.hal.science/inria-00177117v2/document
https://inria.hal.science/inria-00177117v2/file/RR-6319.pdf

Verification-guided Voter Minimization in Triple-Modular Redundant Circuits

Συγγραφείς: Burlyaev, Dmitry, Fradet, Pascal, Girault, Alain

Συνεισφορές: Sound Programming of Adaptive Dependable Embedded Systems (SPADES), 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)

Πηγή: Design, Automation and Test in Europe Conference, DATE'14 ; https://inria.hal.science/hal-00911768 ; Design, Automation and Test in Europe Conference, DATE'14, Mar 2014, Dresden, Germany

Θεματικοί όροι: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, Testing, and Fault-Tolerance, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Θέμα γεωγραφικό: Dresden, Germany

Διαθεσιμότητα: https://inria.hal.science/hal-00911768

Systèmes temps réel 2 - Ordonnancement, réseaux et qualité de service

Συγγραφείς: Navet, Nicolas

Συνεισφορές: 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

Πηγή: https://inria.hal.science/inria-00105907 ; Nicolas Navet. Hermès - Lavoisier, pp.336, 2006, Traité IC2, Information - Commande - Communication, 2-7462-1304-4.

Θεματικοί όροι: ACM: A.: General Literature/A.2: REFERENCE (e.g., dictionaries, encyclopedias, glossaries), ACM: J.: Computer Applications/J.7: COMPUTERS IN OTHER SYSTEMS/J.7.6: Real time, ACM: J.: Computer Applications/J.2: PHYSICAL SCIENCES AND ENGINEERING/J.2.6: Engineering, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, Testing, and Fault-Tolerance, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Διαθεσιμότητα: https://inria.hal.science/inria-00105907

PLASMA : un protocole de Liaison à support multi-anneaux

Συγγραφείς: Colin, C., Cousin, Bernard, Estraillier, Pascal, Loyer, B.

Συνεισφορές: Alcatel R&D (Alcatel), ALCATEL, Laboratoire Méthodologie et Architecture des Systèmes Informatiques (MASI), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Richard Castanet et Omar Rafiq

Πηγή: Colloque francophone sur l'ingénierie des protocoles (CFIP'88) ; https://inria.hal.science/hal-01001066 ; Colloque francophone sur l'ingénierie des protocoles (CFIP'88), Richard Castanet et Omar Rafiq, Sep 1988, Bordeaux, France. pp.27-40

Θεματικοί όροι: ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, Testing, and Fault-Tolerance, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.1: Network Architecture and Design, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols/C.2.2.2: Protocol verification, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Θέμα γεωγραφικό: Bordeaux, France

Διαθεσιμότητα: https://inria.hal.science/hal-01001066
https://inria.hal.science/hal-01001066v1/document
https://inria.hal.science/hal-01001066v1/file/CFIP88.pdf