Cyber Physical Systems for Europe

Informazioni relative al progetto

CPS4EU

ID dell’accordo di sovvenzione: 826276

DOI 10.3030/826276

Progetto chiuso

Data della firma CE 2 Luglio 2019

Data di avvio 1 Luglio 2019

Data di completamento 30 Settembre 2022

Finanziato da

• INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT)

Costo totale € 52 458 154,46

Contributo UE € 12 827 005,77

Coordinato da

VALEO COMFORT AND DRIVING ASSISTANCE
France

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Websites, patent fillings, videos etc. (6)

Website and Social Media Channels v3

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 partnersThe website will be updated continuously with the results of the projectBME will create the social media channels and connects them to the website

Industrial information, Coaching, Training v3

Seminars and conferences organization thereafter contributors will provide a number of participating SMEs startups and research organizations Presentation document or videos for SMEs startups and research organizations to promote the CPS4EU project and technologiesJESSICA 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

Website and Social Media Channels v2

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 v2

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.

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.

Documents, reports (27)

Specification of CPS communication module v1

Specification of CPS communication module

Report on the publications v2

Report about journal, conference papers and video training materials.

Use case validation v2

Use Case 1 Report on testing and validation of an automaton built with the framework including assessment of robustness of the framework for the chosen ICT configurationUse Case 2 Unit test and integration program and results

Report on reaching SMEs v1

Report on reaching SMEs

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.

Road mapping and Benchmark v3

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

Road mapping and Benchmark v2

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

Report on reaching SMEs v2

Report on reaching SMEs

Propositions for 5G, including URLLC evolution v1

Propositions for 5G, including URLLC evolution

Simulation tools and experimental platforms v2

Simulation tools and experimental platforms

Use case requirements v3

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 fieldUpdate of version v2 D82

Report on the publications v1

Report about journal, conference papers and video training materials.

Simulation tools and experimental platforms v1

Simulation tools and experimental platforms

Report on the publications v3

Report about journal conference papers and video training materials

Specification of CPS communication module v2

Specification of CPS communication module

CPS Tools - Best practice guide

Feedback on CPS industry tool requirements and tool pre-integration schemes

Validation results report (industry automation use case)

Validation results report

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.

Test and Validation plan
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 v2

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).

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).

Propositions for 5G, including URLLC evolution v2

Propositions for 5G including URLLC evolution

CPS Tools - Evaluation

Assessment of tools and tools preintegration schemes to support development phases of cyberphysical systems

Use case requirements v2

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.

Use case validation v1

Use Case 1: Report on testing and validation of an automaton built with the framework including assessment of robustness of the framework for the chosen ICT configuration. Use Case 2: Unit test and integration program and results.

CPS Tools - Requirement analysis

Analysis of tool needs in connection with use cases

Pubblicazioni

Conference proceedings (46)

Predictive control based on stochastic disturbance trajectories for congestion management in sub-transmission grids

Autori: Nouha Dkhili, Sorin Olaru, Alessio Iovine, Manuel Ruiz, Jean Maeght, Patrick Panciatici
Pubblicato in: IFAC-PapersOnLine, Volume 55, Numero 16, 2022, Pages 302-307, ISSN 2405-8963, 2022
Editore: Elsevier
DOI: 10.1016/j.ifacol.2022.09.041

A Model-Based Approach to Automatic Generation of TSN Network Simulations

Autori: M. Samson, T. Vergnaud, É. Dujardin, L. Ciarletta, Y. -Q. Song
Pubblicato in: IEEE 18th International Conference on Factory Communication Systems (WFCS), 2022
Editore: IEEE
DOI: 10.1109/wfcs53837.2022.9779173

Offline segmentation of spatio-temporal order trajectories by mixed-integer linear programming for determining process times in production systems

Autori: Maximilian Volk, Carina Mieth
Pubblicato in: Procedia CIRP, Numero yearly, 2022
Editore: Elsevier
DOI: 10.1016/j.procir.2022.05.050

