CORDIS - Forschungsergebnisse der EU
CORDIS

Cyber Physical Systems for Europe

Leistungen

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

Veröffentlichungen

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

Autoren: Nouha Dkhili, Sorin Olaru, Alessio Iovine, Manuel Ruiz, Jean Maeght, Patrick Panciatici
Veröffentlicht in: IFAC-PapersOnLine, Volume 55, Ausgabe 16, 2022, Pages 302-307, ISSN 2405-8963, 2022
Herausgeber: Elsevier
DOI: 10.1016/j.ifacol.2022.09.041

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

Autoren: M. Samson, T. Vergnaud, É. Dujardin, L. Ciarletta, Y. -Q. Song
Veröffentlicht in: IEEE 18th International Conference on Factory Communication Systems (WFCS), 2022
Herausgeber: 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

Autoren: Maximilian Volk, Carina Mieth
Veröffentlicht in: Procedia CIRP, Ausgabe yearly, 2022
Herausgeber: Elsevier
DOI: 10.1016/j.procir.2022.05.050

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

Autoren: Fadil Kallat, Jens Hetzler, Alexander Mages, Carina Mieth, Jakob Rehof, Christian Riest, Tristan Schäfer
Veröffentlicht in: Proceedings of the Winter Simulation Conference 2022, 2023
Herausgeber: IEEE Press

INNOVATIVE APPROACH TO QUANTIFY AND QUALIFY THE REAL TRAFFIC NOISE POLLUTION

Autoren: Kévin Cormier, Florent Masson, Patrice Pischedda
Veröffentlicht in: Conference of the Acoustical Society of New Zealand - Acoustics 2022, 2022
Herausgeber: New Zealand Acoustical Society Incorporated

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

Autoren: Baptiste Boyer, Philippe Fiani, Guillaume Sandou, Emmanuel Godoy, Cristina Vlad
Veröffentlicht in: 17th International Conference on Informatics in Control, Automation and Robotics, 2020
Herausgeber: ICINCO

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

Autoren: Boutheina Bannour, Arnault Lapitre, Patrick Tessier, Guillaume Giraud
Veröffentlicht in: IEEE Real-Time Systems 43rd Symposium (RTSS), 2022
Herausgeber: IEEE Computer Society Technical Community on Real-Time Systems

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

Autoren: Hana Krichene, Jean-Marc Philippe
Veröffentlicht in: NOCS '21: Proceedings of the 15th IEEE/ACM International Symposium on Networks-on-Chip, 2021
Herausgeber: IEEE
DOI: 10.3030/826276

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

Autoren: Marco Fariselli, Manuele Rusci, Joel Cambonie, Eric Flamand
Veröffentlicht in: 2021 IEEE 3rd International Conference on Artificial Intelligence Circuits and Systems (AICAS), 2021, Seite(n) 1-4, ISBN 978-1-6654-1913-0
Herausgeber: IEEE
DOI: 10.1109/aicas51828.2021.9458491

SDN-Based Management Solution for Time Synchronization in TSN Networks

Autoren: Minh-Thuyen Thi, Siwar Ben Hadj Said, Michael Boc
Veröffentlicht in: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020, Seite(n) 361-368, ISBN 978-1-7281-8956-7
Herausgeber: IEEE
DOI: 10.1109/etfa46521.2020.9211923

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

Autoren: Morayo Adedjouma, Nataliya Yakymets
Veröffentlicht in: ICSEA 2020, Ausgabe 2020, 2020
Herausgeber: IARA XPS Press

In-Situ Thermal Performance Monitoring of Pharma 4.0 Flow Bioreactors

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

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

Autoren: Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Domenico Marino, Francesco Orciuoli
Veröffentlicht in: 2020 IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS), 2020, Seite(n) 1-7, ISBN 978-1-7281-4384-2
Herausgeber: IEEE
DOI: 10.1109/eais48028.2020.9122759

