[go: up one dir, main page]

Draeger, 2015 - Google Patents

Roadmap to a unified treatment of safety and security

Draeger, 2015

View PDF
Document ID
14133271954418326365
Author
Draeger J
Publication year
Publication venue
10th IET System Safety and Cyber-Security Conference 2015

External Links

Snippet

The close connection between safety and security has led to a growing interest in a combined handling of these two areas of research. The paper presents a roadmap for realizing such a combined handling. The conditions enabling a combined safety and …
Continue reading at www.researchgate.net (PDF) (other versions)

Classifications

    • 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
    • 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
    • G06F11/3612—Software analysis for verifying properties of programs by runtime analysis
    • 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
    • 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
    • G06N5/025—Extracting rules from data
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/04—Inference methods or devices
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G06N99/005—Learning machines, i.e. computer in which a programme is changed according to experience gained by the machine itself during a complete run
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • 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
    • G05B23/00—Testing or monitoring of control systems or parts thereof
    • G05B23/02—Electric testing or monitoring
    • G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
    • G05B23/0218—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N7/00—Computer systems based on specific mathematical models
    • G06N7/005—Probabilistic networks

Similar Documents

Publication Publication Date Title
Filieri et al. Run-time efficient probabilistic model checking
O'neill et al. Information-flow security for interactive programs
De Landtsheer et al. Deriving tabular event-based specifications from goal-oriented requirements models
Češka et al. Counterexample-driven synthesis for probabilistic program sketches
Matsuno et al. Parameterised argument structure for GSN patterns
US20040039718A1 (en) Loop detection in rule-based expert systems
Draeger Roadmap to a unified treatment of safety and security
Cheng et al. Risk propagation model and simulation of schedule change in construction projects: A complex network approach
Ge et al. Quantification of highly coupled dynamic fault tree using IRVPM and SBDD
Gouyon et al. Architecture assessment for safety critical plant operation using reachability analysis of timed automata
Arana-Catania et al. Explainable Reinforcement and Causal Learning for Improving Trust to 6G Stakeholders
Chatzikonstantinou et al. Efficient parallel reasoning on fuzzy goal models for run time requirements verification
Češka et al. Model Repair Revamped: —On the Automated Synthesis of Markov Chains—
Zhu et al. A new node-based concept for solving the minimal path problem in general networks
Xiong et al. Self-organizing agent network for llm-based workflow automation
Suprunenko et al. On specifics of adaptive logging method implementation
US20030182354A1 (en) System and method for an open autonomy kernel (oak)
Volkov et al. Fuzzy Sets in the Problems of Assessing the Quality of Mobile Applications
Geibinger Explainable answer-set programming
Carvalho et al. A functional fmeca approach for the assessment of critical infrastructure resilience
Kratchanov et al. Control network programs and their execution
Balduccini et al. Decision support for smart grid: Using reasoning to contextualize complex decision making
Cheng et al. Estella; a facility for specifying behavioral constraint assertions in real-time rule-based systems
Sinz et al. Detection of dynamic execution errors in IBM system automation's rule-based expert system
König et al. Probabilistic availability analysis of control and automation systems for active distribution networks