LDRA
LDRA keeps track of compliance to certified requirements using static and dynamic analysis of the code and also a unit testing and verifications. The templates used at certification allow to organize the standarto-focused processes which meet the requirements for design process control, development and verification of the software. In addition to the help in preparation for certification on industrial standards, LDRA offers tools for confirmation of conformity to such standards as MISRA or Cert C.
Technologies of LDRA company for verification of the software and also for process control of preparation for certification will significantly increase efficiency and transparency of design process in those industries of the Russian industry where security is crucial where the companies need to prove compliance to standards and to undergo certification.
