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. ,
An introduction to generalized stochastic Petri nets, Microelectronics and Reliability, vol.31, issue.4, pp.699-725, 1991. ,
Modelling with generalized stochastic Petri nets. Wiley series in parallel computing, 1995. ,
Integrating hardware and software for the development of microcontroller-based systems' Microprocessors and Microsystems, pp.317-328, 2001. ,
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 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
Anderson, Design of self-checking digital networks using coding techniques, Report R, vol.527, 1971. ,
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
The AltaRica formalism for describing concurrent systems, Fundamenta Informaticae, vol.40, pp.109-124, 2000. ,
A modelling tool for hierarchical stochastic activity networks'. Simulation Modelling Practice and Theory, pp.505-524, 2005. ,
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
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. ,
Experiences in transferring a software process improvement methodology to production laboratories', Journal of Systems and Software, vol.26, issue.1, pp.61-68, 1994. ,
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
A fault-tolerant approach to test control utilizing dual-redundant processors'. Advances in Engineering Software, pp.371-383, 2008. ,
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
Probabilistic reactor dynamics ? I: The theory of continuous event trees. Nuclear science and engineering, pp.229-240, 1992. ,
« 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. ,
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
Scheduling jobs on parallel machines with setup times and ready times, Computers & Industrial Engineering, 2007. ,
Hybrid reliability modeling of fault-tolerant computer systems, Computers & Electrical Engineering, vol.11, pp.2-3, 1984. ,
Schemmer and M. Gergeleit Robust scheduling in team-robotics Journal of Systems and Software, pp.3-16, 2005. ,
Armin Zimmermann and Günter HommelTimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets'. Performance Evaluation, pp.1-2, 1995. ,
Embedded system design: a unified hardware/software introduction, 2002. ,
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. ,
Coupling of information flowregation method and dynamical model for a more accurate evaluation of reliability, 2005. ,
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. ,
Apostolakis, The dynamic flowgraph methodology as a safety analysis tool: programmable electronic system design and verification, Safety Science, pp.40-813, 2002. ,
Stack processor architecture and development methods suitable for dependable applications, Proc. 3rd International Workshop on Reconfigurable Communication Centric System-On-Chips (ReCoSoC'07), 2007. ,
Reliability estimation and prediction of multi-state components and coherent systems, Reliability Engineering and System Safety, vol.88, pp.93-98, 2005. ,
Architecture for synchronous groupware application development'. Advances in Human Factors, Ergonomics, vol.20, pp.371-376, 1995. ,
Nicolae Fota, Mohamed Kaâniche and Karama Kanoun, 'Dependability evaluation of an air traffic control computing system'. Performance Evaluation, pp.3-4, 1996. ,
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
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. ,
Kropf T. Introduction to formal hardware validation, 1999. ,
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
Sûreté de fonctionnement informatique : concepts, défis, directions', ACI Sécurité et Informatique -Toulouse, pp.15-17, 2004. ,
A framework for dependability engineering of critical computing systems, Safety Science, vol.40, issue.9, pp.731-752, 2002. ,
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. ,
Fault Tolerance Mechanism in Chip Many-Core Processors, Tsinghua Science and Technology, vol.49, issue.12 S1, pp.169-174, 2007. ,
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
Power-hierarchy of dependability-model types, IEEE Transactions on Reliability, vol.43, issue.3, pp.493-502, 1994. ,
DOI : 10.1109/24.326452
Refined modeling of sensor reliability in the belief function framework using contextual discounting'. Information Fusion, 2006. ,
Reliability estimation of embedded mechatronic systems, Mechatronics REM 2005, pp.208-213, 2005. ,
On the integration of delay and throughput measures in distributed processing models'. Th, 1981. ,
Chris Kiranoudis and Nikolaos Markatos, 'A fuzzy modeling application of CREAM methodology for human reliability analysis'. Reliability Engineering & System Safety, pp.706-716, 2006. ,
Modelling and control of HIV dynamics, Computer Methods and Programs in Biomedicine, vol.89, issue.2, pp.162-168, 2008. ,
Fault-tolerance as a key Requirement for the Control of Modern Systems'. Fault Detection, Supervision and Safety of Technical Processes, pp.13-22, 2006. ,
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. ,
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
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. ,
A framework for the reliability evaluation of networked control systems, To appear in the 17th IFAC World Congress, 2008. ,
Object Oriented Modeling and Design, 1991. ,
Object oriented approach for deriving feared scenarios in hybrid system, European Simulation and Modelling Conference, pp.24-26572, 2005. ,
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
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. ,
Using cost based FMEA to enhance reliability and serviceability, Advanced Engineering Informatics, vol.17, pp.179-188, 2003. ,
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
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
Comment utiliser la fiabilité du logiciel comme critère d'arrêt du test, 13e Colloque national de Fiabilité et Maintenabilité, 2002. ,
Sûreté de fonctionnement des systèmes industriels, 1997. ,
Hardware and Software Co-design'. High-Performance Embedded Computing, pp.383-432, 2007. ,
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
Reliability and performance-based design, Structural Safety, vol.23, issue.4, pp.407-428, 2001. ,
DOI : 10.1016/S0167-4730(02)00011-5
Micro-scale patterning of cells and their environment, Principles of Tissue Engineering, 2007. ,
Wirk, Hardware/Software co-design then and now, Information Processing Letters, vol.88, pp.83-87, 2003. ,
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
Yalamanchili S. Introductory VHDL, 'from simulation to synthesis, 2001. ,
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. ,