Nothing Special   »   [go: up one dir, main page]

Weissnegger et al., 2015 - Google Patents

A novel method to speed-up the evaluation of cyber-physical systems (ISO 26262)

Weissnegger et al., 2015

View PDF
Document ID
17709891775598121842
Author
Weissnegger R
Pistauer M
Kreiner C
Römer K
Steger C
Publication year
Publication venue
2015 12th International Workshop on Intelligent Solutions in Embedded Systems (WISES)

External Links

Snippet

The development of electric/electronic systems of today's vehicles is becoming more and more complex. New challenges are arising through highly distributed systems, so-called cyber-physical systems, which interact with and have an impact on the physical world …
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/504—Formal methods
    • 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/5068—Physical circuit design, e.g. layout for integrated circuits or printed circuit boards
    • G06F17/5081—Layout analysis, e.g. layout verification, design rule check
    • 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
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • 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
    • G06F8/00—Arrangements for software engineering
    • 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
    • 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
    • G06Q30/00—Commerce, e.g. shopping or e-commerce
    • G06Q30/01—Customer relationship, e.g. warranty
    • G06Q30/012—Product or service warranty
    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere

Similar Documents

Publication Publication Date Title
Weissnegger et al. Simulation-based verification of automotive safety-critical systems based on EAST-ADL
Rupanov et al. Early safety evaluation of design decisions in e/e architecture according to iso 26262
Weissnegger et al. A novel method to speed-up the evaluation of cyber-physical systems (ISO 26262)
CN117234926A (en) AUTOSAR architecture-based software component interface checking method and device
Reiter et al. Reliability assessment of safety-relevant automotive systems in a model-based design flow
Ubayashi et al. Context-dependent product line practice for constructing reliable embedded systems
JP5680514B2 (en) Computer having self-diagnosis function, software creation method, and software creation device
Weissnegger et al. A novel design method for automotive safety-critical systems based on UML/MARTE
Mohamed et al. Enhancing test cases prioritization for internet of things based systems using Search-based technique
Domis et al. Integrating variability and safety analysis models using commercial UML-based tools
Langheim et al. System architecture, tools and modelling for safety critical automotive applications–the R&D project SASHA
Adler et al. Performing safety evaluation on detailed hardware level according to ISO 26262
Nuzzo et al. Let’s get physical: Computer science meets systems
Rupanov et al. Employing early model-based safety evaluation to iteratively derive E/E architecture design
Cordeiro et al. Smt-based context-bounded model checking for embedded systems: Challenges and future trends
Mader et al. A bridge from system to software development for safety-critical automotive embedded systems
Krammer et al. Model-based configuration of automotive co-simulation scenarios
Mhenni et al. Towards the integration of safety analysis in a model-based system engineering approach with SysML
Basagiannis Software certification of airborne cyber-physical systems under DO-178C
Weissnegger et al. Sharc-simulation and verification of hierarchical embedded microelectronic systems
Bouali et al. Formal verification for model-based development
Sellgren et al. PLM for Mechatronics integration
Benveniste et al. Contracts for the design of embedded systems part i: Methodology and use cases
CN111679646A (en) Formalization-based automobile electronic system safety target confirmation method
Bahig et al. Formal verification framework for automotive UML designs