European Commission logo
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Cyber Physical Systems for Europe

Resultado final

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.

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

Publicaciones

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

Autores: Nouha Dkhili, Sorin Olaru, Alessio Iovine, Manuel Ruiz, Jean Maeght, Patrick Panciatici
Publicado en: IFAC-PapersOnLine, Volume 55, Edición 16, 2022, Pages 302-307, ISSN 2405-8963, 2022
Editor: Elsevier
DOI: 10.1016/j.ifacol.2022.09.041

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

Autores: M. Samson, T. Vergnaud, É. Dujardin, L. Ciarletta, Y. -Q. Song
Publicado en: IEEE 18th International Conference on Factory Communication Systems (WFCS), 2022
Editor: 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

Autores: Maximilian Volk, Carina Mieth
Publicado en: Procedia CIRP, Edición yearly, 2022
Editor: Elsevier
DOI: 10.1016/j.procir.2022.05.050

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

Autores: Fadil Kallat, Jens Hetzler, Alexander Mages, Carina Mieth, Jakob Rehof, Christian Riest, Tristan Schäfer
Publicado en: Proceedings of the Winter Simulation Conference 2022, 2023
Editor: IEEE Press

INNOVATIVE APPROACH TO QUANTIFY AND QUALIFY THE REAL TRAFFIC NOISE POLLUTION

Autores: Kévin Cormier, Florent Masson, Patrice Pischedda
Publicado en: Conference of the Acoustical Society of New Zealand - Acoustics 2022, 2022
Editor: New Zealand Acoustical Society Incorporated

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

Autores: Baptiste Boyer, Philippe Fiani, Guillaume Sandou, Emmanuel Godoy, Cristina Vlad
Publicado en: 17th International Conference on Informatics in Control, Automation and Robotics, 2020
Editor: ICINCO

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

Autores: Boutheina Bannour, Arnault Lapitre, Patrick Tessier, Guillaume Giraud
Publicado en: IEEE Real-Time Systems 43rd Symposium (RTSS), 2022
Editor: IEEE Computer Society Technical Community on Real-Time Systems

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

Autores: Hana Krichene, Jean-Marc Philippe
Publicado en: NOCS '21: Proceedings of the 15th IEEE/ACM International Symposium on Networks-on-Chip, 2021
Editor: IEEE
DOI: 10.3030/826276

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

Autores: Marco Fariselli, Manuele Rusci, Joel Cambonie, Eric Flamand
Publicado en: 2021 IEEE 3rd International Conference on Artificial Intelligence Circuits and Systems (AICAS), 2021, Página(s) 1-4, ISBN 978-1-6654-1913-0
Editor: IEEE
DOI: 10.1109/aicas51828.2021.9458491

SDN-Based Management Solution for Time Synchronization in TSN Networks

Autores: Minh-Thuyen Thi, Siwar Ben Hadj Said, Michael Boc
Publicado en: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020, Página(s) 361-368, ISBN 978-1-7281-8956-7
Editor: IEEE
DOI: 10.1109/etfa46521.2020.9211923

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

Autores: Morayo Adedjouma, Nataliya Yakymets
Publicado en: ICSEA 2020, Edición 2020, 2020
Editor: IARA XPS Press

In-Situ Thermal Performance Monitoring of Pharma 4.0 Flow Bioreactors

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

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

Autores: Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Domenico Marino, Francesco Orciuoli
Publicado en: 2020 IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS), 2020, Página(s) 1-7, ISBN 978-1-7281-4384-2
Editor: IEEE
DOI: 10.1109/eais48028.2020.9122759

Analyzing Throughput for Cyber-Physical Systems modeled with Synchronous Dataflow

Autores: P. Glanon, S. Azaiez, C. Mraidha
Publicado en: CPS Summer School, PhD Workshop 2019, Edición 2019, 2019
Editor: CEUR

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

Autores: Julia Rauscher, Bernhard Bauer
Publicado en: Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, 2021, Página(s) 320-327, ISBN 978-989-758-490-9
Editor: SCITEPRESS - Science and Technology Publications
DOI: 10.5220/0010206303200327

Modeling the Partial Renewable Power Curtailment for Transmission Network Management

Autores: Alessio Iovine, Duc-Trung Hoang, Sorin Olaru, Jean Maeght, Patrick Panciatici, Manuel Ruiz
Publicado en: https://www.powertech2021.com/, Edición June 2021, 2021
Editor: TBD

