| ECSEL JU Grant nr. 692455-2 ECSEL/0006/2015 (H2020-ECSEL-2015-2-IA-two-stage)|
37 months (May 2016 to May 2019)
|Summary:||ENABLE-S³ will pave the way for accelerated application of highly automated and autonomous systems in the mobility domains automotive, aerospace, rail and maritime as well as in the health care domain. Virtual testing, verification and coverage-oriented test selection methods will enable validation with reasonable efforts. The resulting validation framework will ensure Europeans Industry 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). The technical objectives addressed are: 1. Provision of a test and validation framework that proves the functionality, safety and security of ACPS with at least 50% less test effort than required in classical testing. 2. Promotion of a new technique for testing of automated systems with physical sensor signal stimuli generators, which will be demonstrated for at least 3 physical stimuli generators. 3. Raising significantly the level of dependability of automated systems due to provision of a holistic test and validation platform and systematic coverage measures, which will reduce the probability of malfunction behavior of automated systems to 10E-9/h. 4. Provision of a validation environment for rapid re-qualification, which will allow reuse of validation scenarios in at least 3 development stages. 5. Establish open standards to speed up the adoption of the new validation tools and methods for ACPS. 6. Enabling safe, secure and functional ACPS across domains. 7. Creation of an eco-system for the validation and verification of automated systems in the European industry. ENABLE-S³ is strongly industry-driven. Realistic and relevant industrial use-cases from smart mobility and smart health will define the requirements to be addressed and assess the benefits of the technological progress.|
|Funding:||Global: 16.7MEUR, CISTER: 296KEUR|
|Contact Person at CISTER:||Eduardo Tovar|
Visit from Serbian Researcher of the RT-RK National Research Institute
Final Event of the ENABLE-S3 project in Graz, Austria
David Pereira participated in ENABLE-S3 review project meeting
Innovation for Safe and Secure Highly Automated and Autonomous Systems
Next ENABLE-S3 GA at CISTER
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.
Next ENABLE-S3 General Assembly at CISTER
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.
HAPPY NEW 2017!
ENABLE-S3 General Assembly in Madrid
The main focus of the meeting was to help consolidate the ongoing specifications of several use-cases of the project, and associated requirement elicitation process. CISTER participates in three use-cases, namely on the automotive, aerospace, and farming application domains. During the general assembly, CISTER researchers participated in several breakout sessions dedicated to these use cases, where together with the remaining partners involved in the use cases, successfully progressed in their specifications and requirement definition towards the first version of the corresponding deliverables.
ECSEL ENABLE-S3 kick-off meeting held
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.
GMV visits CISTER
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.
Martijn Rooker, Pablo Horstrand, Aythami Salvador Rodriguez, Sebastian Lopez, Roberto Sarmiento, Jose Lopez, Ray Alejandro Lattarulo, Joshue Manuel Perez Rastelli, Zora Slavik, David Pereira, Markku Pusenius, Tapio LeppälampiSmart Farming Workshop (Smart Farming 2018). 10, Apr, 2018, Workshop. Porto, Portugal.SmartFarming Workshop was held as part of the CPS Week 2018, Porto - Portugal, April 10th - 13th, 2018.
Fernando Gonçalves, David Pereira, Eduardo Tovar, Leandro BeckerVII Brazilian Symposium on Computing Systems Engineering (SBESC 2017). 7 to 10, Nov, 2017, Session 10: Development and Tools - B, pp 117-124. Curitiba, Brasil.
Bruno Vieira, Ricardo Severino, Anis Koubâa, Eduardo TovarDemo in 22nd IEEE International Symposium on Real-Time Computing (ISORC 2019). 7 to 9, May, 2019. Valencia.