ENABLE-S3 is industry-driven and aspires to substitute today’s cost-intensive verification & validation efforts by more advanced and efficient methods to pave the way for the commercialization of highly automated cyber physical systems (ACPS).
ENABLE-S3 will add important missing verification & validation technology bricks which are required to ensure the dependability (safety and security) of ACPS at affordable costs and will set the basis for future standards in this field. Thus ENABLE-S3 results shall help to enable the market introduction of this new and for Europe’s industry very important technology of automated systems. ENABLE-S3 will, in this way, help the European industry to retain leadership in the strategic field of automated systems due to faster development and test of new products, fewer call-backs and faster follow-up of call-backs with higher quality, which allows to step into and to create new markets. ENABLE-S3 is led by AVL List GmbH, has an overall budget of €64.8 M, and the consortium is formed by 71 partners ranging over 16 different countries.

The second General Assembly meeting of the ENABLE-S3 European project will be hosted by CISTER, in the ISEP premises, and will take place on the upcoming 23rd and 24th of May 2017. The meeting will count with the presence of around 100 participants, including academics and industrialists from key European players, including AVL, Thales, Airbus, Philips, Renault, among many others, as well as researchers from well-known European academic institutions. During the General Assembly meeting, the results of the first year of the project will be analyzed, and the first prototype demonstrations of the various use-cases addressed by the project will also take place.

In ENABLE-S3, CISTER is involved in three of ENABLE-S3’s use cases, namely: Use Case 4 – Traffic Jam Pilot, led by the Portuguese partner GMV Skysoft; Use Case 7 – Touch and Go Assistant, lead by Airbus; and Use Case 13 – Farming, led by TTControl. In these use cases, CISTER researchers bring to the table knowledge and experience on several topics that strongly relate and contribute to the safety and security aspects being tackled by the project, namely, static and dynamic formal verification, vehicle platooning, and real-time scheduling analysis.

The second General Assembly meeting of the ENABLE-S3 European project will be hosted by CISTER, and will take place on the 23rd and 24th of May 2017. The meeting will count with the presence of industrialists from key European players such as Airbus, AVL, Philips, Renault, Thales, among many others, as well as researchers from well-known European academic institutions.

The goal of ENABLE-S3 is to pave the way for accelerated application of highly automated and autonomous systems in the mobility domains of automotive, aerospace, rail and maritime as well as in the healthcare domain. Virtual testing, verification and coverage-oriented test selection methods will enable validation with reasonable efforts. The resulting validation framework will ensure European industrial competitiveness in the global race of automated systems with an expected market potential of 60B€ in 2025. Project results will be used to propose standardized validation procedures for highly automated systems (ACPS).
During the General Assembly meeting, the latest developments and the next steps of the project will be discussed. The first prototype demonstrations of the various use-cases addressed by the project will also take place.

CISTER researcher David Pereira participated in the kick-off meeting of the recently approved ECSEL project ENABLE-S3. This project addresses the development and deployment of highly automated and autonomous cyber-physical systems, enabled by new functional, safety and security verification and validation approaches.

CISTER participates in several work packages where research and development activities are going to take place in order to build the verification bricks that aspire to substitute today’s cost-intensive validation and verification efforts by virtual and semi-virtual testing and verification in order to pave the way for efficient development of highly automated and autonomous systems. The project covers relevant use-cases arising from six different industry sectors, and CISTER participates in three of them - automotive, aerospace, and farming.

ENABLE-S3 partners include AVL, Renault, Airbus Group, IBM, Magnetti Marelli, among many others, with GMV Skysoft acting as the key national industry player.

CISTER has already a long history of collaborations with GMV Portugal, in particular its Homeland Security and Defence Division. On the 12th of May, CISTER hosted a meeting with another division of GMV Portugal, Transport and Mobility, to explore new collaboration opportunities. GMV is a leader in solutions for aerospace and transportation industry, which constitutes an important strategic sector for CISTER. During the meeting, tasks on the joint use case implementations in the ongoing ECSEL projects SafeCOP and ENABLE-S3 were also discussed. GMV personnel Bruno Gonçalves and Paulo Gomes (Head of Road & Automotive Section - Transport & Mobility) also familiarized themselves with CISTER's facilities and CISTER's CITech – Industry Transfer Center, where several demonstrators were shown.