OCRA has been used in the following projects:

  • SafeCer ARTEMIS project on Safety Certification of Software-Intensive Systems with Reusable Components.
  • FoReVer ESA study related to Functional Requirements and Verification Techniques for the Software Reference Architecture.
  • D-MILS FP7 project on Distributed MILS for Dependable Information and Communication Infrastructures.

OCRA has been integrated into the following CASE tools

  • AutoFOCUS3 The AF3-OCRA plugin has been developed to extend AutoFOCUS3 with the contract based composition paradigm based on OCRA.

Related tools: