L. Aiguo and B. Hong, Aiguo Li and Bingrong HongSoftware implemented transient fault detection in space computer, Aerospace Science and Technology, vol.11, issue.2-3, pp.245-252, 2007.

. Ajmone, An introduction to generalized stochastic Petri nets, Microelectronics and Reliability, vol.31, issue.4, pp.699-725, 1991.

. Ajmone, Modelling with generalized stochastic Petri nets. Wiley series in parallel computing, 1995.

A. H. Al-dhaher, Integrating hardware and software for the development of microcontroller-based systems' Microprocessors and Microsystems, pp.317-328, 2001.

R. Alaoui, Rim MRANI ALAOUI, « conception d'un module de diagnostic a base des suites de bandes temporelles en vue de la supervision des procèdes énergétique ». Application en ligne à un générateur de vapeur, thèse doctorat, 2007.

A. M. Angelini and . Angelini, A note on the role of system engineering in the industry of a changing society, Technology in Society, vol.18, issue.4, pp.461-466, 1996.
DOI : 10.1016/S0160-791X(96)00024-3

D. A. Anderson, Anderson, Design of self-checking digital networks using coding techniques, Report R, vol.527, 1971.

. Arlat, An investigation on mutation strategies for fault injection into RDD-100 models'. Safety Science, pp.385-403, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00757161

. Arnold, The AltaRica formalism for describing concurrent systems, Fundamenta Informaticae, vol.40, pp.109-124, 2000.

M. A. Azgomi and A. Et-movaghar, A modelling tool for hierarchical stochastic activity networks'. Simulation Modelling Practice and Theory, pp.505-524, 2005.

. Chabot, An engineering approach to optimize system design and spare parts inventory, Risk, Decision and Policy, vol.8, issue.2-3, pp.1-11, 2003.
DOI : 10.1080/713926645

. Charpentier-p, Architecture d'automatisme en sécurité des machines : Etudes des conditions de conception liées aux défaillances de mode commun, Thèse de doctorat, Institut National Polytechnique de Loraine (CRAN), p.129, 2002.

. Chillarege, Experiences in transferring a software process improvement methodology to production laboratories', Journal of Systems and Software, vol.26, issue.1, pp.61-68, 1994.

R. P. Colwell, R. A. Et-lethin, R. P. Colwell, and R. A. Lethin, Latent design faults in the development of the Multiflow TRACE/200, IEEE Transactions on Reliability, vol.43, issue.4, pp.557-537, 1994.
DOI : 10.1109/24.370226

. Dabny, A fault-tolerant approach to test control utilizing dual-redundant processors'. Advances in Engineering Software, pp.371-383, 2008.

R. David, H. Alla, H. Alla, and R. David, Continuous and Hybrid Petri Nets, Journal of Circuits Systems & Computers, vol.8, issue.3, pp.159-188, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00495611

J. Devooght, C. Et-smidts, J. Devooght, and C. Smidts, Probabilistic reactor dynamics ? I: The theory of continuous event trees. Nuclear science and engineering, pp.229-240, 1992.

. Dubois, « Réseaux possibilistes pour un modèle de recherche d'information, », Conférence francophone en Recherche d'Information et Applications, Association Francophone de Recherche d'Information et Applications (ARIA), pp.143-154, 2006.

. Dutuit, Dependability modelling and evaluation by using stochastic Petri nets: application to two test cases, Reliability Engineering & System Safety, vol.55, issue.2, pp.117-124, 1997.
DOI : 10.1016/S0951-8320(96)00108-1

. Fowler, Scheduling jobs on parallel machines with setup times and ready times, Computers & Industrial Engineering, 2007.

. Geist, Hybrid reliability modeling of fault-tolerant computer systems, Computers & Electrical Engineering, vol.11, pp.2-3, 1984.

. Gergeleit, Schemmer and M. Gergeleit Robust scheduling in team-robotics Journal of Systems and Software, pp.3-16, 2005.

. German, Armin Zimmermann and Günter HommelTimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets'. Performance Evaluation, pp.1-2, 1995.

T. Givargis, F. Et-vahid, F. Vahid, and T. Givargis, Embedded system design: a unified hardware/software introduction, 2002.

