Commit c15700e9 authored by Pietro Braghieri's avatar Pietro Braghieri
Browse files

Update README.md

parent 7dd7716f
......@@ -48,6 +48,26 @@ The figure below shows the interactions between the OSCL Client ([CHESS](https:/
The integration and implementation of the tool chain through OSLC is realized by a web application server (i.e. [Tomcat](https://tomcat.apache.org/)) that runs the OSCL Registry (that lists the available services) and the OSLC Service Provider that interacts with the analysis tools as shown below:
[<img src="/docs/OSLC_FBK_Tool_WebApplication.png" width="600">](/docs/OSLC_FBK_Tool_WebApplication.png)
The analysis tool functionalities are be available by means of Automation Plans; the title attribute `<dcterms:title>` of the Automation Plan selects the tool functionality.
At the current time, the available Plans for the FBK analysis tools are the following:
| Analysis Tool Functionality | Automation Plan `dcterms:title` |
| ------ | ------ |
| Check Contract Refinement | ocra_check_refinement |
| Check Contract Implementation | ocra_check_implementation |
| Check Contract Composite Implementation | ocra_check_composite_impl |
| Check Contract Validation Property | ocra_check_validation_prop |
| Compute Fault Tree | ocra_compute_fault_tree |
| Print System Implementation | ocra_print_system_implementation |
| Print Implementation Template | ocra_print_implementation_template |
| Instantiate Parametric Architecture | ocra_instantiate_parametric_arch |
| Get Required Architecture Parameters | ocra_get_required_arch_parameters |
| Behavior Model Check | nuxmv_check_model |
| Expand Fault Extensions | xsap_expand_fault_extensions |
| Extend Model | xsap_extend_model |
| Compute Fault Tree | xsap_compute_fault_tree |
| Compute FMEA Table | xsap_compute_fmea_table|
---
### Dependencies
Currently EATA has been tested for Eclipse `Neon`, `2020-06` and `2021-03`
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment