, « forçage à 60% »).en attendant que la seconde TPA soit réparée, puis on remonte en charge. Le temps d'attente de la seconde TPA est trop court
, AAR causé par le système élémentaire TPA lorsque la puissance est entre 0% et 60% Pn (un seul AAR à cause de TPA est possible dans ce cas) Nous nous appuyons sur la figure 5.13 pour illustration
, le TPA1 démarre, la montée en puissance est effectuée, lorsque la puissance atteint 60% la TPA2 est démarrée, si elle ne démarre pas la puissance reste à 60% assurée par la TPA1 jusqu'à ce que la TPA2 ne soit pas réparée
, Si la TPA1 tombe en panne pendant la montée en puissance jusqu'à 60%, le système est forcé à 2%, cela ne provoque pas d'AAR. Une fois la puissance à 60%, la TPA2 est démarrée avec la probabilité d'échec de démarrage de 9,3.10 -4 (soit la partie hors turbine ne démarre pas, soit la partie hors turbine démarre et la partie turbine ne démarre pas)
, telle que la valeur mesurée du niveau d'eau Ngem soit toujours égale à Nge. Pour chaque intervalle de temps [t,t + ?t), toutes les variables sont mises à jour à l'aide de réseaux de Petri dédiés. Cette mise à jour se fait suivant un ordre spécifique respectant la dynamique de fonctionnement du système
, « Towards efficient full automatic operation of the PWR steam generator with water level adaptive control, Proceedings of the International Conference on Boiler Dynamics and Control in Nuclear Power Stations, pp.309-329, 1980.
, « Drum Boiler dynamics Recent progress in SG level control in French PWR plants, Proceedings of the International Conference on Boiler Dynamics and Control in Nuclear Power Stations [FAL 99] BENDOTTI P., FALINOWER C.M., EDF Benchmark for robust control techniques evaluations of proposed solutions 14th world congress IFAC, pp.363-378, 1999.
, Level control in the steam generator of a nuclear power plant. Decision and control, Proceedings of the 35th IEEE Level Control in the Steam Generator of a Nuclear Power Plant, M.V. Kothare et al. 35th IEEE transactions in Decision and Control, pp.4851-4856, 1996.
, Control of jump linear systems : Application to the steam generator water level, Proceedings of the 38" Conference on Decision & Control Phoenix, 1999.
, Mitter A unified framework for hybrid control: model and optimal control theory, IEEE transactions on automatic control, vol.43, issue.1, pp.31-45, 1998.
, Reliability analysis for new technology-based transmitters, Reliability Engineering and System Safety february 2011, pp.299-313
DOI : 10.1016/j.ress.2010.09.010
URL : https://hal.archives-ouvertes.fr/hal-00553009
, Moving horizon sate estimation of hybrid systems. Application to faut detection of sensors of a steam generator, 2003.
, Multiobjective optimization by genetic algorithms: application to safety systems, Reliability Engineering and System Safety, vol.72, pp.59-74, 2001.
, Benchmark development for comparing digital instrumentation and control system reliability modeling approaches, 2005.
, A benchmark system for the reliability modeling of digital instrumentation and control systems , International Probabilistic Safety Assessment and management Conference PSAM 9, Hong Kong [NUR 07a] NUREG/CR-6942, Dynamic Reliability Modeling of Digital Instrumentation and Control Systems for Nuclear Reactor Probabilistic Risk Assessments, NUR 06] NUREG/CR-6901, Current State of Reliability Modeling Methodologies for Digital Systems and Their Acceptance Criteria for Nuclear Power Plant Assessments, US Nuclear Regulatory Commission, 2006.
, « Towards efficient full automatic operation of the PWR steam generator with water level adaptive control, Proceedings of the International Conference on Boiler Dynamics and Control in Nuclear Power Stations, pp.309-329, 1980.
, Against Digital Common-Cause Failure- Combining Defensive Measures and Diversity Attributes, Modélisation des interactions type II [EPRI 10 Sixth American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, 2009.
, Experimentation of sensitivity study based on Beta Factors to assess the impact of I&C in PSA, 2010.
, Assessment of common cause failures and defensive measures for the representation of I&C in probabilistic models, 2011.
DOI : 10.1201/b11433-181
, Qualitative analysis of a BDMP by Finite Automaton Towards a unified definition of Minimal Cut Sequences for dynamic repairable systems, SAFECOMP, vol.2012
, Utilization of the Cell-To-Cell Mapping Technique to Construct MarkovFailure Models for Process Control Systems, Cell to Cell Mapping Technique (CCMT) [ALD 91] Probabilistic Safety Assessment and Management: PSAM1, pp.1431-1436, 1991.
, The dynamic flowgraph methodology for assessing the dependability of embedded software systems, IEEE Transactions on Systems, Man, and Cybernetics, vol.25, issue.5, pp.824-840, 1995.
DOI : 10.1109/21.376495
, Demonstration of the Dynamic Flowgraph Methodology using the Titan II Space Launch Vehicle Digital Flight Control System, Reliability Engineering & System Safety, vol.49, issue.3, pp.335-353, 1995.
DOI : 10.1016/0951-8320(95)00050-C
, Comparaison de deux méthodes dynamiques d'évaluation de la sureté de fonctionnement :BDMP et DFM, Congrès Lambda Mu, 2010.
, « Petri nets for modeling of dynamic systems, A survey Automatica, vol.30, issue.2, pp.175-202, 1994.
, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143
, « Multi-component systems modeling for quantifying complex maintenance strategies, Proc. Of European Safety & Reliability Conference '08, pp.3586-3591, 2008.
, « Reliability assessment for complex systems operating in dynamic environment, Modélisation par Automates Stochastiques Hybrides Annual Conference of the European Safety and Reliability Association, 2011.
, Coloured Petri Nets: modeling and validation of concurrent systems, 2009.
, Évaluation par simulation de la sûreté de fonctionnement de systèmes en contexte dynamique hybride, Thèse de doctorat de l'Institut National Polytechnique de Lorraine, 2009.
, Performance assessment of systems including conflict in the context of dynamic reliability, International Journal of Adaptive and Innovative Systems, vol.1, issue.3/4, pp.3-4, 2010.
DOI : 10.1504/IJAIS.2010.034802
, Stochastic hybrid automata model for dynamic reliability assessment, Proceedings of the Institution of Mechanical Engineers, pp.28-41, 2011.
DOI : 10.1177/1748006XJRR312
, « Efficient generation and representation of failure lists out of an information flow model for modelling safety critical systems, Annual Conference of the European Safety and Reliability Association, 2008.
, Stochastic hybrid automata model for dynamic reliability assessment, Proceedings of the Institution of Mechanical Engineers Part O Journal of Risk and ReliabilityDynamic Reliability andAssessment) », International Workshop on Dynamic Aspects in Dependability Models for Fault- Tolerant Systems, DYADEM-FTS 2010 in conjunction with European Dependable Computing Conference EDCC 2010, pp.28-41, 2010.
DOI : 10.1177/1748006XJRR312
, Markov models and optimization, Modélisation par Processus Markoviens Déterministes par Morceaux Dynamic Reliability : a new model », -13 et ESREL02, pp.350-353, 1993.
, Numerical method for optimal stopping of hybrid processes, 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009.
, Numerical method for optimal stopping of piecewise deterministic Markov processes, The Annals of Applied Probability, vol.20, issue.5, pp.1607-1637, 2010.
DOI : 10.1214/09-AAP667
URL : https://hal.archives-ouvertes.fr/hal-00367964
, Approximation of the value function of an impulse control problem of Piecewise deterministic Markov process, IFAC 18th world congress, 2011.
, Predictive maintenance for the heated hold-up tank Numerical method for expectations of piecewisedetermistic Markov processes Numerical method for impulse control of Piecewise Deterministic Markov Processes Numerical methods for the exit time of a piecewise-deterministic Markov process Optimal stopping for the predictive maintenance of a structure subject to corrosion, 8th International Conference on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies Dynamic Bayesian Networks for Assessing Reliability of Hybrid Systems Proceedings of the 7th International Conference on Mathematical Methods in Reliability : Theory, Methods, pp.2012-2012, 2011.
, Parameter and Model Uncertainty Analysis using Dempster-Shafer Theory in Nuclear Probabilistic Risk Assessment, Proceedings of the International Topical Meeting on Probabilistic Safety Assessment and Analysis -PSA 2011 - ?µ ?µ, 2011.
, Dynamic Reliability Modeling of Cooperating Digital-Based Systems, in Reliability, Risk and Safety -Back to the future -Proc. of the European Safety and Reliability Conference -ESREL, pp.2010-978, 2010.
, On the independence of defense lines of a new nuclear power plant, in Risk, reliability and Societal Safety -Proc. of European Safety and Reliability Conference -ESREL, 2007.
, A min cut-set-wise truncation procedure for importance measures computation in probabilistic safety assessment, Reliability Engineering and System Safety, pp.1827-1837, 2009.
DOI : 10.1016/j.ress.2009.05.015
, Dependability assessment of networkbased safetyrelated system, Journal of Loss Prevention in the Process Industries, pp.622-631, 2011.
, Modelling multi-component systems to quantify RCM maintenance strategies, Journal of Risk and Reliability -Proceedings of the Institution of Mechanical Engineers, pp.2011-141
DOI : 10.1177/1748006x11402269
, Variable delays and message losses: Influence on the reliability of a control loop, Reliability Engineering & System Safety, vol.96, issue.1, pp.160-171, 2011.
DOI : 10.1016/j.ress.2010.08.003
URL : https://hal.archives-ouvertes.fr/hal-00534346
, Reliability, maintenance, and safety, pp.535-547, 2009.
, A Fuzzy Probabilistic Approach for Determining Safety Integrity Level, IEEE Transactions on Fuzzy Systems, vol.16, issue.1, pp.239-248, 2008.
DOI : 10.1109/TFUZZ.2007.903328
URL : https://hal.archives-ouvertes.fr/hal-00167486
, Supervisory synthesis for product-driven automation and its application to a flexible assembly cell, Control Engineering Practice, vol.15, issue.5, pp.595-614, 2007.
DOI : 10.1016/j.conengprac.2006.10.013
, An aggregation method of Markov graphs for the reliability analysis of hybrid systems, Reliability Engineering & System Safety, vol.91, issue.2, pp.137-148, 2006.
DOI : 10.1016/j.ress.2005.03.007
URL : https://hal.archives-ouvertes.fr/hal-00125728
, Formal Specification Method for Systems Automation, European Journal of Control, vol.12, issue.2, pp.115-130, 2006.
DOI : 10.3166/ejc.12.115-130
, Reliability assessment for complex systems operating in dynamic environment, Annual Conference of the European Safety and Reliability Association, 2011.
DOI : 10.1201/b11433-48
URL : https://hal.archives-ouvertes.fr/hal-00626198
, Designing operational control architectures of critical systems by reachability analysis, 2011 IEEE International Conference on Automation Science and Engineering, 2011.
DOI : 10.1109/CASE.2011.6042413
URL : https://hal.archives-ouvertes.fr/hal-00612273
, Dynamic adaptation of IEEE 802.11e priorities for improving temporal performance and safety of a Wireless Networked Discrete Control system, 2011 3rd International Workshop on Dependable Control of Discrete Systems, 2011.
DOI : 10.1109/DCDS.2011.5970333
URL : https://hal.archives-ouvertes.fr/hal-00605494
, Combining SysML and formal methods for safety requirements verification, 22nd International Conference on Software & Systems Engineering and their Applications, 2010.
, Evaluation of important reliability parameters using VHDL-RTL modelling and information flow approach, European Safety and Reliability Conference ESREL, pp.2549-2557, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00340667
, Non RdPS Cf 1.5. Non Pert
, OK OK Non Go Flow OK ? OK ? Non ? ? ? OK OK OK Approches Bayésiennes d'estimation de la fiabilité OK ? ? ? Non Non ? ? ? ? OK Approches par Tests ? ? OK Non OK ? OK OK ? Non OK Approches basées sur les métriques logicielles Non ? Non Non ? ?