. Goldenfeld, Development of short forms of the Empathy Quotient (EQ-Short) and the Systemizing Quotient (SQ-Short)'. Personality and Individual DifferencesMixing linguistic and formal techniques for high-level requirements'. engineering, IEEE international conference on microelectronics, 2004.

. Hami, Coupling of information flowregation method and dynamical model for a more accurate evaluation of reliability, 2005.

. Harel, Aharon Shtull-Trauring and Mark Trakhtenbrot, Statemate: A Working Environment for the Development of Complex Reactive Systems'. Readings in Hardware/Software Co-Design, pp.135-146, 2002.

M. Houtermans and G. Et-apostolakis, Apostolakis, The dynamic flowgraph methodology as a safety analysis tool: programmable electronic system design and verification, Safety Science, pp.40-813, 2002.

. Jallou, Stack processor architecture and development methods suitable for dependable applications, Proc. 3rd International Workshop on Reconfigurable Communication Centric System-On-Chips (ReCoSoC'07), 2007.

. Jing, Reliability estimation and prediction of multi-state components and coherent systems, Reliability Engineering and System Safety, vol.88, pp.93-98, 2005.

. Kanawati, Architecture for synchronous groupware application development'. Advances in Human Factors, Ergonomics, vol.20, pp.371-376, 1995.

. Kanoun, Nicolae Fota, Mohamed Kaâniche and Karama Kanoun, 'Dependability evaluation of an air traffic control computing system'. Performance Evaluation, pp.3-4, 1996.

S. Karacal, A novel approach to simulation modeling, Computers & Industrial Engineering, vol.34, issue.3, pp.573-587, 1998.
DOI : 10.1016/S0360-8352(97)00324-0

. Khobare, Reliability analysis of microcomputer circuit modules and computer based control systems important to safety of nuclear power plants'. ReliabilityAdaptive faulttolerance in complex real-time distributed computer system applications, Computer Communications, vol.15, issue.4, pp.243-251, 1992.

T. Kropf, Kropf T. Introduction to formal hardware validation, 1999.

J. C. Laprie and J. C. Laprie, Dependable computing : concepts, limits, challenges, 25th International Symposium on Fault-Tolerant Computing (FTCS-25) Special Issue, pp.42-54, 1995.
DOI : 10.1109/cmpsac.2004.1342838

J. C. Laprie and ]. Laprie, Sûreté de fonctionnement informatique : concepts, défis, directions', ACI Sécurité et Informatique -Toulouse, pp.15-17, 2004.

J. C. Laprie, M. Laprie, J. P. Kaâniche, and . Blanquart, A framework for dependability engineering of critical computing systems, Safety Science, vol.40, issue.9, pp.731-752, 2002.

R. Laulheret, A. Et-cabarbaye, A. Cabarbaye, and R. Laulheret, Evaluation de la sûreté de fonctionnement des systèmes dynamiques par modélisation récursive. 6ème Congrès International pluridisciplinaire, qualité et sûreté de fonctionnement, 2005.

. Lei, Fault Tolerance Mechanism in Chip Many-Core Processors, Tsinghua Science and Technology, vol.49, issue.12 S1, pp.169-174, 2007.

S. Liu, H. Et-wang, H. Liu, and . Wang, An automated approach to specification animation for validation, Journal of Systems and Software, vol.80, issue.8, pp.1271-1285, 2007.
DOI : 10.1016/j.jss.2006.12.540

M. Malhotra, K. S. Et, . Trivedi-]-m, K. S. Malhotra, and . Trivedi, Power-hierarchy of dependability-model types, IEEE Transactions on Reliability, vol.43, issue.3, pp.493-502, 1994.
DOI : 10.1109/24.326452

. Mercier, Refined modeling of sensor reliability in the belief function framework using contextual discounting'. Information Fusion, 2006.

. Mihalache, Reliability estimation of embedded mechatronic systems, Mechatronics REM 2005, pp.208-213, 2005.

M. K. Molloy and . Molloy, On the integration of delay and throughput measures in distributed processing models'. Th, 1981.

. Monstand, Chris Kiranoudis and Nikolaos Markatos, 'A fuzzy modeling application of CREAM methodology for human reliability analysis'. Reliability Engineering & System Safety, pp.706-716, 2006.