YOLO-based Panoptic Segmentation Network

Autores: Manuel Alejandro Diaz Zapata, Ozgur Erkent, Christian Laugier
Publicado en: 2021 IEEE 45th Annual Computers, Software, and Applications Conference COMPSAC, Edición 12-16 July 2021, 2021
Editor: IEEE

Computational imaging for drill bit wear estimation

Autores: Salvatore Dello Iacono, Giuseppe Di Leo, Consolatina Liguori
Publicado en: I2MTC2021, 2021
Editor: IEEE

Distributed Smart Measurement Architecture for Industrial Automation

Autores: Paolo Azzoni, Gianfranco Caminale, Marco Carratù, Salvatore Dello Iacono, Giuseppe Fenza, Nicola Gallo, Consolatina Liguori, Elisa Londero, Antonio Pietrosanto, Nicolo Rebella
Publicado en: 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC), Edición Annual, 2021
Editor: IEEE

Performance Optimization in Control Systems Using Entropy

Autores: Antonio Ruiz-Alba, Ken Sharman, Sergio Saéz
Publicado en: XLII Jornadas de Automática, 2021
Editor: Comité Español de Automática
DOI: 10.17979/spudc.9788497498043.739

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

Autores: Nataliya Yakymets, Morayo Adedjouma
Publicado en: ISSRE 2020, Edición 2020, 2021
Editor: IEEE

Quantization of Neural Network Demapper for sub-Thz communications

Autores: A. Falempin, J.-B. Doré, T. D. Nguyen, J. Schmitt
Publicado en: IEEE Vehicular Technology Conference (VTC-Fall), 2022
Editor: IEEE

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

Autores: L. N. Dinh, R. Bertolini, M. Maman
Publicado en: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), 2022
Editor: IEEE

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

Autores: MT Thi, S Guédon, SBH Said, M Boc, D Miras, J-B Dore, M Laugeois, X Popon, B Miscopein
Publicado en: IEEE VTC2022-Fall, 2022
Editor: IEEE

A temporal configuration logic for dynamic reconfigurable systems

Autores: Antoine El-Hokayem, Marius Bozga, Joseph Sifakis
Publicado en: Proceedings of the 36th Annual ACM Symposium on Applied Computing, 2021, Página(s) 1419-1428, ISBN 9781450381048
Editor: ACM
DOI: 10.1145/3412841.3442017

Some trends in CPS systems and underlying technologies

Autores: Cédric DEMEURE
Publicado en: Euromicro Conference on Digital System Design - DSD - 2020, Edición yearly, 2020
Editor: Youtube

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

Autores: Mathilde Arnaud, Boutheina Bannour, Guillaume Giraud, and Arnault Lapitre
Publicado en: REFSQ, 2021
Editor: Springer

Advanced management of network overload in areas with Renewable Energies Sources

Autores: Thanh-Hung Pham, Alessio Iovine, Sorin Olaru, Jean Maeght, Patrick Panciatici, Manuel Ruiz
Publicado en: IFAC-CPES 2022 11th Symposium on Control of Power and Energy Systems, 2022
Editor: CPES 2022

Predictive Control for Zonal Congestion Management of a Transmission Network

Autores: Duc-Trung Hoang, Sorin Olaru, Alessio Iovine, Jean Maeght, Patrick Panciatici, Manuel Ruiz
Publicado en: Control and Decision Conference, 2021, Edición 13/12/2021, 2021
Editor: CentraleSupelec

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

Autores: Joachim Rosseel, Valérien Mannoni, Valentin Savin, Inbar Fijalkow
Publicado en: IEEE International Symposium on Topics in Coding (ISTC), 2021
Editor: IEEE

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

Autores: Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer
Publicado en: 24th European Conference on Artificial Intelligence, 2020, ISSN 1291-5912
Editor: CEA

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

Autores: Carina Mieth
Publicado en: 2019 Winter Simulation Conference (WSC), 2019, Página(s) 2061-2072, ISBN 978-1-7281-3283-9
Editor: IEEE
DOI: 10.1109/wsc40007.2019.9004753

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

Autores: Mathilde Arnaud
Publicado en: Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021, Página(s) 291-296, ISBN 1-891706-52-7
Editor: KSI Research Inc.
DOI: 10.18293/seke2021-147

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

Autores: 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)
Publicado en: 18th IFAC Workshop on Control Applications of Optimization proceedings, 2022
Editor: IFAC
DOI: 10.1016/j.ifacol.2022.09.003

