Links

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

• CHESS

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

Related tools:

• nuXmv
• HyCOMP