AUTOMATIC COMPONENT-BASED SYNTHESIS OF USER-CONFIGURED MANUFACTURING SIMULATION MODELS

Autori: Fadil Kallat, Jens Hetzler, Alexander Mages, Carina Mieth, Jakob Rehof, Christian Riest, Tristan Schäfer
Pubblicato in: Proceedings of the Winter Simulation Conference 2022, 2023
Editore: IEEE Press

INNOVATIVE APPROACH TO QUANTIFY AND QUALIFY THE REAL TRAFFIC NOISE POLLUTION

Autori: Kévin Cormier, Florent Masson, Patrice Pischedda
Pubblicato in: Conference of the Acoustical Society of New Zealand - Acoustics 2022, 2022
Editore: New Zealand Acoustical Society Incorporated

Functional Model-Based Resource Management : an Application to the Electric Vehicle Thermal Control

Autori: Baptiste Boyer, Philippe Fiani, Guillaume Sandou, Emmanuel Godoy, Cristina Vlad
Pubblicato in: 17th International Conference on Informatics in Control, Automation and Robotics, 2020
Editore: ICINCO

Demonstrating The MAAT REQ Tool: Using Algebraic Process Models To Support Time-Sensitive Requirements Design

Autori: Boutheina Bannour, Arnault Lapitre, Patrick Tessier, Guillaume Giraud
Pubblicato in: IEEE Real-Time Systems 43rd Symposium (RTSS), 2022
Editore: IEEE Computer Society Technical Community on Real-Time Systems

Analysis of on-chip communication properties in accelerator architectures for deep neural networks

Autori: Hana Krichene, Jean-Marc Philippe
Pubblicato in: NOCS '21: Proceedings of the 15th IEEE/ACM International Symposium on Networks-on-Chip, 2021
Editore: IEEE
DOI: 10.3030/826276

Integer-Only Approximated MFCC for Ultra-Low Power Audio NN Processing on Multi-Core MCUs

Autori: Marco Fariselli, Manuele Rusci, Joel Cambonie, Eric Flamand
Pubblicato in: 2021 IEEE 3rd International Conference on Artificial Intelligence Circuits and Systems (AICAS), 2021, Pagina/e 1-4, ISBN 978-1-6654-1913-0
Editore: IEEE
DOI: 10.1109/aicas51828.2021.9458491

SDN-Based Management Solution for Time Synchronization in TSN Networks

Autori: Minh-Thuyen Thi, Siwar Ben Hadj Said, Michael Boc
Pubblicato in: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020, Pagina/e 361-368, ISBN 978-1-7281-8956-7
Editore: IEEE
DOI: 10.1109/etfa46521.2020.9211923

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

Autori: Morayo Adedjouma, Nataliya Yakymets
Pubblicato in: ICSEA 2020, Numero 2020, 2020
Editore: IARA XPS Press

In-Situ Thermal Performance Monitoring of Pharma 4.0 Flow Bioreactors

Autori: Kristóf, Hegedűs ; Gusztáv, Hantos ; Tamás, Pardy ; Ferenc, Ender
Pubblicato in: In: Proceedings of the 26th International Workshop on THERMal INvestigations of ICs and Systems (THERMINIC'20 online), 2020
Editore: IEEE

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

Autori: Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Domenico Marino, Francesco Orciuoli
Pubblicato in: 2020 IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS), 2020, Pagina/e 1-7, ISBN 978-1-7281-4384-2
Editore: IEEE
DOI: 10.1109/eais48028.2020.9122759

Analyzing Throughput for Cyber-Physical Systems modeled with Synchronous Dataflow

Autori: P. Glanon, S. Azaiez, C. Mraidha
Pubblicato in: CPS Summer School, PhD Workshop 2019, Numero 2019, 2019
Editore: CEUR

Adaptation of Architecture Analyses: An IoT Safety and Security Flaw Assessment Approach

