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: