Cyber Physical Systems for Europe

Deliverables

Documents, reports (7)

Specification of CPS communication module v1

Specification of CPS communication module

SME Use Case specification & implementation

Partners will describe motivation and initial technical specification of their demonstrators. Description of an initial stage of implementation SM Use Case demonstrators and technologies used to achieve it. Partners will describe the initial stage of their demonstrators. Status of each demonstrator will be briefly described in a common report and the stage of development will be presented by video or by physical demo.

Report on the publications v1

Report about journal, conference papers and video training materials.

Use case requirements v1

A specification of technical and business requirements for each individual use case. The deliverable will dedicate one chapter to an update of the analysis of state of the art in the CPS for industry automation field.

Road mapping and Benchmark v1

The Marketing office of the CEA will manage a market study through a questionnaire to have an overview of the technologies.

Use case definition and specifications v1

Use Case 1: Definition and high level specifications of a Framework enabling and efficient, reliable and agile distributed control architecture (contribution to WP4 specification). Specification of distributed control implementing a Model Predictive Control strategy. Use Case 2: Safety report for critical function (to select adequate redundancy policy).

CPS Tools - Requirement analysis

Analysis of tool needs in connection with use cases

Websites, patent fillings, videos etc. (2)

Website and Social Media Channels v1

The project website will include a public part to inform the general public, focusing on SMEs and a private part to enable optimized communication among the project partners. The website will be updated continuously with the results of the project. BME will create the social media channels and connects them to the website.

Industrial information, Coaching, Training v1

Seminars and conferences organization thereafter contributors will provide a number of participating SMEs, start-ups and research organizations. Presentation document or videos for SMEs, start-ups and research organizations to promote the CPS4EU project and technologies. JESSICA FRANCE will provide advices (through consulting engineer) to SMEs on the integration of the CPS after what JESSICA FRANCE will provide a number of advised SMEs.

Publications

Peer reviewed articles (5)

Using Component-based Software Synthesis and Constraint Solving to generate Sets of Manufacturing Simulation Models

Author(s): Fadil Kallat, Carina Mieth, Jakob Rehof, Anne Meyer
Published in: Procedia CIRP, Issue 93, 2020, Page(s) 556-561, ISSN 2212-8271
DOI: 10.1016/j.procir.2020.03.018

Towards Intelligent Industrial Automation

Author(s): M. Settembre, G. Caminale, A. Almi, M. Amoruso, F. Cenci, N. Gallo, D. Fuggiano, F. Bianchi, L. Rovera, R. Labruto, B. Tranchero
Published in: Polaris Innovation Journal - Issue 40, 2019, ISSN 2532-6929

An Enterprise Rights Management System for On-the-Field Maintenance Facilities

Author(s): Luigi Catuogno, Clemente Galdi, Daniel Riccio
Published in: IEEE Access, Issue 8, 2020, Page(s) 95987-95996, ISSN 2169-3536
DOI: 10.1109/access.2020.2995564

Automatic Composite Parts Defect Detector

Author(s): S. Corvaglia, N. Gallo, C. Baecchi, A. Del Bimbo, G. D’Attis, G. Nobile
Published in: Polaris Innovation Journal - Issue 40, 2019, ISSN 2532-6929

Multifunctional Cell for Complex Aerostructures Assembly and Aircraft Maintenance Assisted by Neural Network

Author(s): A. Mazzotta, G. Iagulli, V. De Vita
Published in: Polaris Innovation Journal - Issue 41, 2020, ISSN 2532-6929

Conference proceedings (11)

SDN-Based Management Solution for Time Synchronization in TSN Networks

Author(s): Minh-Thuyen Thi, Siwar Ben Hadj Said, Michael Boc
Published in: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020, Page(s) 361-368
DOI: 10.1109/etfa46521.2020.9211923

A Model-Based Safe-by-Design Approach with IP Reuse for Automotive Applications

Author(s): Morayo Adedjouma, Nataliya Yakymets
Published in: ICSEA 2020, Issue 2020, 2020

A Cognitive Approach based on the Actionable Knowledge Graph for supporting Maintenance Operations

Author(s): Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Domenico Marino, Francesco Orciuoli
Published in: 2020 IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS), 2020, Page(s) 1-7
DOI: 10.1109/eais48028.2020.9122759

Analyzing Throughput for Cyber-Physical Systems modeled with Synchronous Dataflow

Author(s): P. Glanon, S. Azaiez, C. Mraidha
Published in: CPS Summer School, PhD Workshop 2019, Issue 2019, 2019

Model-based Quantitative Fault Tree Analysis based on FIDES Reliability Prediction

Author(s): Nataliya Yakymets, Morayo Adedjouma
Published in: ISSRE 2020, Issue 2020, 2021

CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators

Author(s): Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer
Published in: 24th European Conference on Artificial Intelligence, 2020, ISSN 1291-5912

Semantic Enrichment of Spatio-Temporal Production Data to Determine Lead Times for Manufacturing Simulation

Author(s): Carina Mieth
Published in: 2019 Winter Simulation Conference (WSC), 2019, Page(s) 2061-2072
DOI: 10.1109/wsc40007.2019.9004753

Using component-Based Software Synthesis and Constraint Solving o generate Sets of Manufacturing Simulation Models

Author(s): Kallat F., Mieth C., Rehof J., Meyer A.
Published in: 2020

IAS: an IoT Architectural Self-adaptation Framework

Author(s): Mahyar T Moghaddam, Eric Rutten, Philippe Lalanda, Guillaume Giraud
Published in: 14th European Conference on Software Architecture (ECSA), Issue 2020, 2020

Vérification formelle de réseaux de neurones profonds: théorie et pratique

Author(s): Girard-Satabin, Julien and Charpiat, Guillaume and Chihani, Zakaria and Schoenauer, Marc
Published in: PFIA 2020, Issue 2020, 2020

Cyclic Scheduling of Loop-Intensive Applications on Heterogeneous Multiprocessor Architectures

Author(s): Philippe Glanon, Selma Azaiez, Chokri Mraidha
Published in: 2020 IEEE 26th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2020, Page(s) 1-10
DOI: 10.1109/rtcsa50079.2020.9203667

Non-peer reviewed articles (3)

Digital Twin Circular Approach for Helicopter Design and Training

Author(s): C. Emmanuele, D. Del Gobbo, G.I. Gaggero, R. Sanguini
Published in: Polaris Innovation Journal - Issue 39, 2019, ISSN 2532-6929

Predictive Maintenance in the Digital Age

Author(s): P. Venanzangeli
Published in: Polaris Innovation Journal - Issue 40, 2019, ISSN 2532-6929

The Internet of Engineering Things: Big Data Infrastructure for Machine Learning and AI on Complex Engineering Projects

Author(s): M. McDonald
Published in: Polaris Innovation Journal - Issue 40, 2019, ISSN 2532-6929

Book chapters (6)

Synthesizing Control for a System with Black Box Environment, Based on Deep Learning

Author(s): Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg
Published in: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II, Issue 12477, 2020, Page(s) 457-472
DOI: 10.1007/978-3-030-61470-6_27

Design Optimization of IoT Models: Structured Safety and Security Flaw Identification

Author(s): Julia Rauscher, Bernhard Bauer
Published in: Business Modeling and Software Design - 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings, Issue 391, 2020, Page(s) 84-102
DOI: 10.1007/978-3-030-52306-0_6

A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis

Author(s): Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Published in: Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings, Issue 12310, 2020, Page(s) 284-302
DOI: 10.1007/978-3-030-58768-0_16

Semantic CPPS in Industry 4.0

Author(s): Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Domenico Marino, Francesco Orciuoli, Alberto Volpe
Published in: Advanced Information Networking and Applications - Proceedings of the 34th International Conference on Advanced Information Networking and Applications (AINA-2020), Issue 1151, 2020, Page(s) 1057-1068, ISSN 1071-2437
DOI: 10.1007/978-3-030-44041-1_91

Implementing the Cognition Level for Industry 4.0 by Integrating Augmented Reality and Manufacturing Execution Systems

Author(s): Alfonso Di Pace, Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Aldo Meglio, Francesco Orciuoli
Published in: Advanced Information Networking and Applications - Proceedings of the 34th International Conference on Advanced Information Networking and Applications (AINA-2020), Issue 1151, 2020, Page(s) 957-967
DOI: 10.1007/978-3-030-44041-1_83

Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules

Author(s): Philippe Glanon, Selma Azaiez, Chokri Mraidha
Published in: Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings, Issue 11847, 2019, Page(s) 79-94
DOI: 10.1007/978-3-030-35092-5_6