Cookie Warning

This site uses cookies to help improve your experience

Please follow the link to find out more about cookies. Learn more

I understand
 

Ravenscar Profile

The Ravenscar profile defines a simple subset of the tasking features of Ada in order to support efficient, high integrity applications that need to be analysed for their timing properties.
By following the Ravenscar profile, developers can meet the real-time community requirements for determinism, schedulability analysis and memory-boundedness.

Benefits of compliance to programming standards such as Ravenscar Profile:

  • Promote portability and avoid unexpected results
  • Ensure there is no reliance placed on compiler- or platform-specific constructs
  • Identify unreachable or infeasible code which often indicates a defect that will, at the very least, impact software maintainability
  • Prohibit certain language constructs known to be a source of common errors
  • Measurably reduce program complexity
  • Improve program testability, easing standard compliance and certifiability

See Which Tools Are Right For You? for help choosing your customised tool suite.

Coding Standard Tools from LDRA

  • LDRA Testbed/TBvision is the core analysis engine of the LDRA tool suite. It performs the static analysis required for coding standards enforcement and lets you view the results against supported industry coding standards to identify the common programming errors behind the majority of software security attacks. 
  • LDRArules is a cost-effective, stand-alone rules checker independent from the LDRA tool suite that is focused on increasing software quality through coding standards compliance, including MISRA.

Attachments:
Access this URL (http://www.ldra.com/en/ldrarules)LDRArules Webpage[ ]

LDRArules is a cost-effective, stand-alone rules checker to enforce compliance

  • Enforce compliance with C/C++, Java, and Ada coding standards: MISRA, CERT C, CWE, user-defined, and more. This demonstration shows how C code from a Visual Studio project complies to a standard and how a custom coding standard can be created and used.