. Nelli, Modelling and control of HIV dynamics, Computer Methods and Programs in Biomedicine, vol.89, issue.2, pp.162-168, 2008.

. Patton, Fault-tolerance as a key Requirement for the Control of Modern Systems'. Fault Detection, Supervision and Safety of Technical Processes, pp.13-22, 2006.

. Perez, Modélisation et simulation d'un système dynamique hybride pour calculer sa fiabilité dynamique en utilisant le toolbox Scicos de Scilab, pp.311-318, 2007.

S. S. Poledna and . Poledna, Tolerating sensor timing faults in highly responsive hard real-time systems, IEEE Transactions on Computers, vol.44, issue.2, pp.181-191, 1995.
DOI : 10.1109/12.364530

X. Qin, H. H. Et-jiang, and . Jiang, Estimation of software reliability with execution time model using the pattern mapping technique of artificial neural network', L'analyse statistique bayesienne, pp.187-199, 1992.

. Rony, A framework for the reliability evaluation of networked control systems, To appear in the 17th IFAC World Congress, 2008.

. Rumbaugh, Object Oriented Modeling and Design, 1991.

. Sadou, Object oriented approach for deriving feared scenarios in hybrid system, European Simulation and Modelling Conference, pp.24-26572, 2005.

A. E. Sahraoui and . Sahraoui, Processes for Engineering a System an Introduction to Processes, Methods and Tools, 2006 2nd International Conference on Information & Communication Technologies, pp.24-28, 2006.
DOI : 10.1109/ICTTA.2006.1684848

R. Schoenig and J. Et-aubry, Raphaël Schoenig, Jean-François Aubry, Thierry Cambois and Tony Hutinet, 'An aggregation method of Markov graphs for the reliability analysis of hybrid systems'. Reliability Engineering & System Safety, pp.137-148, 2006.

J. R. Seung, I. Et-kosuke, J. Seung, K. Rhee, and . Ishii, Using cost based FMEA to enhance reliability and serviceability, Advanced Engineering Informatics, vol.17, pp.179-188, 2003.

J. Sosnowski, Software-based self-testing of microprocessors, Journal of Systems Architecture, vol.52, issue.5, pp.257-271, 2006.
DOI : 10.1016/j.sysarc.2005.05.004

A. Steininger, Testing and built-in self-test ??? A survey, Journal of Systems Architecture, vol.46, issue.9, pp.721-747, 2000.
DOI : 10.1016/S1383-7621(99)00041-7

. Vallé, ]. Et-vernos, and V. F. Vallée, Comment utiliser la fiabilité du logiciel comme critère d'arrêt du test, 13e Colloque national de Fiabilité et Maintenabilité, 2002.

A. Villemeur, Sûreté de fonctionnement des systèmes industriels, 1997.

W. Wolf, Hardware and Software Co-design'. High-Performance Embedded Computing, pp.383-432, 2007.

. Weber, Bayesian Networks and Evidence Theory to Model Complex Systems Reliability, Journal of Computers, vol.2, pp.33-43, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00139491

Y. K. Wen and . Wen, Reliability and performance-based design, Structural Safety, vol.23, issue.4, pp.407-428, 2001.
DOI : 10.1016/S0167-4730(02)00011-5

. Whitesides, Micro-scale patterning of cells and their environment, Principles of Tissue Engineering, 2007.

N. Wirk, Wirk, Hardware/Software co-design then and now, Information Processing Letters, vol.88, pp.83-87, 2003.

Y. Wu, Correlated sampling techniques used in Monte Carlo simulation for risk assessment, International Journal of Pressure Vessels and Piping, vol.85, issue.9, 2007.
DOI : 10.1016/j.ijpvp.2007.11.004

S. Yalamanchili, Yalamanchili S. Introductory VHDL, 'from simulation to synthesis, 2001.

J. Zhan, G. Et, and . Xiong, Jinyu Zhan and Guangze Xiong, 'Optimal hardware/software cosynthesis for core-based SoC designs, Journal of Systems Engineering Electronics, vol.17, issue.2, pp.402-409, 2006.