Autori: Julia Rauscher, Bernhard Bauer
Pubblicato in: Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, 2021, Pagina/e 320-327, ISBN 978-989-758-490-9
Editore: SCITEPRESS - Science and Technology Publications
DOI: 10.5220/0010206303200327

Modeling the Partial Renewable Power Curtailment for Transmission Network Management

Autori: Alessio Iovine, Duc-Trung Hoang, Sorin Olaru, Jean Maeght, Patrick Panciatici, Manuel Ruiz
Pubblicato in: https://www.powertech2021.com/, Numero June 2021, 2021
Editore: TBD

YOLO-based Panoptic Segmentation Network

Autori: Manuel Alejandro Diaz Zapata, Ozgur Erkent, Christian Laugier
Pubblicato in: 2021 IEEE 45th Annual Computers, Software, and Applications Conference COMPSAC, Numero 12-16 July 2021, 2021
Editore: IEEE

Computational imaging for drill bit wear estimation

Autori: Salvatore Dello Iacono, Giuseppe Di Leo, Consolatina Liguori
Pubblicato in: I2MTC2021, 2021
Editore: IEEE

Distributed Smart Measurement Architecture for Industrial Automation

Autori: Paolo Azzoni, Gianfranco Caminale, Marco Carratù, Salvatore Dello Iacono, Giuseppe Fenza, Nicola Gallo, Consolatina Liguori, Elisa Londero, Antonio Pietrosanto, Nicolo Rebella
Pubblicato in: 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC), Numero Annual, 2021
Editore: IEEE

Performance Optimization in Control Systems Using Entropy

Autori: Antonio Ruiz-Alba, Ken Sharman, Sergio Saéz
Pubblicato in: XLII Jornadas de Automática, 2021
Editore: Comité Español de Automática
DOI: 10.17979/spudc.9788497498043.739

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

Autori: Nataliya Yakymets, Morayo Adedjouma
Pubblicato in: ISSRE 2020, Numero 2020, 2021
Editore: IEEE

Quantization of Neural Network Demapper for sub-Thz communications

Autori: A. Falempin, J.-B. Doré, T. D. Nguyen, J. Schmitt
Pubblicato in: IEEE Vehicular Technology Conference (VTC-Fall), 2022
Editore: IEEE

Dynamic Resource Scheduling Optimization for Ultra-Reliable Low Latency Communications: From Simulation to Experimentation

Autori: L. N. Dinh, R. Bertolini, M. Maman
Pubblicato in: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), 2022
Editore: IEEE

IEEE 802.1 TSN Time Synchronization over Wi-Fi and 5G Mobile Networks

Autori: MT Thi, S Guédon, SBH Said, M Boc, D Miras, J-B Dore, M Laugeois, X Popon, B Miscopein
Pubblicato in: IEEE VTC2022-Fall, 2022
Editore: IEEE

A temporal configuration logic for dynamic reconfigurable systems

Autori: Antoine El-Hokayem, Marius Bozga, Joseph Sifakis
Pubblicato in: Proceedings of the 36th Annual ACM Symposium on Applied Computing, 2021, Pagina/e 1419-1428, ISBN 9781450381048
Editore: ACM
DOI: 10.1145/3412841.3442017

Some trends in CPS systems and underlying technologies

Autori: Cédric DEMEURE
Pubblicato in: Euromicro Conference on Digital System Design - DSD - 2020, Numero yearly, 2020
Editore: Youtube

From Structured Requirement for Cyber-Physical Systems to Process Algebra: A Research Preview

Autori: Mathilde Arnaud, Boutheina Bannour, Guillaume Giraud, and Arnault Lapitre
Pubblicato in: REFSQ, 2021
Editore: Springer

Advanced management of network overload in areas with Renewable Energies Sources

Autori: Thanh-Hung Pham, Alessio Iovine, Sorin Olaru, Jean Maeght, Patrick Panciatici, Manuel Ruiz
Pubblicato in: IFAC-CPES 2022 11th Symposium on Control of Power and Energy Systems, 2022
Editore: CPES 2022

