Eureka AIR delivers breakthrough ideas for toughest innovation challenges, trusted by R&D personnel around the world.

Model establishing method and apparatus

A model building and model technology, applied in the field of data processing, can solve problems such as inability to describe real-time systems with nested relationships, time automata is not suitable for embedded systems, etc., to achieve the effect of module detection

Active Publication Date: 2016-02-17
HUAWEI CLOUD COMPUTING TECH CO LTD +1
View PDF6 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] In the process of realizing the present invention, the inventor found that the time automaton in the prior art is not suitable for embedded systems, and embedded systems are usually composed of a plurality of relatively independent subsystems, which support nested interrupt processing, etc., but , the existing timed automata cannot describe real-time systems with nested relationships, so how to provide an effective state transition model to represent embedded systems, so as to realize the model detection of embedded systems has become an urgent need for those skilled in the art to solve technical issues

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 establishing method and apparatus
  • Model establishing method and apparatus
  • Model establishing method and apparatus

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0075] The following will clearly and completely describe the technical solutions in the embodiments of the application with reference to the drawings in the embodiments of the application. Apparently, the described embodiments are only some of the embodiments of the application, not all of them. Based on the embodiments in this application, all other embodiments obtained by persons of ordinary skill in the art without making creative efforts belong to the scope of protection of this application.

[0076] In the embodiment of the present application, for the subsystems in the embedded system, the synchronization relationship or mutual exclusion relationship between the subsystems can be determined according to the occupancy of system resources by the subsystems and the interrupt priority. Then, the state nodes of the time automata for each subsystem and the state transition conditions between the state nodes can be determined; thus, according to the synchronization relationship...

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

Embodiments of this application provide a model establishing method and apparatus. The method comprises: determining a synchronization relationship or a mutually exclusive relationship between a plurality of subsystems; determining a state node of a timed automaton for establishing each subsystem and state transition conditions between the state nodes; according to the synchronization relationship and the mutually exclusive relationship between the subsystems, combining the state nodes in the subsystems to acquire combined state nodes; acquiring combined state transition conditions between any two combined state nodes according to the state transition conditions of the state nodes of any two combined state nodes and an execution order that is determined according to the mutually exclusive relationship and the synchronization relationship between the subsystems to which the two combined state nodes belong; and establishing a global timed automaton by using the combined state nodes and the combined state transition conditions, wherein the global timed automaton serves as a state transition model for model detection. According to the method and apparatus provided by the embodiments of this application, a state transition model of an embedded system can be established effectively and rapidly.

Description

technical field [0001] The present application relates to the technical field of data processing, and more specifically relates to a method and device for establishing a model. Background technique [0002] The model checking method refers to the verification method that expresses the system behavior through the state transition model, describes the system properties with modal or temporal logic formulas, and uses the state transition model and modal or temporal logic formulas to verify whether the system satisfies the given system properties. Because model checking has the advantage of automatic execution, it is widely used in computer hardware systems, control systems, communication systems, etc. [0003] A key operation of model checking is to establish a state transition model representing system behavior. In order to describe real-time systems, timed automata are usually used to represent system behavior. By using the state of the system as the state node of the time a...

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): G06F17/50
Inventor 文刘飞李国强
Owner HUAWEI CLOUD COMPUTING TECH CO LTD
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
Eureka Blog
Learn More
PatSnap group products