Formalized analysis method for scheduling and flow shaping mechanism of time sensitive network

A traffic shaping and time-sensitive technology, applied in the direction of data exchange network, digital transmission system, electrical components, etc., can solve problems such as inability to provide calculation results, error-prone, inaccurate, etc., to save development time and cost, and ensure correctness performance and reliability, low cost of improvement

Active Publication Date: 2020-09-01
EAST CHINA NORMAL UNIVERSITY +1
View PDF5 Cites 6 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

This approach is often inaccurate and error-prone,

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
  • Formalized analysis method for scheduling and flow shaping mechanism of time sensitive network
  • Formalized analysis method for scheduling and flow shaping mechanism of time sensitive network
  • Formalized analysis method for scheduling and flow shaping mechanism of time sensitive network

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0063] Exemplary embodiments of the present disclosure will be described in more detail below with reference to the accompanying drawings. Although exemplary embodiments of the present disclosure are shown in the drawings, it should be understood that the present disclosure may be embodied in various forms and should not be limited by the embodiments set forth herein. Rather, these embodiments are provided for more thorough understanding of the present disclosure and to fully convey the scope of the present disclosure to those skilled in the art.

[0064] figure 1 A schematic flowchart of a method for formally analyzing the scheduling and traffic shaping mechanism of a time-sensitive network provided by an embodiment of the present invention; figure 1 As shown, the method includes the following steps:

[0065] Step S11: Determine the components of the TSN scheduling and traffic shaping mechanism;

[0066] Specifically, starting from the specifications of the scheduling and ...

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 formalized analysis method for a scheduling and flow shaping mechanism of a time sensitive network. The method comprises the following steps: determining components of the TSN scheduling and flow shaping mechanism; abstracting a simple scheduling and flow shaping model according to the determined components; determining a refining scheme of the model according to the abstract model; and performing formalized analysis and time performance analysis on the refined model. According to the method, formalized modeling is carried out on the TSN scheduling and flow shaping mechanism, so that whether the final protocol standard meets the requirement of time sensitivity or not can be ensured through reasoning and verification, and the correctness and reliability of the protocol standard are ensured; moreover, the improvement cost of the abstract model is relatively low, certain help can be provided for development and subsequent expansion of protocol standards, and thedevelopment time and cost can be saved; and quantifiable indexes are provided to compare similarities, differences, advantages and disadvantages of different scheduling mechanisms.

Description

technical field [0001] The present invention relates to the field of software technology, in particular to a method for formally analyzing the scheduling and traffic shaping mechanism of Time-sensitive networking (TSN for short). Background technique [0002] Since the establishment of the TSN working group by the IEEE 802.1 task group in 2012, many standards have been developed to solve data communication problems in time-sensitive networks, and have attracted extensive attention from the industry and the automotive industry. With the continuous expansion of TSN standards, the TSN network environment naturally becomes more and more complex. Therefore, the security of the TSN network urgently needs to be guaranteed to ensure that it can provide accurate, punctual, and fast data communication, while also ensuring high reliability and bounded low latency. However, most of the current research methods use testing and simulation to study and analyze the scheduling and traffic s...

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): H04L12/815H04L12/24H04L47/22
CPCH04L47/22H04L41/14H04L41/145
Inventor 赵涌鑫吕锦蒲戈光刘虹
Owner EAST CHINA NORMAL UNIVERSITY
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