I. Assayad, A. Girault, and H. Kalla, A bi-criteria scheduling heuristic for distributed embedded systems under reliability and real-time constraints, International Conference on Dependable Systems and Networks, 2004
DOI : 10.1109/DSN.2004.1311904

A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2

H. Balaban, Some effects of redundancy on system reliability, National Symposium on Reliability and Quality Control, pp.385-402, 1960.

M. Baleani, A. Ferrari, L. Mangeruca, M. Peri, S. Pezzini et al., Fault-tolerant platforms for automotive safetycritical applications, International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES'03, 2003.
DOI : 10.1145/951710.951734
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.8092

A. Benoit, V. Rehn-sonigo, and Y. Robert, Optimizing latency and reliability of pipeline workflow applications, 2008 IEEE International Symposium on Parallel and Distributed Processing, 2008.
DOI : 10.1109/IPDPS.2008.4536160
URL : https://hal.archives-ouvertes.fr/hal-00803486

A. Benoit and Y. Robert, Mapping pipeline skeletons onto heterogeneous platforms, Journal of Parallel and Distributed Computing, vol.68, issue.6, pp.790-808, 2008.
DOI : 10.1016/j.jpdc.2007.11.004
URL : https://hal.archives-ouvertes.fr/hal-00118921

A. Benoit and Y. Robert, Complexity Results for Throughput and Latency Optimization of Replicated and Data-parallel Workflows, Algorithmica, vol.5, issue.9, pp.689-724, 2010.
DOI : 10.1007/s00453-008-9229-4
URL : https://hal.archives-ouvertes.fr/hal-00803515

C. Ilog and . Cplex, High-performance software for mathematical programming and optimization

A. Dogan and F. Özgüner, Matching and scheduling algorithms for minimizing execution time and failure probability of applications in heterogeneous computing, IEEE Transactions on Parallel and Distributed Systems, vol.13, issue.3, pp.308-323, 2002.
DOI : 10.1109/71.993209

J. Dongarra, E. Jeannot, E. Saule, and Z. Shi, Bi-objective scheduling algorithms for optimizing makespan and reliability on heterogeneous systems, Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures , SPAA '07, pp.280-288, 2007.
DOI : 10.1145/1248377.1248423
URL : https://hal.archives-ouvertes.fr/hal-00155964

F. Dufossé, Source Code for the Experiments

C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt et al., Reliable and Precise WCET Determination for a Real-Life Processor, Int. Workshop on Embedded Software, EMSOFT'01, 2001.
DOI : 10.1007/3-540-45449-7_32

F. Gärtner, Fundamentals of fault-tolerant distributed computing in asynchronous environments, ACM Computing Surveys, vol.31, issue.1, pp.1-26, 1999.
DOI : 10.1145/311531.311532

A. Girault and H. Kalla, A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate, IEEE Transactions on Dependable and Secure Computing, vol.6, issue.4, pp.241-254, 2009.
DOI : 10.1109/TDSC.2008.50
URL : https://hal.archives-ouvertes.fr/hal-00746768

A. Girault, E. Saule, and D. Trystram, Reliability versus performance for critical applications, Journal of Parallel and Distributed Computing, vol.69, issue.3, pp.326-336, 2009.
DOI : 10.1016/j.jpdc.2008.11.002
URL : https://hal.archives-ouvertes.fr/hal-00753169

M. Hakem and F. Butelle, A bi-objective algorithm for scheduling parallel applications on heterogeneous systems subject to failures, Rencontres Francophones du Parallélisme, RENPAR'06, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00148583

B. Hong and V. K. Prasanna, Adaptive Allocation of Independent Tasks to Maximize Throughput, IEEE Transactions on Parallel and Distributed Systems, vol.18, issue.10, pp.1420-1435, 2007.
DOI : 10.1109/TPDS.2007.1042

E. Jeannot, E. Saule, and D. Trystram, Bi-objective Approximation Scheme for Makespan and Reliability Optimization on Uniform Parallel Machines, Euro-Par, pp.877-886, 2008.
DOI : 10.1007/978-3-540-85451-7_94
URL : https://hal.archives-ouvertes.fr/inria-00333906

P. Jensen and M. Bellmore, An Algorithm to Determine the Reliability of a Complex System, IEEE Transactions on Reliability, vol.18, issue.4, pp.169-174, 1969.
DOI : 10.1109/TR.1969.5216346

J. Knight and N. Leveson, An experimental evaluation of the assumption of independence in multi-version programming, IEEE Trans. Software Engin, vol.12, issue.1, pp.96-109, 1986.

D. Lloyd and M. Lipow, Reliability, 1962.
DOI : 10.1201/9781420017656.ch7

P. Pop, K. Poulsen, and V. Izosimov, Scheduling and voltage scaling for energy/reliability trade-offs in fault-tolerant time-triggered embedded systems, Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis , CODES+ISSS '07, 2007.
DOI : 10.1145/1289816.1289873

E. Saule and D. Trystram, Analyzing scheduling with transient failures, Information Processing Letters, vol.109, issue.11, pp.539-542, 2009.
DOI : 10.1016/j.ipl.2009.01.019
URL : https://hal.archives-ouvertes.fr/hal-00800413

S. Shatz and J. Wang, Models and algorithms for reliability-oriented task-allocation in redundant distributed-computer systems, IEEE Transactions on Reliability, vol.38, issue.1, pp.16-26, 1989.
DOI : 10.1109/24.24570

J. Souyris, E. Pavec, G. Himbert, V. Jégu, G. Borios et al., Computing the worst case execution time of an avionics program by abstract interpretation, International Workshop on Worst-case Execution Time, WCET'05, pp.21-24, 2005.

J. Subhlok and G. Vondran, Optimal mapping of sequences of data parallel tasks, PPoPP'95, pp.134-143, 1995.

J. Subhlok and G. Vondran, Optimal latency-throughput tradeoffs for data parallel pipelines, Proceedings of the eighth annual ACM symposium on Parallel algorithms and architectures , SPAA '96, pp.62-71, 1996.
DOI : 10.1145/237502.237508
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.6335

D. Zhu, R. Melhem, and D. Mossé, The effects of energy management on reliability in real-time embedded systems, International Conference on Computer Aided Design, ICCAD'04, pp.35-40, 0655.