Real-time inconsistency detection and positioning method and system for CPS (Cyber-Physical System) requirements

A positioning method and consistent technology, applied in requirements analysis, creating/generating source code, etc., can solve problems such as state explosion, low verification efficiency, and inability to locate requirements sets, and achieve the effect of reducing detection time and improving verification efficiency

Pending Publication Date: 2022-04-15
EAST CHINA NORMAL UNIVERSITY
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, these methods have the problem of state explosion, the verification efficiency is r

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
  • Real-time inconsistency detection and positioning method and system for CPS (Cyber-Physical System) requirements
  • Real-time inconsistency detection and positioning method and system for CPS (Cyber-Physical System) requirements
  • Real-time inconsistency detection and positioning method and system for CPS (Cyber-Physical System) requirements

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0098] Such as figure 1 As shown, this embodiment takes a real automotive lighting system requirement as an example to describe the method in detail.

[0099] The requirements of the automotive lighting system are described as follows:

[0100]If the switch is turned to AUTO, and the light intensity is at orbelow 70% then the low Beam should stay or turn immediately ON.

[0101] If the switch is turned to AUTO, and the light intensity is above 70% and then the low Beam should stay or turn immediately OFF.

[0102] If the switch is in position AUTO, the low Beam are OFF, and the light intensity falls below 60%, then the lights should turn ON if this condition lasts for 2s.

[0103] If the switch is in position AUTO, the low Beam are ON, and the light intensity is above 70%, then the lights should turn OFF if this condition lasts for 3s.

[0104] If the switch is turned to MANU, the low Beams are OFF, and the low Beam Button is ON, then the low Beams should turn ON for 1s if ...

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 real-time inconsistency detection and positioning method and system for CPS (Clock Constraint Standard) requirements, and the method comprises the steps: firstly, accurately describing the CPS requirements through a real-time model language RTNL capable of expressing time constraints, then detecting and processing composite conditional statements and conditional conflicts in the RTNL, then converting the composite conditional statements and conditional conflicts into constraints of a clock constraint specification language CCSL, and finally, carrying out the real-time inconsistency detection and positioning of the CPS requirements. And then converting into a real-time clock graph expressing time constraints between clocks, summarizing rules allowing nodes to occur in the graph, detecting real-time inconsistency in the real-time clock graph according to the rules, and positioning inconsistent parts in requirements expressed by a real-time mode language according to a detection result. The invention further provides a system for detecting and positioning the real-time inconsistency of the CPS requirements. According to the method provided by the invention, lightweight automatic detection and error positioning of the real-time inconsistency are realized, the detection time of the real-time inconsistency is shortened, the demand verification efficiency is improved, and a demand engineer and other users are helped to quickly verify and modify the demand.

Description

technical field [0001] The invention belongs to the field of real-time requirement analysis and formalization methods, and relates to a method and system for real-time inconsistency detection and positioning of CPS requirements. Background technique [0002] CPS (Cyber-Physical System) is a multi-dimensional complex system that integrates computing, network and physical environment. Real-time perception, dynamic control and information services. Smart grids, autonomous vehicle systems, medical monitoring, industrial control systems, robotic systems, and self-driving avionics are typical CPS systems. There are many real-time requirements in the CPS system requirements, that is, the requirements to describe the system behavior that must respond to the input within a given time range. For example, a rocket will launch at a specified time, or enter a specific orbit at a specified time; a car should stop at a specified time, etc. Real-time requirements are closely related to 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): G06F8/10G06F8/30
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