Predictive Control for Zonal Congestion Management of a Transmission Network

Autori: Duc-Trung Hoang, Sorin Olaru, Alessio Iovine, Jean Maeght, Patrick Panciatici, Manuel Ruiz
Pubblicato in: Control and Decision Conference, 2021, Numero 13/12/2021, 2021
Editore: CentraleSupelec

Error Structure Aware Parallel BP-RNN Decoders for Short LDPC Codes

Autori: Joachim Rosseel, Valérien Mannoni, Valentin Savin, Inbar Fijalkow
Pubblicato in: IEEE International Symposium on Topics in Coding (ISTC), 2021
Editore: IEEE

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

Autori: Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer
Pubblicato in: ECAI 2020, Numero 2020, 2020, ISSN 1291-5912
Editore: CEA

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

Autori: Carina Mieth
Pubblicato in: 2019 Winter Simulation Conference (WSC), 2019, Pagina/e 2061-2072, ISBN 978-1-7281-3283-9
Editore: IEEE
DOI: 10.1109/wsc40007.2019.9004753

Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS

Autori: Mathilde Arnaud
Pubblicato in: Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021, Pagina/e 291-296, ISBN 1-891706-52-7
Editore: KSI Research Inc.
DOI: 10.18293/seke2021-147

Nonlinearity Handling in MPC for Power Congestion Management in Sub-Transmission Areas

Autori: Pham, Thanh Hung (CNRS - CentraleSupelec), Iovine, Alessio (CNRS, CentraleSupélec), Olaru, Sorin (CentraleSupelec), Maeght, Jean (RTE France Réseau De Transport D'Electricité), Panciatici, Patrick (RTE), Ruiz, Manuel (RTE)
Pubblicato in: 18th IFAC Workshop on Control Applications of Optimization proceedings, 2022
Editore: IFAC
DOI: 10.1016/j.ifacol.2022.09.003

IAS: an IoT Architectural Self-adaptation Framework

Autori: Mahyar T Moghaddam, Eric Rutten, Philippe Lalanda, Guillaume Giraud
Pubblicato in: 14th European Conference on Software Architecture (ECSA), Numero 2020, 2020
Editore: Springer

Evaluating Handover Performance for End-to-End LTE Networks with OpenAirInterface

Autori: Rodolphe Bertolini, Mickael Maman
Pubblicato in: IEEE Vehicular Technology Conference (VTC-Fall), 2021
Editore: IEEE

EMBEDDED FRANCE new Organization and Missions

Autori: Cendrine Barruyer, Cédric Demeure, Olivier Guetta, Jean-Luc Chabaudie
Pubblicato in: EMBEDDED REAL TIME SYSTEMS conference - ERTS 2020, Numero every 2 years, 2020
Editore: 3AF

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

Autori: Girard-Satabin, Julien and Charpiat, Guillaume and Chihani, Zakaria and Schoenauer, Marc
Pubblicato in: PFIA 2020, Numero 2020, 2020
Editore: https://hal.inria.fr/hal-02440520

From Operational Scenarios to Synthetic Data: Simulation-Based Data Generation for AI-Based Airborne Systems

Autori: Siddhartha Gupta, Umut Durak, Oliver Ellis, Christoph Torens
Pubblicato in: AIAA Scitech Forum, 2022
Editore: American Institute of Aeronautics and Astronautics

Entwicklung und Erprobung eines Vorgehens zur Validierung von Simulationsbausteinen komplexer Werkzeugmaschinen

Autori: Greta Tjaden, Carina Mieth
Pubblicato in: Simulation in Produktion und Logistik, 2021
Editore: Cuvillier Verlag

Power Congestion Management of a sub-Transmission Area Power Network using Partial Renewable Power Curtailment via MPC

Autori: Duc-Trung Hoang, Sorin Olaru, Alessio Iovine, Jean Maeght, Patrick Panciatici, Manuel Ruiz
Pubblicato in: MED2021 29th Mediterranean Conference on Control and Automation, Numero Annual, 2021
Editore: MED2021

Transferable and Distributed User Association Policies for 5G and Beyond Networks

Autori: M. Sana, N. di Pietro, E. Calvanese Strinati
Pubblicato in: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), 2021
Editore: IEEE

