Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

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

A domain model and automaton 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: 2008-07-23
ZHEJIANG UNIV
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0007] In order to solve the problem that the above-mentioned 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 an automatic state machine construction method based on models in the field of automobile electric control, so that it can use general state machine verification tools authenticating

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 automaton structure.

[0026] In the example system shown in Figure 1, there is a total of 1 timer counter for system timing, 2 Alarm timing activation tasks, 3 different priority tasks, and 1 data 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] Alarm1

Alarm2

Property

value

Property

value

name

Alarm1

name

Alarm2

Cycle Time

20ms

Cycle Time

40ms

[0030] Table 2 T...

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 Applications(China)
IPC IPC(8): G05B17/02G06G7/70
Inventor 吴朝晖李红赵坚周炎淼杨国青吕攀
Owner ZHEJIANG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com