Method for constructing automatic condition machine based on vehicle electric control field model

A domain model and state machine technology, applied to computers, simulators, and general control systems for various vehicles, can solve the problems of general verification tool verification and unusable models, so as to reduce costs and design logic errors the possible effect of

Inactive Publication Date: 2009-09-16
ZHEJIANG UNIV
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0007] In order to solve the above-mentioned problem that the existing models in the field of automobile electronic control cannot be verified by general verification tools, the purpose of the present invention is to provide a method for constructing an automatic state machine based on a model in the field of automobile electric control, so that it can be verified by a general automatic state machine tool for verification

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
  • Method for constructing automatic condition machine based on vehicle electric control field model
  • Method for constructing automatic condition machine based on vehicle electric control field model
  • Method for constructing automatic condition machine based on vehicle electric control field model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0024] The present invention will be further described below in conjunction with drawings and embodiments.

[0025] 1. Extract the key information of the vehicle electronic control model, and make the corresponding automatic state machine structure.

[0026] Such as figure 1 In the example system shown, there is 1 timer counter to time the system, 2 Alarm timing activation tasks, 3 tasks with different priorities, and 1 data. The activation action intervals of Alarm1 and Alarm2 are 20 milliseconds and 40 milliseconds respectively. The priority order of the three tasks is Task_3>Task_1>Task_2, and Task_1 uses the system resource Data during execution.

[0027] Obtain the above system information, as listed in Table 1 and Table 2 below:

[0028] Table 1 Alarm information in the system

[0029]

[0030] Table 2 Task information in the system

[0031]

[0032] Then construct an automatic state machine for each Task, and set the priority of the automatic state machine Al...

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 an automatic state machine construction method based on vehicle electric control model, which comprises a, extracting the key information of a vehicle electric control model and modifying the automatic state machine relatively, b, consisting the mission calling sequences of the automatic state machine and the vehicle electric control model, c, consisting the resource applications of the automatic state machine and the vehicle electric control model. The invention can convert vehicle electric control model into automatic state machine, which can be proved by general automatic state machine checker and can use the automatic state machine to correctly represent the mission calling sequence and resource application of former vehicle electric control model, to help developer find the logic problem of design and the resource module of manage system, validate design logic at earlier project development to effectively reduce the design logic error in later development and reduce modification cost.

Description

technical field [0001] The invention relates to a model technology in the field of automobile electronic control, in particular to an automatic state machine construction method based on a model in the field of automobile electric control. Background technique [0002] In most cases, the security of embedded systems is often considered last. Developers often design products with speed as the goal, leaving security issues to be resolved in future version upgrades. But in the field of automotive electronics, system safety in project development is a crucial system attribute that transcends other factors. Therefore, developers must not only ensure that the system logic is correct, but also ensure that the system can run safely. [0003] Most of the traditional development still uses the development method of coding first and testing later. With this method, if a problem is found in the later test, the modification cost of the system will be very high, and the other test can ...

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 Patents(China)
IPC IPC(8): G05B17/02G06G7/70
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