-
1Academic Journal
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
Linked Full TextAccess 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 -
2Academic Journal
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
Linked Full TextFile Description: application/pdf
-
3Academic Journal
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
Linked Full TextSubject 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
-
4Conference
An asynchronous writing method for restart files in the gysela code in prevision of exascale systems
Authors: Thomine, Olivier, Bigot, Julien, Grandgirard, Virginie, Latu, Guillaume, Passeron, Chantal, Rozar, Fabien
Contributors: 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)
Source: CEMRACS 2012 ; https://inria.hal.science/hal-01048745 ; CEMRACS 2012, Jul 2012, Luminy, France. ⟨10.1051/proc/201343007⟩
Subject Terms: 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]
-
5Book
Authors: Navet, Nicolas, Simonot-Lion, Françoise
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), Richard Zurawski
Source: The Embedded Systems Handbook ; https://inria.hal.science/inria-00000561 ; Richard Zurawski. The Embedded Systems Handbook, CRC Press / Taylor & Francis, 2005, 0849328241
Subject Terms: 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]
-
6Report
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]
-
7Conference
Authors: Burlyaev, Dmitry, Fradet, Pascal, Girault, Alain
Contributors: 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)
Source: 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
Subject Terms: 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]
Availability: https://inria.hal.science/hal-00911768
-
8Book
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-00105907 ; Nicolas Navet. Hermès - Lavoisier, pp.336, 2006, Traité IC2, Information - Commande - Communication, 2-7462-1304-4.
Subject Terms: 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]
Availability: https://inria.hal.science/inria-00105907
-
9Conference
Authors: Colin, C., Cousin, Bernard, Estraillier, Pascal, Loyer, B.
Contributors: 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
Source: 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
Subject Terms: 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]