Analyzing Throughput for Cyber-Physical Systems modeled with Synchronous Dataflow

Autoren: P. Glanon, S. Azaiez, C. Mraidha
Veröffentlicht in: CPS Summer School, PhD Workshop 2019, Ausgabe 2019, 2019
Herausgeber: CEUR

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

Autoren: Julia Rauscher, Bernhard Bauer
Veröffentlicht in: Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, 2021, Seite(n) 320-327, ISBN 978-989-758-490-9
Herausgeber: SCITEPRESS - Science and Technology Publications
DOI: 10.5220/0010206303200327

Modeling the Partial Renewable Power Curtailment for Transmission Network Management

Autoren: Alessio Iovine, Duc-Trung Hoang, Sorin Olaru, Jean Maeght, Patrick Panciatici, Manuel Ruiz
Veröffentlicht in: https://www.powertech2021.com/, Ausgabe June 2021, 2021
Herausgeber: TBD

YOLO-based Panoptic Segmentation Network

Autoren: Manuel Alejandro Diaz Zapata, Ozgur Erkent, Christian Laugier
Veröffentlicht in: 2021 IEEE 45th Annual Computers, Software, and Applications Conference COMPSAC, Ausgabe 12-16 July 2021, 2021
Herausgeber: IEEE

Computational imaging for drill bit wear estimation

Autoren: Salvatore Dello Iacono, Giuseppe Di Leo, Consolatina Liguori
Veröffentlicht in: I2MTC2021, 2021
Herausgeber: IEEE

Distributed Smart Measurement Architecture for Industrial Automation

Autoren: Paolo Azzoni, Gianfranco Caminale, Marco Carratù, Salvatore Dello Iacono, Giuseppe Fenza, Nicola Gallo, Consolatina Liguori, Elisa Londero, Antonio Pietrosanto, Nicolo Rebella
Veröffentlicht in: 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC), Ausgabe Annual, 2021
Herausgeber: IEEE

Performance Optimization in Control Systems Using Entropy

Autoren: Antonio Ruiz-Alba, Ken Sharman, Sergio Saéz
Veröffentlicht in: XLII Jornadas de Automática, 2021
Herausgeber: Comité Español de Automática
DOI: 10.17979/spudc.9788497498043.739

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

Autoren: Nataliya Yakymets, Morayo Adedjouma
Veröffentlicht in: ISSRE 2020, Ausgabe 2020, 2021
Herausgeber: IEEE

Quantization of Neural Network Demapper for sub-Thz communications

Autoren: A. Falempin, J.-B. Doré, T. D. Nguyen, J. Schmitt
Veröffentlicht in: IEEE Vehicular Technology Conference (VTC-Fall), 2022
Herausgeber: IEEE

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

Autoren: L. N. Dinh, R. Bertolini, M. Maman
Veröffentlicht in: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), 2022
Herausgeber: IEEE

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

Autoren: MT Thi, S Guédon, SBH Said, M Boc, D Miras, J-B Dore, M Laugeois, X Popon, B Miscopein
Veröffentlicht in: IEEE VTC2022-Fall, 2022
Herausgeber: IEEE

A temporal configuration logic for dynamic reconfigurable systems

Autoren: Antoine El-Hokayem, Marius Bozga, Joseph Sifakis
Veröffentlicht in: Proceedings of the 36th Annual ACM Symposium on Applied Computing, 2021, Seite(n) 1419-1428, ISBN 9781450381048
Herausgeber: ACM
DOI: 10.1145/3412841.3442017

Some trends in CPS systems and underlying technologies

Autoren: Cédric DEMEURE
Veröffentlicht in: Euromicro Conference on Digital System Design - DSD - 2020, Ausgabe yearly, 2020
Herausgeber: Youtube

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

Autoren: Mathilde Arnaud, Boutheina Bannour, Guillaume Giraud, and Arnault Lapitre
Veröffentlicht in: REFSQ, 2021
Herausgeber: Springer