IAS: an IoT Architectural Self-adaptation Framework

Autores: Mahyar T Moghaddam, Eric Rutten, Philippe Lalanda, Guillaume Giraud
Publicado en: 14th European Conference on Software Architecture (ECSA), Edición 2020, 2020
Editor: Springer

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

Autores: Rodolphe Bertolini, Mickael Maman
Publicado en: IEEE Vehicular Technology Conference (VTC-Fall), 2021
Editor: IEEE

EMBEDDED FRANCE new Organization and Missions

Autores: Cendrine Barruyer, Cédric Demeure, Olivier Guetta, Jean-Luc Chabaudie
Publicado en: EMBEDDED REAL TIME SYSTEMS conference - ERTS 2020, Edición every 2 years, 2020
Editor: 3AF

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

Autores: Girard-Satabin, Julien and Charpiat, Guillaume and Chihani, Zakaria and Schoenauer, Marc
Publicado en: PFIA 2020, Edición 2020, 2020
Editor: https://hal.inria.fr/hal-02440520

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

Autores: Siddhartha Gupta, Umut Durak, Oliver Ellis, Christoph Torens
Publicado en: AIAA Scitech Forum, 2022
Editor: American Institute of Aeronautics and Astronautics

Entwicklung und Erprobung eines Vorgehens zur Validierung von Simulationsbausteinen komplexer Werkzeugmaschinen

Autores: Greta Tjaden, Carina Mieth
Publicado en: Simulation in Produktion und Logistik, 2021
Editor: Cuvillier Verlag

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

Autores: Duc-Trung Hoang, Sorin Olaru, Alessio Iovine, Jean Maeght, Patrick Panciatici, Manuel Ruiz
Publicado en: MED2021 29th Mediterranean Conference on Control and Automation, Edición Annual, 2021
Editor: MED2021

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

Autores: M. Sana, N. di Pietro, E. Calvanese Strinati
Publicado en: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), 2021
Editor: IEEE

Understanding interdisciplinarity in European projects

Autores: J.Delsing, P.Gougeon, M.Karner
Publicado en: Inside Magazine, 2022
Editor: Inside Industry Association

Cyclic Scheduling of Loop-Intensive Applications on Heterogeneous Multiprocessor Architectures

Autores: Philippe Glanon, Selma Azaiez, Chokri Mraidha
Publicado en: 2020 IEEE 26th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2020, Página(s) 1-10, ISBN 978-1-7281-4403-0
Editor: IEEE
DOI: 10.1109/rtcsa50079.2020.9203667

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

Autores: Noël Hagemann, Bernhard Bauer
Publicado en: Business Modeling and Software Design, Edición Annual, 2021
Editor: Springer

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

Autores: M. Samson, T. Vergnaud, E. Dujardin, L. Ciarletta and Y. Song
Publicado en: Actes de l’École d’été Temps Réel, 2021
Editor: Université de Poitiers

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

Autores: Sequans communications
Publicado en: Press Release on www.sequans.com, 2021
Editor: Sequans

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

Autores: Etienne Hamelin
Publicado en: Industrie Technologies, 2022
Editor: Industrie Technologies

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

Autores: S. Bicaïs, A. Falempin, J. -B. Doré, V. Savin
Publicado en: IEEE Transactions on Wireless Communications, 2022
Editor: IEEE

Discontinuous Computation Offloading for Energy-Efficient Mobile Edge Computing

Autores: M. Merluzzi, N. Di Pietro, P. Di Lorenzo, E. Calvanese Strinati, S. Barbarossa
Publicado en: IEEE Transactions on Green Communications and Networking, 2022
Editor: IEEE

Self-adaptive Security in CPS : Application to Smart Grids

Autores: Salim Chehida, Eric Rutten, Stéphane Mocanu (INRIA), Guillaume Giraud (RTE)
Publicado en: To be confirmed, 2023
Editor: To be completed after submission

Stochastic Geometry Framework for Ultrareliable Cooperative Communications With Random Blockages

Autores: G. Ghatak, S. R. Khosravirad , A. De Domenico
Publicado en: IEEE Internet of Things Journal, 2022
Editor: IEEE

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

Autores: Fadil Kallat, Carina Mieth, Jakob Rehof, Anne Meyer
Publicado en: Procedia CIRP, Edición 93, 2020, Página(s) 556-561, ISSN 2212-8271
Editor: Elsevier
DOI: 10.1016/j.procir.2020.03.018

