Behavioral Network Automates Software Requirement Verification
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Current methods for locating and implementing behavioral requirements in software and FPGA designs are manual, error-prone, and fail to adapt to design evolution, leading to bugs and inadequate testing.
Innovation Solution
The use of Behavioral Networks for pattern matching to automate the identification and implementation of behavioral requirements, enabling automatic adaptation as the design evolves and ensuring compliance with behavioral requirements through a graph-based representation of system behaviors.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If manual methods are used to locate and implement behavioral requirements, then flexibility and adaptability are maintained, but error rate increases and productivity decreases
Solution Approach 1:
The system performs self-verification by automatically checking whether implemented behavioral requirements match the intended behavior patterns. The behavioral network structure enables the system to self-test and self-validate, reducing reliance on manual verification while maintaining high accuracy.
Solution Approach 2:
Manual mechanical processes of locating and verifying behavioral requirements are replaced with automated computational methods. The system uses algorithmic pattern matching and behavioral network analysis to substitute human manual work, thereby increasing both productivity and reliability.
2Adaptability or versatility
If manual methods are used to locate behavioral requirements, then adaptability to design changes is maintained, but labor intensity increases and bug rate increases
Solution Approach 1:
The behavioral network structure is dynamically updated as the software or FPGA design evolves. The system automatically adapts to design changes by re-analyzing the behavioral network and re-locating relevant behavioral requirements, maintaining adaptability while reducing manual intervention.
Solution Approach 2:
The behavioral network serves multiple functions simultaneously: it represents the system behavior, enables location of behavioral requirements, supports verification of implementation, and adapts to design evolution. This multi-functionality reduces the complexity of separate processes for each task.
3Productivity
If testing is performed without verifying the test itself, then testing efficiency is maintained, but measurement precision of test validity decreases
Solution Approach 1:
The system implements feedback by verifying whether the tests actually check what was intended. The behavioral network analysis provides feedback on test validity, allowing the system to identify and correct mismatches between test intentions and actual test behavior, thereby improving measurement precision without significantly reducing efficiency.
Data Source
AI summary
A class of systems for searching the code of conventional software, programmable hardware like Field Programmable Gate Arrays and Application Specific Integrated Circuits for behaviors of interest. This enables behavioral requirements and testing to be applied and automatically positioned in the code. Five using communities are envisioned for variations on the invention. These are Software Safety Program Administration, developers of software Intellectual Property (IP) modules and hardware IP modules, Systems Integrators of such IP, IP brokers, and Cyber Security Vendors. The usage of the invention by these communities is sufficiently different that there are separate and unique claims specific to the needs of each group.