Advanced management of network overload in areas with Renewable Energies Sources

Autoren: Thanh-Hung Pham, Alessio Iovine, Sorin Olaru, Jean Maeght, Patrick Panciatici, Manuel Ruiz
Veröffentlicht in: IFAC-CPES 2022 11th Symposium on Control of Power and Energy Systems, 2022
Herausgeber: CPES 2022

Predictive Control for Zonal Congestion Management of a Transmission Network

Autoren: Duc-Trung Hoang, Sorin Olaru, Alessio Iovine, Jean Maeght, Patrick Panciatici, Manuel Ruiz
Veröffentlicht in: Control and Decision Conference, 2021, Ausgabe 13/12/2021, 2021
Herausgeber: CentraleSupelec

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

Autoren: Joachim Rosseel, Valérien Mannoni, Valentin Savin, Inbar Fijalkow
Veröffentlicht in: IEEE International Symposium on Topics in Coding (ISTC), 2021
Herausgeber: IEEE

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

Autoren: Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer
Veröffentlicht in: 24th European Conference on Artificial Intelligence, 2020, ISSN 1291-5912
Herausgeber: CEA

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

Autoren: Carina Mieth
Veröffentlicht in: 2019 Winter Simulation Conference (WSC), 2019, Seite(n) 2061-2072, ISBN 978-1-7281-3283-9
Herausgeber: IEEE
DOI: 10.1109/wsc40007.2019.9004753

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

Autoren: Mathilde Arnaud
Veröffentlicht in: Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021, Seite(n) 291-296, ISBN 1-891706-52-7
Herausgeber: KSI Research Inc.
DOI: 10.18293/seke2021-147

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

Autoren: 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)
Veröffentlicht in: 18th IFAC Workshop on Control Applications of Optimization proceedings, 2022
Herausgeber: IFAC
DOI: 10.1016/j.ifacol.2022.09.003

IAS: an IoT Architectural Self-adaptation Framework

Autoren: Mahyar T Moghaddam, Eric Rutten, Philippe Lalanda, Guillaume Giraud
Veröffentlicht in: 14th European Conference on Software Architecture (ECSA), Ausgabe 2020, 2020
Herausgeber: Springer

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

Autoren: Rodolphe Bertolini, Mickael Maman
Veröffentlicht in: IEEE Vehicular Technology Conference (VTC-Fall), 2021
Herausgeber: IEEE

EMBEDDED FRANCE new Organization and Missions

Autoren: Cendrine Barruyer, Cédric Demeure, Olivier Guetta, Jean-Luc Chabaudie
Veröffentlicht in: EMBEDDED REAL TIME SYSTEMS conference - ERTS 2020, Ausgabe every 2 years, 2020
Herausgeber: 3AF

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

Autoren: Girard-Satabin, Julien and Charpiat, Guillaume and Chihani, Zakaria and Schoenauer, Marc
Veröffentlicht in: PFIA 2020, Ausgabe 2020, 2020
Herausgeber: https://hal.inria.fr/hal-02440520

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

Autoren: Siddhartha Gupta, Umut Durak, Oliver Ellis, Christoph Torens
Veröffentlicht in: AIAA Scitech Forum, 2022
Herausgeber: American Institute of Aeronautics and Astronautics

Entwicklung und Erprobung eines Vorgehens zur Validierung von Simulationsbausteinen komplexer Werkzeugmaschinen

Autoren: Greta Tjaden, Carina Mieth
Veröffentlicht in: Simulation in Produktion und Logistik, 2021
Herausgeber: Cuvillier Verlag

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

Autoren: Duc-Trung Hoang, Sorin Olaru, Alessio Iovine, Jean Maeght, Patrick Panciatici, Manuel Ruiz
Veröffentlicht in: MED2021 29th Mediterranean Conference on Control and Automation, Ausgabe Annual, 2021
Herausgeber: MED2021

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

