[go: up one dir, main page]

Trawczynski et al., 2006 - Google Patents

A tool for databus safety analysis using fault injection

Trawczynski et al., 2006

Document ID
15078177168403678751
Author
Trawczynski D
Sosnowski J
Zalewski J
Publication year
Publication venue
International Conference on Computer Safety, Reliability, and Security

External Links

Snippet

In real-time safety-critical systems, it is important to predict the consequences of specific faults in databus logic and driver software on the safe operation of a databus. For this purpose we have developed a test-bench based on the TrueTime simulator extended by …
Continue reading at link.springer.com (other versions)

Classifications

    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L12/00—Data switching networks
    • H04L12/28—Data switching networks characterised by path configuration, e.g. local area networks [LAN], wide area networks [WAN]
    • H04L12/40—Bus networks
    • H04L12/40006—Architecture of a communication node
    • H04L12/40013—Details regarding a bus controller
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L12/00—Data switching networks
    • H04L12/28—Data switching networks characterised by path configuration, e.g. local area networks [LAN], wide area networks [WAN]
    • H04L12/40—Bus networks
    • H04L2012/40208—Bus networks characterized by the use of a particular bus standard
    • H04L2012/40215—Controller Area Network CAN
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L12/00—Data switching networks
    • H04L12/28—Data switching networks characterised by path configuration, e.g. local area networks [LAN], wide area networks [WAN]
    • H04L12/40—Bus networks
    • H04L12/407—Bus networks with decentralised control
    • H04L12/413—Bus networks with decentralised control with random access, e.g. carrier-sense multiple-access with collision detection (CSMA-CD)
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L12/00—Data switching networks
    • H04L12/28—Data switching networks characterised by path configuration, e.g. local area networks [LAN], wide area networks [WAN]
    • H04L12/40—Bus networks
    • H04L2012/40208—Bus networks characterized by the use of a particular bus standard
    • H04L2012/40241—Flexray
    • 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
    • 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/07—Error detection; Error correction; Monitoring responding to the occurence of a fault, e.g. fault tolerance
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L12/00—Data switching networks
    • H04L12/02—Details
    • H04L12/26—Monitoring arrangements; Testing arrangements
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L12/00—Data switching networks
    • H04L12/28—Data switching networks characterised by path configuration, e.g. local area networks [LAN], wide area networks [WAN]
    • H04L12/46—Interconnection of networks
    • H04L12/4604—LAN interconnection over a backbone network, e.g. Internet, Frame Relay
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F13/00—Interconnection of, or transfer of information or other signals between, memories, input/output devices or central processing units
    • G06F13/38—Information transfer, e.g. on bus
    • G06F13/42—Bus transfer protocol, e.g. handshake; Synchronisation

Similar Documents

Publication Publication Date Title
Waszecki et al. Automotive electrical and electronic architecture security via distributed in-vehicle traffic monitoring
Zurawski Embedded Systems Handbook 2-Volume Set
Hansson et al. Integrating reliability and timing analysis of CAN-based systems
Herpel et al. Stochastic and deterministic performance evaluation of automotive CAN communication
Baier et al. Performance evaluation and model checking join forces
Kopetz A comparison of CAN and TTP
Shah et al. Error handling algorithm and probabilistic analysis under fault for CAN-based steer-by-wire system
Wang et al. Cross-layer design of automotive systems
Naghshtabrizi et al. Analysis of distributed control systems with shared communication and computation resources
Broster Flexibility in dependable real-time communication
Trawczynski et al. A tool for databus safety analysis using fault injection
Navet et al. Validation of in-vehicle real-time applications
Stoffel et al. Distributed voters for automotive applications
Craessaerts et al. A Windows-based design environment for combine automation via CANbus
Grammatikakis et al. Managing Concurrent Queues for Efficient In-Vehicle Gateways.
Moradi-Pari et al. Modeling communication and estimation processes of automated crash avoidance systems
JP2024538186A (en) Data Processing Network for Data Processing
Ghostine et al. Dependability evaluation of networked control systems under transmission faults
Guo et al. A reusable framework for modeling and verifying in-vehicle networking systems in the presence of can and flexray
Biswal et al. IoT‐Based Response Time Analysis of Messages for Smart Autonomous Collision Avoidance System Using Controller Area Network
Ivković et al. A timed automata model for systems with gateway-connected controller area networks
Trawczynski et al. Dependability Evaluation of Real-Time Network Interfaces.
US11902370B2 (en) Shared data management system
Sirjani et al. A compositional approach for modeling and timing analysis of wireless sensor and actuator networks
Jung et al. Priority-based scheduling of dynamic segment in FlexRay network