
Compliance with Standards for Safety-Critical Development

Power of Ten Rules
CodeSecure´s CodeSonar provides checks that support most of the Power of Ten rules.The Power of Ten is a set of 10 rules developed by Gerard Holzmann of the NASA Jet Propulsion Laborator for use in developing safety-critical software code. The rules are simple and specify strict limits on forms that code can take, to ensure code clarity and analyzability, especially important for safety-critical applications.
Please view CodeSonar´s Power of Ten coverage to see how CodeSonar´s warning classes correlate with Power of Ten Rules.
JPL Rules
CodeSecure´s CodeSonar provides checks that support most of the JPL rules.The JPL rules build on the Power of Ten coding rules and MISRA-C coding guidelines for safety-critical applications. The JPL rules (JPL Institutional Coding Standards for the C Programming Language) address software risks related to the use of multi-threaded software.
Please view CodeSonar´s coverage of JPL Rules to see how CodeSonar´s warning classes correlate with JPL rules.
Other Coding Standards support by CodeSonar
Other Coding Standards support by CodeSonar include:- MISRA
- FDA Standards
- CWE- and BSI-Rules
- CodeSonar allows for the implementation of company specific rules



CodeSonar 4 for Embedded Systems
![[PDF]](icon-pdf-15x16.gif)
![[PDF]](icon-pdf-15x16.gif)
Development Testing
Defect Detection
Concurrency Checks
Security Checks
Software metrics
Automate the Verification of Your Code
CodeSonar for Java
Compliant to standards
DO-178
ISO 26262
FDA-standards
MISRA
CWE- and BSI-regulations
"Power of Ten" and JPL-regulations
IEC 62443
How Static Code Analysis works
Workflow-Features
Binary-Analysis
Visual-Taint-Analysis
Whitepapers
References
University program
Case studies
![[PDF]](icon-pdf-15x16.gif)