Model-based method for analyzing schedulability of real-time system

A real-time system and analysis method technology, which is applied in software simulation/interpretation/simulation, program startup/switching, multi-programming device, etc. It can solve the problem that the RMA analysis method has strict assumptions and cannot be provided in a friendly way. The analysis results are as follows: Errors and other problems, to achieve the effect of saving software development time, friendly interface, and good predictability

Inactive Publication Date: 2007-08-08
ZHEJIANG UNIV
View PDF0 Cites 25 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0009] Although the RMA analysis method has been well applied, the assumptions of the RMA analysis method are relatively strict, and the general task set may not be satisf...

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
  • Model-based method for analyzing schedulability of real-time system
  • Model-based method for analyzing schedulability of real-time system
  • Model-based method for analyzing schedulability of real-time system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0065] In conjunction with the accompanying drawings, the present invention will be described in detail below.

[0066] The invention solves the problem of analyzing the schedulability of multiple tasks in the modeling of the real-time multi-task operating system, and provides a model-based real-time system schedulability analysis method, thereby increasing the reliability of the developed system It saves the user's software development cycle and greatly improves the user's development efficiency.

[0067] Main principle of the present invention and feature are as follows:

[0068] 1. The present invention is a model-based time analysis of schedulability. That is to say, the present invention uses the present invention and the system implementing the present invention to understand the execution order of the task set created by the user after modeling with a certain tool or to analyze the schedulable execution time. In this way, users can understand the execution of tasks 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 involves the emulation technology of embedded real-time system, aiming to provide an analysis method for schedulability of the real-time system based on model. The method includes the following steps: (a) Establish the system model; (2) take a systematic model as input to separate the tasks; (3) design data structures for simulation; (4) execute simulation algorithm on the directed graph and get the outcome sequence; (5) output simulation results. The invention conducts detailed simulation of the task order. It has good predictability, reliability and usability. It saves the software development time, eliminates the disadvantages of the previous schedulability analysis method which only gives a more general, rather ambiguous results of the adverse aspects. The invention makes scheduling be more of feasibility and visualization. And it has detailed output and friendly interface.

Description

technical field [0001] The invention relates to a simulation technology of an embedded real-time system, and more specifically relates to a method for analyzing the schedulability of a model-based real-time system. Background technique [0002] The first aspect: real-time systems and schedulability time analysis. [0003] Embedded real-time system, also called real-time kernel, is a mechanism for realizing multi-tasking on the application programs of various embedded chips. Its core function is to realize multi-task scheduling and communication between tasks. [0004] In the case of a specific scheduling method in a specific operating system, if all tasks can be realized within specific constraints, then such scheduling is feasible. There are two basic methods to verify that the scheduling is feasible: first, conduct rigorous feasibility experiments on the process set within the constraints; second, derive the worst-case response time and compare it with the deadline. [...

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
IPC IPC(8): G06F9/48G06F9/455
Inventor 杨国青李红周炎淼吴朝晖赵民德
Owner ZHEJIANG UNIV
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