AMASS Platform Developers' Guide
Total Page:16
File Type:pdf, Size:1020Kb
ECSEL Research and Innovation actions (RIA) AMASS Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems AMASS Platform Developers’ Guide Work Package: WP2: Reference Architecture and Integration Dissemination level: PU = Public Status: Final Date: 21st November 2018 Responsible partner: Ángel López (Tecnalia Research & Innovation) Contact information: [email protected] Document reference: AMASS_Platform_DevelopersGuide_WP2_TEC_V1.0 PROPRIETARY RIGHTS STATEMENT This document contains information that is proprietary to the AMASS Consortium. Permission to reproduce any content for non-commercial purposes is granted, provided that this document and the AMASS project are credited as source. This deliverable is part of a project that has received funding from the ECSEL JU under grant agreement No 692474. This Joint Undertaking receives support from the European Union’s Horizon 2020 research and innovation programe and from Spain, Czech Republic, Germany, Sweden, Italy, United Kingdom and France. Contributors Names Organisation A. Ruiz, H. Espinoza, A. Lopez TECNALIA Research & Innovation (TEC) I. Ayala, B. Gallina, M. A. Javed Maelardalens Hoegskola (MDH) S. Puri INTECS (INT) Reviewers Names Organisation C. Martinez (Quality Manager) TECNALIA Research & Innovation (TEC) H2020-JTI-ECSEL-2015 # 692474 Page 2 of 68 AMASS AMASS Platform Developers’ Guide V1.0 TABLE OF CONTENTS Executive Summary................................................................................................................................ 6 1. Introduction ................................................................................................................................... 7 1.1 Scope ................................................................................................................................................... 7 1.2 Naming Conventions ........................................................................................................................... 7 1.2.1 OpenCert................................................................................................................................... 7 1.2.2 CHESS ........................................................................................................................................ 7 1.2.3 EPF Composer ........................................................................................................................... 7 1.2.4 BVR ............................................................................................................................................ 8 1.2.5 V&V Manager ........................................................................................................................... 8 2. Installation of the PostgreSQL Database .......................................................................................... 9 2.1 Installation of the PostgreSQL Database Server on a Windows Machine .......................................... 9 2.2 Creating a Server Database in PostgreSQL ....................................................................................... 10 2.3 Restoring a Server Database in PostgreSQL ..................................................................................... 11 3. Installation of the Eclipse Development Environment .................................................................... 14 3.1 Papyrus Installation........................................................................................................................... 14 3.2 CHESS Installation ............................................................................................................................. 16 3.2.1 Required Features ..................................................................................................................16 3.2.2 Getting the CHESS Plugins ......................................................................................................22 3.3 EPF Composer Installation ................................................................................................................ 28 3.3.1 Getting the EPF Composer Plugins .........................................................................................29 3.4 BVR Installation ................................................................................................................................. 30 3.4.1 Getting the BVR Plugins ..........................................................................................................30 3.5 OpenCert Installation ........................................................................................................................ 31 3.6 Capra Installation .............................................................................................................................. 38 3.6.1 Required Features ..................................................................................................................38 3.6.2 Getting the Capra Plugin .........................................................................................................40 3.7 V&V Manager Installation ................................................................................................................. 40 4. Debugging the Polarsys OpenCert Tools Platform Client ................................................................ 41 5. Creation of the Polarsys OpenCert Tools Platform Client Bundle .................................................... 45 6. Working with the Polarsys OpenCert Tools Platform Server Code .................................................. 61 6.1 Running the Polarsys OpenCert Tools Platform Server in the Eclipse Debugger ............................. 61 6.1.1 Setting up the Apache Tomcat Webserver ............................................................................61 6.1.2 Setting up a Workspace to Run a Debugger ...........................................................................64 6.2 Building the OpenCert Web Server Application war Files ................................................................ 65 6.2.1 Installation of the Gradle Framework ....................................................................................65 6.2.2 Configuration of the Gradle Environment ..............................................................................66 6.2.3 Building Web Application war Files ........................................................................................66 Abbreviations ...................................................................................................................................... 68 H2020-JTI-ECSEL-2015 # 692474 Page 3 of 68 AMASS AMASS Platform Developers’ Guide V1.0 List of Figures Figure 1. Verify the installation of the PostgreSQL database server ............................................................. 9 Figure 2. Launching the database administration application ..................................................................... 10 Figure 3. Create a new database (I) .............................................................................................................. 10 Figure 4. Create a new database (II) ............................................................................................................. 10 Figure 5. Create a new Schema .................................................................................................................... 11 Figure 6. Restoring a PostgreSQL database (I) ............................................................................................. 11 Figure 7. Restoring a PostgreSQL database (II) ............................................................................................ 12 Figure 8. Restoring a PostgreSQL database (III) ........................................................................................... 12 Figure 9. Restoring a PostgreSQL database (IV) ........................................................................................... 12 Figure 10. Restoring a PostgreSQL database (VI) ........................................................................................... 13 Figure 11. Installation of the Papyrus features .............................................................................................. 14 Figure 12. Installation of the CDO Model Repository .................................................................................... 15 Figure 13. Installation of SysML 1.1 ................................................................................................................ 15 Figure 14. Installation of MARTE .................................................................................................................... 16 Figure 15. Installation of Operational QVT, Acceleo and ATL features (I) ...................................................... 17 Figure 16. Installation of Operational QVT, Acceleo and ATL features (II) ..................................................... 17 Figure 17. Installation of Sirius ....................................................................................................................... 18 Figure 18. Installation of ELK .......................................................................................................................... 19 Figure 19. Installation of FBK tools ................................................................................................................. 20 Figure 20. Installation of