Autoren: M. Sana, N. di Pietro, E. Calvanese Strinati
Veröffentlicht in: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), 2021
Herausgeber: IEEE

Understanding interdisciplinarity in European projects

Autoren: J.Delsing, P.Gougeon, M.Karner
Veröffentlicht in: Inside Magazine, 2022
Herausgeber: Inside Industry Association

Cyclic Scheduling of Loop-Intensive Applications on Heterogeneous Multiprocessor Architectures

Autoren: Philippe Glanon, Selma Azaiez, Chokri Mraidha
Veröffentlicht in: 2020 IEEE 26th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2020, Seite(n) 1-10, ISBN 978-1-7281-4403-0
Herausgeber: IEEE
DOI: 10.1109/rtcsa50079.2020.9203667

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

Autoren: Noël Hagemann, Bernhard Bauer
Veröffentlicht in: Business Modeling and Software Design, Ausgabe Annual, 2021
Herausgeber: Springer

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

Autoren: M. Samson, T. Vergnaud, E. Dujardin, L. Ciarletta and Y. Song
Veröffentlicht in: Actes de l’École d’été Temps Réel, 2021
Herausgeber: Université de Poitiers

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

Autoren: Sequans communications
Veröffentlicht in: Press Release on www.sequans.com, 2021
Herausgeber: Sequans

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

Autoren: Etienne Hamelin
Veröffentlicht in: Industrie Technologies, 2022
Herausgeber: Industrie Technologies

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

Autoren: S. Bicaïs, A. Falempin, J. -B. Doré, V. Savin
Veröffentlicht in: IEEE Transactions on Wireless Communications, 2022
Herausgeber: IEEE

Discontinuous Computation Offloading for Energy-Efficient Mobile Edge Computing

Autoren: M. Merluzzi, N. Di Pietro, P. Di Lorenzo, E. Calvanese Strinati, S. Barbarossa
Veröffentlicht in: IEEE Transactions on Green Communications and Networking, 2022
Herausgeber: IEEE

Self-adaptive Security in CPS : Application to Smart Grids

Autoren: Salim Chehida, Eric Rutten, Stéphane Mocanu (INRIA), Guillaume Giraud (RTE)
Veröffentlicht in: To be confirmed, 2023
Herausgeber: To be completed after submission

Stochastic Geometry Framework for Ultrareliable Cooperative Communications With Random Blockages

Autoren: G. Ghatak, S. R. Khosravirad , A. De Domenico
Veröffentlicht in: IEEE Internet of Things Journal, 2022
Herausgeber: IEEE

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

Autoren: Fadil Kallat, Carina Mieth, Jakob Rehof, Anne Meyer
Veröffentlicht in: Procedia CIRP, Ausgabe 93, 2020, Seite(n) 556-561, ISSN 2212-8271
Herausgeber: Elsevier
DOI: 10.1016/j.procir.2020.03.018

On the Monitoring of Decentralized Specifications

Autoren: Antoine El-Hokayem, Yliès Falcone
Veröffentlicht in: ACM Transactions on Software Engineering and Methodology, Ausgabe 29/1, 2020, Seite(n) 1-57, ISSN 1049-331X
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3355181

Towards Intelligent Industrial Automation

Autoren: M. Settembre, G. Caminale, A. Almi, M. Amoruso, F. Cenci, N. Gallo, D. Fuggiano, F. Bianchi, L. Rovera, R. Labruto, B. Tranchero
Veröffentlicht in: Polaris Innovation Journal - Ausgabe 40, 2019, ISSN 2532-6929
Herausgeber: LEONARDO

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

Autoren: Luigi Catuogno, Clemente Galdi, Daniel Riccio
Veröffentlicht in: IEEE Access, Ausgabe 8, 2020, Seite(n) 95987-95996, ISSN 2169-3536
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2020.2995564

