Task schedulability verification method for distributed system

A distributed system and verification method technology, applied in the field of task schedulability modeling simulation verification

Pending Publication Date: 2021-12-17
CHINESE AERONAUTICAL RADIO ELECTRONICS RES INST
View PDF0 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

All of these add new challenges to the task schedulability of embedded real-time systems in airborne environments

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Task schedulability verification method for distributed system
  • Task schedulability verification method for distributed system
  • Task schedulability verification method for distributed system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0026] The present invention is further detailed below with reference to the accompanying drawings and examples.

[0027] Since the distributed system is a complex system, a plurality of partitions, each partition is arranged on the task scheduler needs to have the task scheduling data transmission to a processor for processing or scheduled to be completed on the bus, see figure 1 One kind of task, the present embodiment illustrated oriented distributed system schedulability verification method, the first four processor based model time automaton model, task model, scheduling model and model of the distributed network bus system simulation. Wherein, after the task model in tasking task in the ready state, and adjusted according to the attribute of the status of the task scheduling and task scheduling model; scheduling model in accordance with the scheduling rule to the task scheduling processor bus model or network model; switching processor occupancy and idle state model after mo...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a task schedulability verification method for a distributed system. The task schedulability verification method comprises the following steps: 1, simulating the distributed system by adopting a processor model based on a timed automaton model, a task model, a scheduling model and a network bus model; wherein the task model sets a task in a ready state after the task is issued, and adjusts the state of the task according to the scheduling of the scheduling model and the attribute of the task; the scheduling model schedules the task to the processor model or the network bus model according to a scheduling rule; the processor model or the network bus model carries out switching between an idle state and an occupied state according to a processor or a bus simulated by the processor model or the network bus model after receiving the tasks distributed by the scheduling model; and 2, verifying and analyzing whether the task is completed at the deadline time, the occupation condition of the bus and the occupation condition of the processor by means of a simulation analysis tool so as to judge the task schedulability of the distributed system.

Description

Technical field [0001] The present invention relates to a task oriented distributed system schedulability model simulation method. Background technique [0002] For a distributed system, scheduling of tasks is an important feature, the safe operation of its entire distributed system has a critical influence. In the field of distributed systems onboard, it requires not only the correctness of the operation results of the task, which also requires to meet the time constraint, so airborne distributed system schedulability analysis is a critical step to ensure the correct operation of the system. [0003] With the development and change of technology, avionics system architecture from the joint development and then distributed to the integrated modular integrated modular airborne scene more complex, functional applications continues to grow. Meanwhile, as crosslinking ARINC653 standard relationship between time and space partition having isolation characteristics and complexities rel...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F30/20G06F30/18G06F111/02
CPCG06F30/20G06F30/18G06F2111/02
Inventor 朱国锋迟鹏程于乐
Owner CHINESE AERONAUTICAL RADIO ELECTRONICS RES INST
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap