This Safety Manual discusses the relationship between the QA-MISRA and Astrée tools, among others. It traces the requirements of the safety standards, identifying the scope of those which are supported by QA-MISRA and Astrée and identifies how the requirements are supported by QA-MISRA and Astrée. It should be read in conjunction with the relevant version QA-MISRA Manual.
Log in or register to gain access to premium content