Automatic Composite Parts Defect Detector

Autoren: S. Corvaglia, N. Gallo, C. Baecchi, A. Del Bimbo, G. D’Attis, G. Nobile
Veröffentlicht in: Polaris Innovation Journal - Ausgabe 40, 2019, ISSN 2532-6929
Herausgeber: LEONARDO

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

Autoren: A. Mazzotta, G. Iagulli, V. De Vita
Veröffentlicht in: Polaris Innovation Journal - Ausgabe 41, 2020, ISSN 2532-6929
Herausgeber: LEONARDO

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

Autoren: Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
Veröffentlicht in: Software Quality Journal, 2021, ISSN 0963-9314
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s11219-021-09559-w

CPS Engineering: Gap analysis and perspectives

Autoren: LEDINOT Emmanuel
Veröffentlicht in: LEIBNIZ TRANSACTIONS ON EMBEDDED SYSTEMS (LITES) Special Ausgabe on Distributed Hybrid Systems, 2021
Herausgeber: Cyber-Physical Systems Virtual Organization

IAS: An IoT Architectural Self-adaptation Framework

Autoren: Mahyar T. Moghaddam, Eric Rutten, Philippe Lalanda, Guillaume Giraud
Veröffentlicht in: Software Architecture - 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings, Ausgabe 12292, 2020, Seite(n) 333-351, ISBN 978-3-030-58922-6
Herausgeber: 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

Autoren: Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg
Veröffentlicht 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, Ausgabe 12477, 2020, Seite(n) 457-472, ISBN 978-3-030-61469-0
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-61470-6_27

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

Autoren: Julia Rauscher, Bernhard Bauer
Veröffentlicht in: Business Modeling and Software Design - 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings, Ausgabe 391, 2020, Seite(n) 84-102, ISBN 978-3-030-52305-3
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-52306-0_6

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

Autoren: Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Veröffentlicht in: Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings, Ausgabe 12310, 2020, Seite(n) 284-302, ISBN 978-3-030-58767-3
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-58768-0_16

Semantic CPPS in Industry 4.0

Autoren: Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Domenico Marino, Francesco Orciuoli, Alberto Volpe
Veröffentlicht in: Advanced Information Networking and Applications - Proceedings of the 34th International Conference on Advanced Information Networking and Applications (AINA-2020), Ausgabe 1151, 2020, Seite(n) 1057-1068, ISSN 1071-2437, ISBN 978-3-030-44040-4
Herausgeber: 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

Autoren: Alfonso Di Pace, Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Aldo Meglio, Francesco Orciuoli
Veröffentlicht in: Advanced Information Networking and Applications - Proceedings of the 34th International Conference on Advanced Information Networking and Applications (AINA-2020), Ausgabe 1151, 2020, Seite(n) 957-967, ISBN 978-3-030-44040-4
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-44041-1_83

Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules

Autoren: Philippe Glanon, Selma Azaiez, Chokri Mraidha
Veröffentlicht in: Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings, Ausgabe 11847, 2019, Seite(n) 79-94, ISBN 978-3-030-35091-8
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-35092-5_6

Digital Twin Circular Approach for Helicopter Design and Training

Autoren: C. Emmanuele, D. Del Gobbo, G.I. Gaggero, R. Sanguini
Veröffentlicht in: Polaris Innovation Journal - Ausgabe 39, 2019, ISSN 2532-6929
Herausgeber: LEONARDO

Predictive Maintenance in the Digital Age

Autoren: P. Venanzangeli
Veröffentlicht in: Polaris Innovation Journal - Ausgabe 40, 2019, ISSN 2532-6929
Herausgeber: LEONARDO

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

Autoren: M. McDonald
Veröffentlicht in: Polaris Innovation Journal - Ausgabe 40, 2019, ISSN 2532-6929
Herausgeber: LEONARDO

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor