Guide to COMPASS Deliverables


This page presents a overview of relevant COMPASS Deliverables, along with notes referring to associated White papers and Research Papers, aimed at providing quick access to the ket outputs from the project. A full list of project deliverables and other publications can be found by browsing the other tabs above.

What are you interested in? Key Deliverables now available Notes
The COMPASS SoS Engineering Guidelines D21.6 Final version D21.6 - Sept 2014
SoS Engineering Guidelines: Focus on Requirements D21.1 Additional information on Guidelines for SoS requirements D21.1 Appendix
SoS Engineering Guidelines: Focus on Architecture (including CAFF, the COMPASS Architectural Framework Framework) D21.5 Final version D21.5 - Sept 2014.
SoS Engineering Guidelines: Focus on Integration D21.4
SoS Architectural Methods D22.6 Final version D22.6 - Sept 2014
SysML to CML Translation D22.4 Final report on combining SysML and CML
CML Semantics D23.2, D23.3, D23.4, D23.5
Compositional Analysis for CML Models D24.4 Final version D24.4 - Sept 2014
Fault Analysis D24.2
Documentation for the COMPASS Tool D31.4b Additional information on the COMPASS tool grammar references D31.4c
CML Final Simulator D32.2
Model-Checking Support documentation

D33.1

Theorem Proving Support documentation:User manual (a) and eceutable code (b)

D33.2a

D33.2b

Static Fault analisys Suport: User manual (a) and technical manual (b)

D33.3a

D33.3b

 
Test Automation documentation D34.1 Additional information on Specialised test strategies D34.2
Contract Support for an Evolving SoS D34.3  
Accident response case study - Initial analysis using existing methods & tools D41.2 Final evaluation of the COMPASS tool & methods on the accident response case study
A/V/HA ecosystems case study - Initial analysis using existing methods & tools D42.2 Final evaluation of the COMPASS tool & methods on theA/VHA ecosystem case study
Initial challenge problem analysis using COMPASS methods & tools D43.3
Documentation on COMPASS Interest Group Workshop D51.4 Additional information on the last CIG Challenge Workshop - London, September 2014 D51.6