[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Donat et al., 2015 - Google Patents

Common cause failures in discrete dynamic models: Theory and applications in the Figaro modelling language

Donat et al., 2015

View PDF
Document ID
3108161591903897440
Author
Donat R
Bouissou M
Publication year
Publication venue
In proceedings of the 25th European Safety and Reliability Conference (ESREL)

External Links

Snippet

This paper addresses the integration of common cause failures (CCFs or CCF events) in Probabilistic Risk Assessment (PRA) for dynamic finite-state systems. CCF events are simultaneous failures of multiple identical components due to a common cause. While CCF …
Continue reading at www.researchgate.net (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G06F17/5018—Computer-aided design using simulation using finite difference methods or finite element methods
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3457—Performance evaluation by simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B17/00—Systems involving the use of models or simulators of said systems
    • G05B17/02—Systems involving the use of models or simulators of said systems electric
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • G06Q10/063—Operations research or analysis
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G06F2217/78—Power analysis and optimization
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/10—Complex mathematical operations
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G06F2217/70—Fault tolerant, i.e. transient fault suppression
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements

Similar Documents

Publication Publication Date Title
Prosvirnova et al. The altarica 3.0 project for model-based safety assessment
Batteux et al. The AltaRica 3.0 project for model-based safety assessment
Hoxha et al. Towards formal specification visualization for testing and monitoring of cyber-physical systems
Metodi et al. Compiling model-based diagnosis to Boolean satisfaction
Garrett et al. Automated hazard analysis of digital control systems
Provost et al. A formal semantics for Grafcet specifications
Contini et al. On the use of non-coherent fault trees in safety and security studies
Lednicki et al. Model level worst-case execution time analysis for IEC 61499
Rogovchenko-Buffoni et al. An integrated toolchain for model based functional safety analysis
Tseng et al. Systematic scenario test case generation for nuclear safety systems
Lipaczewski et al. Comparison of modeling formalisms for safety analyses: SAML and AltaRica
Donat et al. Common cause failures in discrete dynamic models: Theory and applications in the Figaro modelling language
Weber Design theory and methodology-contributions to the computer support of product development/design processes
Fonseca i Casas et al. Definition of virtual reality simulation models using specification and description language diagrams
Batteux et al. Stochastic simulation of AltaRica 3.0 models
Aupetit et al. Improving performances of the AltaRica 3.0 stochastic simulator
Oveisi et al. Analysis of software safety and reliability methods in cyber physical systems
Benoit et al. Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis
Aubry et al. The APPRODYN project: dynamic reliability approaches to modeling critical systems
Prosvirnova et al. AltaRica 3.0 project: Compile guarded transition systems into fault trees
Zhang et al. Key fault propagation path identification of CNC machine tools based on maximum occurrence probability
Al-suod et al. Software Quality Assessment Technique for the Autonomous Power Plants Automated Control Systems
Savchuk et al. Modeling of software development process with the markov processes
Dhaussy et al. Context aware model exploration with obp tool to improve model-checking
Mandziy et al. Programming visualization system of block diagram reliability for program complex ASNA-4