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

In der Rieden et al., 2005 - Google Patents

An approach to the pervasive formal specification and verification of an automotive system: Status report

In der Rieden et al., 2005

View PDF
Document ID
16401546618784772893
Author
In der Rieden T
Knapp S
Publication year
Publication venue
Proceedings of the 10th international workshop on Formal methods for industrial critical systems

External Links

Snippet

The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the verification of functional and timing properties of the Automotive System is attempted. This is a distributed system, whose components consist of hardware (processor …
Continue reading at www-wjp.cs.uni-saarland.de (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
    • G06F9/48—Programme initiating; Programme switching, e.g. by interrupt
    • G06F9/4806—Task transfer initiation or dispatching
    • 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
    • G06F9/54—Interprogramme communication; Intertask communication
    • G06F9/541—Interprogramme communication; Intertask communication via adapters, e.g. between incompatible applications
    • 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
    • G06F9/455—Emulation; Software simulation, i.e. virtualisation or emulation of application or operating system execution engines
    • 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
    • G06F9/4421—Execution paradigms
    • G06F9/4428—Object-oriented
    • G06F9/443—Object-oriented method invocation or resolution
    • 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/362—Software debugging
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G06F15/16—Combinations of two or more digital computers each having at least an arithmetic unit, a programme unit and a register, e.g. for a simultaneous processing of several programmes
    • 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
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G06F15/76—Architectures of general purpose stored programme computers
    • G06F15/78—Architectures of general purpose stored programme computers comprising a single central processing unit
    • 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
    • G06F8/31—Programming languages or programming paradigms
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F1/00—Details of data-processing equipment not covered by groups G06F3/00 - G06F13/00, e.g. cooling, packaging or power supply specially adapted for computer application
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G06F2217/86—Hardware-Software co-design
    • 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

Similar Documents

Publication Publication Date Title
Verhulst et al. Formal Development of a Network-Centric RTOS: software engineering for reliable embedded systems
Lohmann et al. Aspect-aware operating system development
Vestal Mode changes in a real-time architecture description language
Chen et al. UML and platform-based design
Chen et al. Embedded system design using UML and platforms
In der Rieden et al. An approach to the pervasive formal specification and verification of an automotive system: Status report
Shen et al. Native simulation of MPSoC using hardware-assisted virtualization
Chureau et al. Flexible and executable hardware/software interface modeling for multiprocessor SoC design using SystemC
Daum et al. Proving fairness and implementation correctness of a microkernel scheduler
Espinoza et al. Towards a uml-based modelling standard for schedulability analysis of real-time systems
Knapp et al. Pervasive verification of distributed real-time systems
Daum et al. A verification approach for system-level concurrent programs
Lantreibecq et al. Model checking and co-simulation of a dynamic task dispatcher circuit using CADP
Delanote et al. Using AADL in model driven development
Zalila et al. Generating distributed high integrity applications from their architectural description
East The Honeysuckle programming language: an overview
Poddar et al. Verification of Giotto based Embedded Control Systems.
Knapp Towards the verification of functional and timely behavior of an eCall implementation
Obermaisser et al. Specification and execution of gateways in integrated architectures
El-Salloum Interface design in the time-triggered system-on-chip architecture
Broy et al. Specifying and Composing Layered Architectures.
Yang et al. Efficient distribution of triggered synchronous block diagrams
Ecker et al. HW/SW Interface: Implementation and Modeling
Kriaa et al. Parallel Programming of Multi-processor SoC: A HW–SW Interface Perspective
Tokar Architecting dependable systems with the sae architecture analysis and description language (AADL)