Computer-assisted design of mechatronic systems to comply with textual system description

A system design, automaton technology, applied in design optimization/simulation, special data processing applications, calculations, etc., can solve problems such as high cost and time consumption

Pending Publication Date: 2019-05-21
科特罗尔有限责任公司
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The reason is that the cost and time consumption of develop

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
  • Computer-assisted design of mechatronic systems to comply with textual system description
  • Computer-assisted design of mechatronic systems to comply with textual system description
  • Computer-assisted design of mechatronic systems to comply with textual system description

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0031] Using the methods and systems described below, it is possible to (semi)automate the processes already described in the background section to further reduce the cost of the V-model development cycle. Figure 4 Shows the degree of automation that can be achieved by the methods described herein.

[0032] (a) Language conversion and clarification A text is given as an instruction to define the behavior of the vehicle. For example (see Figure 5 ):

[0033] ●The vehicle starts at (1),

[0034] ●The vehicle is always in the environment

[0035] ●The vehicle always avoids obstacles to the right (3)

[0036] • The vehicle goes to (4) In addition, the specification may also include traffic rules provided within the scope of applicable laws and regulations.

[0037] ●If there are traffic lights, follow the rules of the traffic lights,

[0038] ○ If the traffic light is red, the vehicle must stop,

[0039] ○ If the traffic light is orange, the vehicle should stop,

[004...

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

A method for computer-assisted system design of dynamic systems is described herein. In accordance with one embodiment the method comprises: providing a textual system description; converting, using acomputer, the textual system description into a linear temporal logic LTL formula; converting, using a computer, the LTL formula into a first automaton; providing, using a computer, a second automaton representing the system dynamics; and generating, using a computer, a testing automaton by combining the first and the second automaton.

Description

Background technique [0001] The present disclosure specifically relates to a system and method applied to automatic design of electromechanical systems. Background technique [0002] There is a significant amount of development and marketing of electromechanical systems that do not meet important safety standards. The reason is that the cost and time consumption of developing according to suitable security standards is considerable. Therefore, only "high-end" applications, such as the aviation industry, will strictly follow these standards for system design. [0003] Depending on the application, electromechanical systems should be developed according to different safety standards, such as the ISO26262 standard for the automotive industry (entitled: "Road Vehicles - Functional Safety"), the IEC62061 standard (entitled "Electromechanical Safety") for machinery safety : Functional safety of electrical, electronic and programmable electronic control systems"), the EN51028 sta...

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): G06F17/50
CPCG06F30/00G06F30/20G06F2111/10
Inventor M·纳德希尔
Owner 科特罗尔有限责任公司
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