Understanding interdisciplinarity in European projects

Autori: J.Delsing, P.Gougeon, M.Karner
Pubblicato in: Inside Magazine, 2022
Editore: Inside Industry Association

Cyclic Scheduling of Loop-Intensive Applications on Heterogeneous Multiprocessor Architectures

Autori: Philippe Glanon, Selma Azaiez, Chokri Mraidha
Pubblicato in: 2020 IEEE 26th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2020, Pagina/e 1-10, ISBN 978-1-7281-4403-0
Editore: IEEE
DOI: 10.1109/rtcsa50079.2020.9203667

Bridging the gap between structural and behavioral models in a software-centric environment

Autori: Noël Hagemann, Bernhard Bauer
Pubblicato in: Business Modeling and Software Design, Numero Annual, 2021
Editore: Springer

Une approche de génération automatique de configuration basée sur les modèles pour les réseaux TSN

Autori: M. Samson, T. Vergnaud, E. Dujardin, L. Ciarletta and Y. Song
Pubblicato in: Actes de l’École d’été Temps Réel, 2021
Editore: Université de Poitiers

Other (6)

Sequans Delivers Industry’s First Common Criteria EAL5+ Certified Cellular IoT Platform

Autori: Sequans communications
Pubblicato in: Press Release on www.sequans.com, 2021
Editore: Sequans

Pour un développement accéléré des systèmes cyberphysiques

Autori: Etienne Hamelin
Pubblicato in: Industrie Technologies, 2022
Editore: Industrie Technologies

Design and Analysis of MIMO Systems Using Energy Detectors for Sub-THz Applications

Autori: S. Bicaïs, A. Falempin, J. -B. Doré, V. Savin
Pubblicato in: IEEE Transactions on Wireless Communications, 2022
Editore: IEEE

Discontinuous Computation Offloading for Energy-Efficient Mobile Edge Computing

Autori: M. Merluzzi, N. Di Pietro, P. Di Lorenzo, E. Calvanese Strinati, S. Barbarossa
Pubblicato in: IEEE Transactions on Green Communications and Networking, 2022
Editore: IEEE

Self-adaptive Security in CPS : Application to Smart Grids

Autori: Salim Chehida, Eric Rutten, Stéphane Mocanu (INRIA), Guillaume Giraud (RTE)
Pubblicato in: To be confirmed, 2023
Editore: To be completed after submission

Stochastic Geometry Framework for Ultrareliable Cooperative Communications With Random Blockages

Autori: G. Ghatak, S. R. Khosravirad , A. De Domenico
Pubblicato in: IEEE Internet of Things Journal, 2022
Editore: IEEE

Peer reviewed articles (7)

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

Autori: Fadil Kallat, Carina Mieth, Jakob Rehof, Anne Meyer
Pubblicato in: Procedia CIRP, Numero 93, 2020, Pagina/e 556-561, ISSN 2212-8271
Editore: Elsevier
DOI: 10.1016/j.procir.2020.03.018

On the Monitoring of Decentralized Specifications

Autori: Antoine El-Hokayem, Yliès Falcone
Pubblicato in: ACM Transactions on Software Engineering and Methodology, Numero 29/1, 2020, Pagina/e 1-57, ISSN 1049-331X
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3355181

Towards Intelligent Industrial Automation

Autori: M. Settembre, G. Caminale, A. Almi, M. Amoruso, F. Cenci, N. Gallo, D. Fuggiano, F. Bianchi, L. Rovera, R. Labruto, B. Tranchero
Pubblicato in: Polaris Innovation Journal - Numero 40, 2019, ISSN 2532-6929
Editore: LEONARDO

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

