/fault_trees/ASG*.basic_event to address all " ASG " basic events of folder ,
PATH indicates a folder as absolute path. The first character of an absolute path is required to be the ,
In this phase, checks (keyword " thread-safe " ) may be performed, complementary input data, choices or confirmations (e.g. confirmation before deleting an element) may be asked ,
the model is registered and Andromeda is " refreshed " so that the model becomes visible in Andromeda (post-processing phase) ,
The altarica 3.0 project for model-based safety assessment, Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, 2013. ,
An andromeda extension for network based safety assessment, American Nuclear Society Winter meeting on Risk Management for Complex Sociotechnical Systems, 2013. ,
Reinforcement of qualitative risk assessment -proposals from computer science, Proceedings of PSAM Topical Conference in Tokyo, 2013. ,
Automated generation of event trees from event sequence/functional block diagrams and optimisation issues, Proceedings of PSAM Topical Conference in Tokyo, 2013. ,
An integrated approach of model based safety engineering, The 3rd International Workshop on Model Based Safety Assessment, 2013. ,
Andromeda -a new open psa workbench, Open PSA Workshop 2012. EDF, 2012. ,
Documentation d'une etude probabiliste de sûreté, Institut pour la Ma??triseMa??trise des Risques, editor, 18ème Congrès de Ma??triseMa??trise des Risques et Sûreté de Fonctionnement, 2012. ,
Variant management in a modular psa, Proceedings of International Joint Conference PSAM'11, 2012. ,
Overview of the open psa platform, Proceedings of International Joint Conference PSAM'11, 2012. ,
Standard model representation format for probabilistic safety assessment, version 2.d The Open PSA Initiative, 2007. ,
Vers une EPS modulaire [Towards a modular PSA, Actes du congré lambda/mu, 2010. ,
Fault tree linking versus event tree linking approaches: A mathematical and algorithmic reconciliation, Proceedings of International Joint Conference PSAM'11, 2012. ,
Fault tree handbook, 1981. ,
Fault tree analysis, methods, and applications a review. Reliability, IEEE Transactions on, vol.34, issue.3, pp.194-203, 1985. ,
New algorithms for fault trees analysis, Reliability Engineering & System Safety, vol.40, issue.3, pp.203-211, 1993. ,
DOI : 10.1016/0951-8320(93)90060-C
A mathematical introduction to logic, 2001. ,
Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia, Reliability Engineering & System Safety, vol.58, issue.2, pp.127-144, 1997. ,
DOI : 10.1016/S0951-8320(97)00034-3
Probabilistic risk analysis: foundations and methods, 2001. ,
DOI : 10.1017/CBO9780511813597
Probabilistic risk assessment of engineering systems, 1997. ,
Probabilistic risk assessment procedures guide for nasa managers and practitioners, 2011. ,
Probabilistic safety analysis in chemical installations, Journal of Loss Prevention in the Process Industries, vol.5, issue.3, pp.181-191, 1992. ,
The meaning of probability in probabilistic safety analysis, Reliability Engineering & System Safety, vol.45, issue.3, pp.261-269, 1994. ,
Risk assessment: theory, methods, and applications, 2013. ,
DOI : 10.1002/9781118281116
Pra procedures guide: a guide to the performance of probabilistic risk assessments for nuclear power plants, NUREG/CR, p.2300, 1983. ,
An Open-PSA Fault Tree Engine. Open PSA Initiative, 2012. ,
Importance factors of coherent systems: A review, Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, vol.228, issue.3, 2013. ,
DOI : 10.1177/1748006X13512296
Anatomy of an efficient fault tree assessment engine, Proceedings of international joint conference PSAM, 2012. ,
Saphire 8 volume 2-technical reference, 2011. ,
Riskman TM , celebrating 20+ years of excellence, Proceedings of PSAM'10 conference, pp.7-11, 2010. ,
Probabilistic risk analysis and decision making with finpsa. Research highlights in safety & security, p.76 ,
IC modelling in FinPSA software, 2012. ,
The Evolution of Probabilistic Risk Assessment in the Nuclear Industry, Process Safety and Environmental Protection, vol.77, issue.3, pp.117-142, 1999. ,
DOI : 10.1205/095758299529947
A historical overview of probabilistic risk assessment development and its use in the nuclear power industry: a tribute to the late Professor Norman Carl Rasmussen, Reliability Engineering & System Safety, vol.89, issue.3, pp.271-285, 2005. ,
DOI : 10.1016/j.ress.2004.08.022
Probabilistic risk analysis for the NASA space shuttle: a brief history and current work, Reliability Engineering & System Safety, vol.74, issue.3, pp.345-352, 2001. ,
DOI : 10.1016/S0951-8320(01)00081-3
Fault tree for safety, 1968. ,
Mathematical foundations of minimal cutsets, IEEE Transactions on Reliability, vol.50, issue.4, pp.389-396, 2001. ,
DOI : 10.1109/24.983400
An Brief Introduction to Binary Decision Diagrams. RAIRO-APII-JESA, pp.1033-1051, 1996. ,
Risk Assessment Review Group Report to the U. S. Nuclear Regulatory Commission, IEEE Transactions on Nuclear Science, vol.26, issue.5, pp.4686-4690, 1979. ,
DOI : 10.1109/TNS.1979.4330198
A brief review of the accident at three mile island, IAEA Bulletin, vol.21, issue.5, pp.54-59, 1979. ,
Three mile island: A report to the commissioners and to the public, Nuclear Regulatory Commission, 1979. ,
Component-based software engineering: putting the pieces together, 2001. ,
Component-based software engineering ? new challenges in software development, Software Focus, vol.52, issue.4, pp.127-133, 2001. ,
DOI : 10.1002/swf.45
The altarica 3.0 project for model-based safety assessment, Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, 2013. ,
Knowledge modelling and reliability processing: Presentation of the figaro language and associated tools, IFAC/IFIP/EWIC- S/SRE Symposium, pp.69-75, 1991. ,
The Open PSA Initiative for next generation probabilistic safety assessment, Kerntechnik, vol.74, issue.3, pp.101-105, 2009. ,
DOI : 10.3139/124.110020
An introduction to hidden Markov models, IEEE ASSP Magazine, vol.3, issue.1, pp.4-16, 1986. ,
DOI : 10.1109/MASSP.1986.1165342
Dynamic fault-tree models for fault-tolerant computer systems. Reliability, IEEE Transactions on, vol.41, issue.3, pp.363-377, 1992. ,
A new formalism that combines advantages of fault-trees and markov models: Boolean logic driven markov processes. Reliability Engineering and System Safety page 149-163, pp.149-163 ,
Extensible markup language (xml) World Wide Web Consortium Recommendation REC-xml-19980210, 1998. ,
Validation project for the open-psa model exchange using riskspectrum R and cafta R, Proceedings of 10th International Probabilistic Safety Assessment and Management Conference, pp.25-29, 2010. ,
Variant management in a modular psa, Proceedings of International Joint Conference PSAM'11, 2012. ,
Variant management, 3rd British Computer Society Configuration Management Specialist Group Conference, 2007. ,
Variability management with feature models, Science of Computer Programming, vol.53, issue.3 ,
DOI : 10.1016/j.scico.2003.04.005
An Overview of Feature-Oriented Software Development., The Journal of Object Technology, vol.8, issue.5, 2009. ,
DOI : 10.5381/jot.2009.8.5.c5
Mapping Features to Models: A Template Approach Based on Superimposed Variants ,
DOI : 10.1007/11561347_28
Version Control with Git: Powerful tools and techniques for collaborative software development, p.2012 ,
Pro git, 2009. ,
DOI : 10.1007/978-1-4302-1834-0
Concurrent versions system Software Studies: A Lexicon, p.64, 2008. ,
Version control with subversion, 2004. ,
Reinforcement of qualitative risk assessment -proposals from computer science, Proceedings of PSAM Topical Conference in Tokyo, 2013. ,
Documentation d'une etude probabiliste de sûreté, Institut pour la Ma??triseMa??trise des Risques, editor, 18ème Congrès de Ma??triseMa??trise des Risques et Sûreté de Fonctionnement, 2012. ,
Uniform resource locators (url), 1994. ,
DOI : 10.17487/rfc1738
Hypertext markup language-2.0, 1995. ,
DOI : 10.17487/rfc1866
Benefits expected from automatic studies with kb3 in psas at edf, Proceedings of PSA99, 1999. ,
An andromeda extension for network based safety assessment, American Nuclear Society Winter meeting on Risk Management for Complex Socio-technical Systems, 2013. ,
Digraphs: Le retour the come-back of digraphs ,
Functional Block Diagrams and Automated construction of Event Trees, Reliability Engineering & System Safety, vol.61, issue.3, pp.185-214, 1998. ,
Bioconductor: open software development for computational biology and bioinformatics, Genome biology, vol.5, issue.10, p.80, 2004. ,
The unified software development process, 1999. ,
Requirements engineering: fundamentals, principles, and techniques, 2010. ,
DOI : 10.1007/978-3-642-12578-2
The dimensions of maintenance, Intl. Conf. on Software Engineering, pp.492-497, 1976. ,
The Event Sequence Diagram framework for dynamic Probabilistic Risk Assessment, Reliability Engineering & System Safety, vol.63, issue.1, pp.73-90, 1999. ,
DOI : 10.1016/S0951-8320(98)00027-1
The mathematical formulation for the event sequence diagram framework, Reliability Engineering & System Safety, vol.65, issue.2, pp.103-118, 1999. ,
DOI : 10.1016/S0951-8320(98)00092-1
Automated generation of event trees from event sequence/functional block diagrams and optimisation issues, Proceedings of PSAM Topical Conference in Tokyo, 2013. ,
Dijkstra's algorithm Implementing Discrete Mathematics: Combinatorics and Graph Theory with Mathematica, pp.225-227, 1990. ,
Jython essentials, 2002. ,
Thierry Yalamas, et al. Openturns, an open source initiative to treat uncertainties, risks' n statistics in a structured industrial approach, 41èmes Journées de Statistique, 2009. ,
Andromeda -a new open psa workbench, Open PSA Workshop 2012. EDF, 2012. ,
Overview of the open psa platform, Proceedings of International Joint Conference PSAM'11, 2012. ,
KB3: computer program for automatic generation of fault trees, Annual Reliability and Maintainability. Symposium. 1999 Proceedings (Cat. No.99CH36283), pp.389-395, 1999. ,
DOI : 10.1109/RAMS.1999.744149
Eclipse rich client platform, 2010. ,
Eclipse rcp ,
Java how to program, 2009. ,
Core Java 2: Volume I, Fundamentals. Pearson Education, 2002. ,
EMF: eclipse modeling framework . Pearson Education, 2008. ,
OSGi in action: Creating modular applications in Java, 2011. ,
Osgi service platform, release 3, 2003. ,
Generic programming, 2013. ,
An integrated approach of model based safety engineering, The 3rd International Workshop on Model Based Safety Assessment, 2013. ,