Fourth semester of AMASS (and new newsletter)

Share this post :

AMASS has already entered into its last year towards the provision of the European-wide open platform and community for assurance and certification of cyber-physical systems! This post summarises the progress made during the fourth semester of the project, complementing previous posts on e.g. the progress during the first semester, the second semester, and the third semester, and the first project review.

During the fourth semester of the project, the technical work by the AMASS consortium has strongly focused on two main activities: (1) completion of the specification and implementation of the second tool platform prototype (Prototype P1), and (2) evaluation of the implemented tools in industrial case studies.

For Architecture-Driven Assurance, the AMASS Prototype P1 includes solutions for the left-hand side of the V-model at high- and low-level design (system architecture modelling, architectural patterns for assurance, contract-based design for assurance, requirements support), as well as corresponding V&V activities on the right-hand side of the V-model (i.e. V&V-based assurance). The AMASS partners have developed approaches for Multi-Concern Assurance in relation to dependability assurance modelling, contract-based multi-concern assurance, and system dependability co-analysis and assessment. Further tool interoperability technologies (e.g. OSLC-KM and for V&V tools) and features for collaborative work (e.g. for traceability and data mining) have enhanced Seamless Interoperability. The main new solutions for Cross- and Intra-Domain Reuse are advanced reuse assistance, process- and product-related reuse via variability management, and automatic generation of process arguments and of product-based ones. Deliverables D3.5, D4.5, D5.5 and D6.5 document the implementation results for Prototype P1, and deliverables D3.7, D4.7, D5.7 and D6.7 present the methodological guidance to use the results.

The industrial evaluation of Prototype P1 has been documented in D1.5. It presents the main outcome from the implementation of the case studies by using the Prototype in the automotive, railway, aerospace, space, and energy domains. Some case studies have also used functionalities of the Core Prototype, e.g. OpenCert or EPF Composer for compliance management. For each case study, the coverage with respect to the AMASS Prototype P1 has been identified and the feedback from industrial partners collected. This feedback is of vital importance and an active proof of the performance of the AMASS platform in the industry.

In addition, different work packages have worked on the conceptual and design view for the third prototype (Prototype P2). This conceptual and design work includes: (1) assurance patterns for contract-based design, new means for fault injection, and different ways to assess system artefact quality; (2) concepts for multi-concern contracts, processes, and analyses (e.g. through Failure Modes, Vulnerabilities and Effect analysis); (3) integration of the AMASS Tool Platform with further commercial tools developed by the AMASS partners; and (4) new support for assurance asset search and for analysis of reuse possibilities and consequences.

Last but not least, progress has been made on non-technical aspects such as community building and industrial impact, as well as dissemination, training, exploitation, and standardization. This includes the organisation of the second EAB (External Advisory Board) workshop to be held in Västerås, Sweden, in September 2018, together with the SafeComp 2018 Conference. Several AMASS partners participate in the organisation of this conference and of its workshops (DECSoS, SASSUR, and WAISE).

The above progress and further recent work is reported in the fourth project newsletter.