On the Monitoring of Decentralized Specifications

Autores: Antoine El-Hokayem, Yliès Falcone
Publicado en: ACM Transactions on Software Engineering and Methodology, Edición 29/1, 2020, Página(s) 1-57, ISSN 1049-331X
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3355181

Towards Intelligent Industrial Automation

Autores: M. Settembre, G. Caminale, A. Almi, M. Amoruso, F. Cenci, N. Gallo, D. Fuggiano, F. Bianchi, L. Rovera, R. Labruto, B. Tranchero
Publicado en: Polaris Innovation Journal - Edición 40, 2019, ISSN 2532-6929
Editor: LEONARDO

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

Autores: Luigi Catuogno, Clemente Galdi, Daniel Riccio
Publicado en: IEEE Access, Edición 8, 2020, Página(s) 95987-95996, ISSN 2169-3536
Editor: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2020.2995564

Automatic Composite Parts Defect Detector

Autores: S. Corvaglia, N. Gallo, C. Baecchi, A. Del Bimbo, G. D’Attis, G. Nobile
Publicado en: Polaris Innovation Journal - Edición 40, 2019, ISSN 2532-6929
Editor: LEONARDO

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

Autores: A. Mazzotta, G. Iagulli, V. De Vita
Publicado en: Polaris Innovation Journal - Edición 41, 2020, ISSN 2532-6929
Editor: LEONARDO

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

Autores: Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
Publicado en: Software Quality Journal, 2021, ISSN 0963-9314
Editor: Kluwer Academic Publishers
DOI: 10.1007/s11219-021-09559-w

CPS Engineering: Gap analysis and perspectives

Autores: LEDINOT Emmanuel
Publicado en: LEIBNIZ TRANSACTIONS ON EMBEDDED SYSTEMS (LITES) Special Edición on Distributed Hybrid Systems, 2021
Editor: Cyber-Physical Systems Virtual Organization

IAS: An IoT Architectural Self-adaptation Framework

Autores: Mahyar T. Moghaddam, Eric Rutten, Philippe Lalanda, Guillaume Giraud
Publicado en: Software Architecture - 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings, Edición 12292, 2020, Página(s) 333-351, ISBN 978-3-030-58922-6
Editor: 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

Autores: Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg
Publicado en: 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, Edición 12477, 2020, Página(s) 457-472, ISBN 978-3-030-61469-0
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-61470-6_27

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

Autores: Julia Rauscher, Bernhard Bauer
Publicado en: Business Modeling and Software Design - 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings, Edición 391, 2020, Página(s) 84-102, ISBN 978-3-030-52305-3
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-52306-0_6

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

Autores: Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Publicado en: Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings, Edición 12310, 2020, Página(s) 284-302, ISBN 978-3-030-58767-3
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-58768-0_16

Semantic CPPS in Industry 4.0

Autores: Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Domenico Marino, Francesco Orciuoli, Alberto Volpe
Publicado en: Advanced Information Networking and Applications - Proceedings of the 34th International Conference on Advanced Information Networking and Applications (AINA-2020), Edición 1151, 2020, Página(s) 1057-1068, ISSN 1071-2437, ISBN 978-3-030-44040-4
Editor: 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

Autores: Alfonso Di Pace, Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Aldo Meglio, Francesco Orciuoli
Publicado en: Advanced Information Networking and Applications - Proceedings of the 34th International Conference on Advanced Information Networking and Applications (AINA-2020), Edición 1151, 2020, Página(s) 957-967, ISBN 978-3-030-44040-4
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-44041-1_83

Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules

Autores: Philippe Glanon, Selma Azaiez, Chokri Mraidha
Publicado en: Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings, Edición 11847, 2019, Página(s) 79-94, ISBN 978-3-030-35091-8
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-35092-5_6

Digital Twin Circular Approach for Helicopter Design and Training

Autores: C. Emmanuele, D. Del Gobbo, G.I. Gaggero, R. Sanguini
Publicado en: Polaris Innovation Journal - Edición 39, 2019, ISSN 2532-6929
Editor: LEONARDO

Predictive Maintenance in the Digital Age

Autores: P. Venanzangeli
Publicado en: Polaris Innovation Journal - Edición 40, 2019, ISSN 2532-6929
Editor: LEONARDO

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

Autores: M. McDonald
Publicado en: Polaris Innovation Journal - Edición 40, 2019, ISSN 2532-6929
Editor: LEONARDO

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles