MISRA
2004 compliancy
Willert Software Tools GmbH has gone through great effort to adapt the
code in the OO RTX so it is MISRA 2004 compliant. If your application
must be MISRA 2004 compliant, you must set up your own MISRA compliance
process which can be based on our product plus MISRA 2004 specific
documents and procedures.
In the sources of the OO RTX, excluding those of the Container Classes,
you will find C comments which refer to MISRA 2004. These macros
support two tools to ensure MISRA 2004 compliancy: QAC (see www.qasystems.de) and PC-Lint (see www.gimpel.com).
MISRA-C:2004 (4.4) states that in order to claim compliance with MISRA-C:2004 evidence must exist to show that:
- A compliance matrix has been completed which shows how compliance has been enforced.
- All of the C code in the product is compliant with the rules or is subject to documented deviations.
- A list of all instances of rules not being followed is maintained, and for each instance there is an appropriately signed-off deviation.
- The following issues have been addressed:
- Training
- Style guide
- Compiler selection and validation
- Checking tool validation
- Metrics
- Test coverage
The framework is only MISRA compliant if the pre-processor macros NO_MALLOC and WST_PORTS_DISABLED are defined at compile time.
Please contact
our sales department at +49 5722 9678 60 for any
questions or inquiries for aquiring our MISRA 2004 specific documents and procedures.
Copyright (c) Willert
Software Tools GmbH. All rights reserved.