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

Addouche et al., 2004 - Google Patents

UML models for dependability analysis of real-time systems

Addouche et al., 2004

View PDF
Document ID
16483158796204443821
Author
Addouche N
Antoine C
Montmain J
Publication year
Publication venue
2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No. 04CH37583)

External Links

Snippet

In this paper, we present the UML profile called DAMRTS (dependability analysis models for real-time systems) representing an extension to the reference metamodels of the OMG profile for" schedulability performance and time"(SPT). The aim is to provide concepts that …
Continue reading at hal.science (PDF) (other versions)

Classifications

    • 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/362—Software debugging
    • G06F11/3636—Software debugging by tracing the execution of the program
    • 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/3466—Performance evaluation by tracing or monitoring
    • 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
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Error detection; Error correction; Monitoring responding to the occurence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0706—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Error detection; Error correction; Monitoring responding to the occurence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0766—Error or fault reporting or storing
    • G06F11/0775—Content or structure details of the error report, e.g. specific table structure, specific error fields
    • 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/3668—Software testing
    • 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/44—Arrangements for executing specific programmes
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • 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
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • 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

Similar Documents

Publication Publication Date Title
US11599407B2 (en) Method for deterministically reporting cause and effect in software systems
US11386154B2 (en) Method for generating a graph model for monitoring machinery health
US7124060B1 (en) Method for isolating a fault from error messages
Rugina et al. The ADAPT tool: From AADL architectural models to stochastic petri nets through model transformation
CN110427275B (en) Microservice Potential Error and Fault Root Prediction Method Based on Trajectory Log Learning
EP1960869A1 (en) Method and system for assisting a software developer in creating source code for a computer program
Addouche et al. UML models for dependability analysis of real-time systems
CN105164642A (en) Operating system support for contracts
Musavi et al. Experience report: An empirical study of API failures in OpenStack cloud environments
Dhanalaxmi et al. A review on software fault detection and prevention mechanism in software development activities
CN115543781A (en) Method and interactive system for automatically verifying automobile software model
Tundis et al. Model‐Based Dependability Analysis of Physical Systems with Modelica
KR20110067418A (en) System and method for monitoring and evaluating healing performance of self-healing system
Rodrίguez et al. Wrapping real-time systems from temporal logic specifications
Pap et al. Completeness and consistency analysis of UML statechart specifications
CN118466382A (en) PLC controller capable of completing programming simulation
Püschel et al. Testing self-adaptive software: requirement analysis and solution scheme
Ehlers Self-adaptive performance monitoring for component-based software systems
Glatz et al. Complementing testing of IEC61499 function blocks with model-checking
Sharma et al. 11 Study and Estimation of
You Multi-channel data flow software fault detection for social internet of things with system assurance concerns
Sharma et al. Study and Estimation of Existing Software Quality Models to Predict the Reliability of Component-Based Software
Durán¹ et al. Check for updates
Maheswari et al. Machine Learning Based User Interface Testing to Predict Defects Leading to Logical Errors
Bahnan Dynamic Test Scope Selection in Continuous Integration Loop