Graphical Programming Coding Standard Compliance Mechanism
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Conventional graphical programming environments lack mechanisms to check compliance with coding standards like MISRA-C for graphical programs, which are crucial in safety-critical domains such as automotive and aerospace.
Innovation Solution
The development of mechanisms within graphical programming environments to apply, detect, and automatically correct coding standards, including MISRA-C, in graphical models, allowing users to select and customize standards, and prevent violations during simulation and code generation.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If coding standards are applied to graphical programs, then quality and safety of programs are improved, but conventional graphical programming environments lack mechanisms to check compliance
Solution Approach 1:
The patent introduces an intermediary compliance checking mechanism that translates graphical program elements into text-based representations (such as C code) and applies text-based coding standards (like MISRA-C) to the graphical programs. This intermediary layer enables compliance checking without requiring fundamental changes to the graphical programming environment.
Solution Approach 2:
The patent replaces the need for manual compliance checking with an automated mechanism that systematically analyzes graphical programs against coding standards. The automated system substitutes human review with algorithmic checking, improving both efficiency and reliability while managing complexity through automation.
2Measurement precision
If mechanisms are added to check coding standards in graphical programs, then compliance detection is improved, but the graphical programming environment becomes more complex
Solution Approach 1:
The patent segments the compliance checking function into separate, modular components that can be independently implemented and maintained. The checking mechanism is divided into distinct modules that handle different aspects of compliance verification, allowing precision to be improved without proportionally increasing overall system complexity.
Solution Approach 2:
The patent creates a universal compliance checking mechanism that can handle multiple coding standards (such as MISRA-C, DO-178C) through a single integrated system. This multi-functional approach allows the environment to detect compliance with various standards without requiring separate complex mechanisms for each standard.
3Productivity
If automatic correction mechanisms are implemented, then violations are removed efficiently, but the complexity of the programming environment increases
Solution Approach 1:
The patent implements preliminary action by providing automatic correction mechanisms that proactively fix compliance violations before they affect the final product. The system detects violations and automatically applies corrections in advance, improving productivity by eliminating manual intervention for routine compliance issues.
Solution Approach 2:
The patent enables self-service through automatic correction mechanisms that allow the graphical programming environment to self-correct compliance violations without external intervention. The system autonomously identifies and fixes issues, improving efficiency while managing complexity through automated self-management.
Data Source
AI summary
Graphical programming or modeling environments in which a coding standard can be applied to graphical programs or models are disclosed. The present invention provides mechanisms for applying the coding standard to graphical programs/models in the graphical programming/modeling environments. The mechanisms may detect violations of the coding standard in the graphical model and report such violations to the users. The mechanisms may automatically correct the graphical model to remove the violations from the graphical model. The mechanisms may also automatically avoid the violations in the simulation and/or code generation of the graphical model.