[go: up one dir, main page]

Philip et al., 2018 - Google Patents

Safety validation using AADL system architecture models

Philip et al., 2018

Document ID
211888690052354433
Author
Philip G
Suresh V
D'Souza M
Publication year
Publication venue
Proceedings of the 11th Innovations in Software Engineering Conference

External Links

Snippet

Most of the embedded systems used in avionics and automotive industries are safety critical in nature. Safety validation of these systems are challenging inspite of significant advances in the field of system and software engineering. In our previous work, real time monitoring of …
Continue reading at dl.acm.org (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
    • 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
    • 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
    • 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
    • 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
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • 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
    • 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
    • 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/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting

Similar Documents

Publication Publication Date Title
Delange et al. Architecture fault modeling with the AADL error-model annex
Bozzano et al. Spacecraft early design validation using formal methods
Wang et al. An exploratory study of autopilot software bugs in unmanned aerial vehicles
Bozzano et al. The COMPASS approach: Correctness, modelling and performability of aerospace systems
Delange et al. AADL fault modeling and analysis within an ARP4761 safety assessment
Backes et al. Requirements analysis of a quad-redundant flight control system
Feiler et al. Four pillars for improving the quality of safety-critical software-reliant systems
Feiler et al. Automated fault tree analysis from aadl models
Feiler et al. Reliability validation and improvement framework
Noll Safety, dependability and performance analysis of aerospace systems
Uludağ et al. Integration of systems design and risk management through model‐based systems development
Philip et al. Model based safety analysis: Automatic generation of safety validation test cases
Heitmeyer Formal methods for specifying, validating, and verifying requirements
Grunske et al. Specification and evaluation of safety properties in a component-based software engineering process
Sljivo et al. A method to generate reusable safety case fragments from compositional safety analysis
de Oliveira et al. Variability management in safety‐critical systems design and dependability analysis
Feiler et al. A requirement specification language for AADL
Philip et al. Safety validation using AADL system architecture models
Feiler et al. Architecture fault modeling and analysis with the error model annex, version 2
Gomes et al. Constructive model-based analysis for safety assessment
Adler et al. Performing safety evaluation on detailed hardware level according to ISO 26262
Place et al. Safety-critical software: Status report and annotated bibliography
Domis et al. Component-based abstraction in fault tree analysis
Basagiannis Software certification of airborne cyber-physical systems under DO-178C
Yushtein et al. System-software co-engineering: Dependability and safety perspective