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

Wang et al., 2018 - Google Patents

A review on key technologies of the distributed integrated modular avionics system

Wang et al., 2018

Document ID
11274856666867844134
Author
Wang H
Niu W
Publication year
Publication venue
International Journal of Wireless Information Networks

External Links

Snippet

Distributed integrated modular avionics (DIMA) system design through the distributed integrated technology, mixed critical task scheduling, real-time fault tolerant scheduling and time triggered communication mechanism, greatly enhance the reliability, safety and real …
Continue reading at link.springer.com (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
    • G06F9/4843—Task transfer initiation or dispatching by program, e.g. task dispatcher, supervisor, operating system
    • G06F9/4881—Scheduling strategies for dispatcher, e.g. round robin, multi-level priority queues
    • G06F9/4887—Scheduling strategies for dispatcher, e.g. round robin, multi-level priority queues involving deadlines, e.g. rate based, periodic
    • 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/50—Allocation of resources, e.g. of the central processing unit [CPU]
    • G06F9/5061—Partitioning or combining of resources
    • 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
    • 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
    • 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
    • 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
    • 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
    • G06F1/04—Generating or distributing clock signals or signals derived directly therefrom
    • 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
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2209/00—Indexing scheme relating to G06F9/00

Similar Documents

Publication Publication Date Title
Wang et al. A review on key technologies of the distributed integrated modular avionics system
Zheng et al. Simulation-based performance prediction for large parallel machines
Hiltunen et al. Real-time dependable channels: Customizing QoS attributes for distributed systems
González et al. Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling
Simon et al. Co-design approaches to dependable networked control systems
Harbour et al. Modeling distributed real-time systems with MAST 2
Tamaş-Selicean et al. Optimization of time-partitions for mixed-criticality real-time distributed embedded systems
Palencia et al. Response-time analysis in hierarchically-scheduled time-partitioned distributed systems
Fohler et al. Evaluation of DREAMS resource management solutions on a mixed-critical demonstrator
Gu et al. Dynamic budget management and budget reclamation for mixed-criticality systems
Lee et al. Partition scheduling in APEX runtime environment for embedded avionics software
Javadi et al. Enhancing performance of failure-prone clusters by adaptive provisioning of cloud resources
Mikida et al. Towards pdes in a message-driven paradigm: A preliminary case study using charm++
Han et al. Schedulability analysis of distributed multicore avionics systems with uppaal
Glonina et al. On the correctness of real-time modular computer systems modeling with stopwatch automata networks
Melani et al. A scheduling framework for handling integrated modular avionic systems on multicore platforms
Law et al. Justifying the service provided to low criticality tasks in a mixed criticality system
Nam et al. Guaranteeing the end-to-end latency of an IMA system with an increasing workload
Trebon Enabling urgent computing within the existing distributed computing infrastructure
Jing et al. Reliability-aware DAG scheduling with primary-backup in cloud computing
Li et al. Modelling and simulation of integrated modular avionics systems
Gopalan et al. Coordinated allocation and scheduling of multiple resources in real-time operating systems
Fara et al. Scheduling replica voting in fixed-priority real-time systems
Jakovljevic et al. Embedded cloud computing for critical systems
Kopanski et al. Plan-based job scheduling for supercomputers with shared burst buffers