Autori: Luigi Catuogno, Clemente Galdi, Daniel Riccio
Pubblicato in: IEEE Access, Numero 8, 2020, Pagina/e 95987-95996, ISSN 2169-3536
Editore: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2020.2995564

Automatic Composite Parts Defect Detector

Autori: S. Corvaglia, N. Gallo, C. Baecchi, A. Del Bimbo, G. D’Attis, G. Nobile
Pubblicato in: Polaris Innovation Journal - Numero 40, 2019, ISSN 2532-6929
Editore: LEONARDO

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

Autori: A. Mazzotta, G. Iagulli, V. De Vita
Pubblicato in: Polaris Innovation Journal - Numero 41, 2020, ISSN 2532-6929
Editore: LEONARDO

Learning and analysis of sensors behavior in IoT systems using statistical model checking

Autori: Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
Pubblicato in: Software Quality Journal, 2021, ISSN 0963-9314
Editore: Kluwer Academic Publishers
DOI: 10.1007/s11219-021-09559-w

Book chapters (8)

CPS Engineering: Gap analysis and perspectives

Autori: LEDINOT Emmanuel
Pubblicato in: LEIBNIZ TRANSACTIONS ON EMBEDDED SYSTEMS (LITES) Special Numero on Distributed Hybrid Systems, 2021
Editore: Cyber-Physical Systems Virtual Organization

IAS: An IoT Architectural Self-adaptation Framework

Autori: Mahyar T. Moghaddam, Eric Rutten, Philippe Lalanda, Guillaume Giraud
Pubblicato in: Software Architecture - 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings, Numero 12292, 2020, Pagina/e 333-351, ISBN 978-3-030-58922-6
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-58923-3_22

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

Autori: Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg
Pubblicato 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, Numero 12477, 2020, Pagina/e 457-472, ISBN 978-3-030-61469-0
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-61470-6_27

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

Autori: Julia Rauscher, Bernhard Bauer
Pubblicato in: Business Modeling and Software Design - 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings, Numero 391, 2020, Pagina/e 84-102, ISBN 978-3-030-52305-3
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-52306-0_6

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

Autori: Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Pubblicato in: Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings, Numero 12310, 2020, Pagina/e 284-302, ISBN 978-3-030-58767-3
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-58768-0_16

Semantic CPPS in Industry 4.0

Autori: Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Domenico Marino, Francesco Orciuoli, Alberto Volpe
Pubblicato in: Advanced Information Networking and Applications - Proceedings of the 34th International Conference on Advanced Information Networking and Applications (AINA-2020), Numero 1151, 2020, Pagina/e 1057-1068, ISSN 1071-2437, ISBN 978-3-030-44040-4
Editore: Springer International Publishing
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

Autori: Alfonso Di Pace, Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Aldo Meglio, Francesco Orciuoli
Pubblicato in: Advanced Information Networking and Applications - Proceedings of the 34th International Conference on Advanced Information Networking and Applications (AINA-2020), Numero 1151, 2020, Pagina/e 957-967, ISBN 978-3-030-44040-4
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-44041-1_83

Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules

Autori: Philippe Glanon, Selma Azaiez, Chokri Mraidha
Pubblicato in: Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings, Numero 11847, 2019, Pagina/e 79-94, ISBN 978-3-030-35091-8
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-35092-5_6

Non-peer reviewed articles (3)

Digital Twin Circular Approach for Helicopter Design and Training

Autori: C. Emmanuele, D. Del Gobbo, G.I. Gaggero, R. Sanguini
Pubblicato in: Polaris Innovation Journal - Numero 39, 2019, ISSN 2532-6929
Editore: LEONARDO

Predictive Maintenance in the Digital Age

Autori: P. Venanzangeli
Pubblicato in: Polaris Innovation Journal - Numero 40, 2019, ISSN 2532-6929
Editore: LEONARDO

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

Autori: M. McDonald
Pubblicato in: Polaris Innovation Journal - Numero 40, 2019, ISSN 2532-6929
Editore: LEONARDO