Yang et al., 2018 - Google Patents

Efficient validation of self-adaptive applications by counterexample probability maximization

Yang et al., 2018

View PDF
Document ID
16717043855659733452
Author
Yang W
Xu C
Pan M
Cao C
Ma X
Lu J
Publication year
Publication venue
Journal of Systems and Software

External Links

Snippet

Self-adaptive applications' executions can be affected by uncertainty factors like unreliable sensing and flawed adaptation and therefore often error-prone. Existing methods can verify the applications suffering uncertainty and report counterexamples. However, such …
Continue reading at cs.nju.edu.cn (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
    • 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
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computer systems based on biological models
    • G06N3/12—Computer systems based on biological models using genetic models
    • G06N3/126—Genetic algorithms, i.e. information processing using digital simulations of the genetic system
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computer systems based on biological models
    • G06N3/02—Computer systems based on biological models using neural network models
    • 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
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F3/00—Input arrangements for transferring data to be processed into a form capable of being handled by the computer; Output arrangements for transferring data from processing unit to output unit, e.g. interface arrangements
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F19/00—Digital computing or data processing equipment or methods, specially adapted for specific applications
    • G06F19/70—Chemoinformatics, i.e. data processing methods or systems for the retrieval, analysis, visualisation, or storage of physicochemical or structural data of chemical compounds
    • G06F19/708—Chemoinformatics, i.e. data processing methods or systems for the retrieval, analysis, visualisation, or storage of physicochemical or structural data of chemical compounds for data visualisation, e.g. molecular structure representations, graphics generation, display of maps or networks or other visual representations
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • 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
Bornholt et al. Uncertain< T> a first-order type for uncertain data
Kelly et al. Bayesian inference for probabilistic risk assessment: A practitioner's guidebook
Campos et al. General-to-specific modeling: an overview and selected bibliography
Bartholomew et al. On considering robustness in the search phase of robust decision making: A comparison of many-objective robust decision making, multi-scenario many-objective robust decision making, and many objective robust optimization
Hu et al. A Bayesian network approach for predicting seismic liquefaction based on interpretive structural modeling
Barbour et al. Numerical modelling–prediction or process
Torrens Calibrating and validating cellular automata models of urbanization
Evans Uncertainty and error
Brázdil et al. Counterexample explanation by learning small strategies in Markov decision processes
Dobson et al. How important are model structural and contextual uncertainties when estimating the optimized performance of water resource systems?
Tian et al. Flooding and overflow mitigation using deep reinforcement learning based on Koopman operator of urban drainage systems
Majumdar et al. Structural damage detection based on modal parameters using continuous ant colony optimization
Eliades et al. Water contamination impact evaluation and source-area isolation using decision trees
US20230106956A1 (en) System for building-specific multi-peril risk assessment and mitigation
Yang et al. Efficient validation of self-adaptive applications by counterexample probability maximization
Zeng et al. Bayesian model updating for structural dynamic applications combing differential evolution adaptive metropolis and kriging model
Pruyt et al. A bright future for system dynamics: From art to computational science and beyond
CN109588054A (en) Accurate and detailed modeling using distributed simulation engine to the system with large complicated data set
Sadri‐Moshkenani et al. Survey on test case generation, selection and prioritization for cyber‐physical systems
Qiu et al. Chemfuzz: Large language models-assisted fuzzing for quantum chemistry software bug detection
Ascia et al. Performance evaluation of efficient multi-objective evolutionary algorithms for design space exploration of embedded computer systems
Aslanyan et al. Model checking exact cost for attack scenarios
Zhang et al. Fuzzy stochastic Petri nets and analysis of the reliability of multi‐state systems
Cheung et al. Identifying and addressing uncertainty in architecture-level software reliability modeling
Zhang et al. Improved global sensitivity analysis for critical factor analysis with intercorrelated inputs: Power plant cost example