Transform safety-critical cyber-physical systems into distributed solutions for end-users and partners

Deliverables

Solutions for end-to-end security and privacy for distributed CPS v1

Report on developed solutions to preserve endtoend security and privacy in edgecloud computing when deploying running distributed applications for safetycritical applications consistent with the TRANSACT reference architecture and based on the concepts defined in D32 Analysis of the interactions with the solutions for endtoend safety and performance defined in D33 The report due on M33 is a refinementextension of the report of M18 The deliverable further includes a contribution to the PolarSys open ecosystem specifically extensions security assurance and requalification This report will indicate which elements are opensourced and will feed into D65

System Test Platforms for Simulation based-design and assessment of SCDCPS

A report on the platforms and techniques for simulation-based assessment safety and security and results.

Techniques and Methodology to Analyse and Transformation towards DCPS

A report on methodology and techniques that enable the transition from class CPS into distributed CPS solutions. This also includes techniques for analysing and optimizing allocation of functions and compare different designs and allocations.

Selection of concepts for end-to-end security and privacy for distributed CPS solutions

Report on requirements and stateoftheart concepts for endtoend security and privacy for distributed safetycritical CPS Selection of existing concepts and definition of novel concepts to security and privacy consistent with the TRANSACT reference architecture Analysis of the interactions with the concepts for safety and performance defined in D31 This report will integrate input received from our open source community

Solutions for end-to-end safety and performance for distributed CPS v2

Report on developed solutions to monitor, predict and manage end-to-end safety and performance in distributed CPS, including safeguards and graceful degradation techniques and re-qualification techniques, consistent with the TRANSACT reference architecture and based on the concept defined in D3.1. Analysis of the interactions with the solutions for end-to-end security and privacy defined in D3.3. The report due on M33 is a refinement/extension of the report of M18. The deliverable further includes a contribution to the PolarSys open ecosystem, specifically extensions for safety assurance and (re)qualification. This report will indicate which elements are open-sourced and will feed into D6.5.

Reference architectures for SCDCPS v2

A final report on reference architectures for safety-critical distributed cyber-physical-systems, the APIs developed during the runtime of the TRANSACT project and insights from the basic platform based on the architecture. This report will indicate which elements are open-sourced and will feed into D6.5.

Solutions for end-to-end safety and performance for distributed CPS v1

Report on developed solutions to monitor predict and manage endtoend safety and performance in distributed CPS including safeguards and graceful degradation techniques and requalification techniques consistent with the TRANSACT reference architecture and based on the concept defined in D31 Analysis of the interactions with the solutions for endtoend security and privacy defined in D33 The report due on M33 is a refinementextension of the report of M18 The deliverable further includes a contribution to the PolarSys open ecosystem specifically extensions for safety assurance and requalification This report will indicate which elements are opensourced and will feed into D65

Selection of concepts for end-to-end safety and performance for distributed CPS solutions

Report on requirements and stateoftheart concepts for endtoend safety and performance for distributed safetycritical CPS Selection of existing concepts and definition of novel concepts to safety and performance consistent with the TRANSACT reference architecture Analysis of the interactions with the concepts for security and privacy defined in D32 This report will integrate input received from our open source community

Solutions for end-to-end security and privacy for distributed CPS v2

Report on developed solutions to preserve end-to-end security and privacy in edge/cloud computing when deploying running distributed applications for safety-critical applications, consistent with the TRANSACT reference architecture and based on the concepts defined in D3.2. Analysis of the interactions with the solutions for end-to-end safety and performance defined in D3.3. The report due on M33 is a refinement/extension of the report of M18. The deliverable further includes a contribution to the PolarSys open ecosystem, specifically extensions security assurance and (re)qualification. This report will indicate which elements are open-sourced and will feed into D6.5.

Reference architectures for SCDCPS v1

A report on stateoftheart architectures for safetycritical distributed cyberphysicalsystems This report will indicate which elements are opensourced and will feed into D65

TRANSACT transition guide to facilitate safety-critical distributed CPS solutions v2

At the end of the TRANSACT project, this task will make a report evaluating project results with respect to the effectiveness of the transition to distributed safety-critical CPS solutions, given the means and methods developed.

New business models enabled by local and cloud services

Compared to monolithic applications, distributed solutions demand new approaches to monetize the resulting products. This deliverable describes possible implementations of new business models with special focus on the role and provisioning aspects of the cloud service to support this approach, the role of 3rd party services and open source software building blocks.

Open source project proposal

Document describing the reference implementation of the core technology open sourced by the consortium. This document will provide all the information and assets that an early adopter would need to jumpstart and implement a distributed safety-critical CPS solution based on the TRANSACT architecture.

TRANSACT transition guide to facilitate safety-critical distributed CPS solutions v1

At the end of the TRANSACT project this task will make a report evaluating project results with respect to the effectiveness of the transition to distributed safetycritical CPS solutions given the means and methods developed

Publications

Federated learning for drowsiness detection in connected vehicles.

Author(s): Lindskog, William, Valentin Spannagl, and Christian Prehofer
Published in: 2023
Publisher: Springer
DOI: 10.48550/arxiv.2405.03311

Automated Generation of Instance Segmentation Labels for Traffic Surveillance Models.

Author(s): Scholte, D., Urselmann, T. T. G., Zwemer, M. H., & Bondarev, E
Published in: 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, 2024
Publisher: INSTICC
DOI: 10.5220/0012319500003660

The Effect of Covariate Shift and Network Training Detection

Author(s): S. Mariani, S. R. Klomp, and P. H. De With.
Published in: Proceedings of the 18th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 5 VISAPP: VISAPP, 2023, ISBN 978-989-758-634-7
Publisher: SciTePress
DOI: 10.5220/0011725900003417

Role-based access control in wastewater treatment plants: An industrial use case

Author(s): Gómez, Abel, Alfonso, Iván, Doñate, Silvia, Cabot, Jordi, Clarisó, Robert
Published in: Actas de las XXVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2024), 2024
Publisher: Sistedes

Modelado de Sistemas IoT para la Industria en Minería Subterránea de Carbón

Author(s): Iván Alfonso, Kelly Garcés, Harold Castro and Jordi Cabot
Published in: Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022
Publisher: Sistedes

AsyncSLA: Towards a Service Level Agreement for Asynchronous Services

Author(s): Oriol, Marc, Abel Gómez, and Jordi Cabot.
Published in: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024
Publisher: ACM
DOI: 10.1145/3605098.3636074

Response-time Analysis of Fault-Tolerant Hard Real-Time Systems Under Global Scheduling

Author(s): Gohari, Pourya, Jeroen Voeten, and Mitra Nasri
Published in: 2023
Publisher: IEEE
DOI: 10.1109/rtcsa58653.2023.00039

Response-Time Analysis for Non-Preemptive Periodic Moldable Gang Tasks

Author(s): Nelissen, G., Marce-i Igual, J., & Nasri, M.
Published in: 34th Euromicro Conference on Real-Time Systems (ECRTS 2022), 2022
Publisher: Schloss Dagstuhl
DOI: 10.4230/lipics.ecrts.2022.12

Discovering Gateway Ports in Maritime Using Temporal Graph Neural Network Port Classification

Author(s): Dogan Altan, Mohammad Etemad, Dusica Marijan, Tetyana Kholodna
Published in: 35th Canadian Conference on Artificial Intelligence (Canadian AI 2022), 2022
Publisher: Caiac
DOI: 10.48550/arxiv.2204.11855

Software-Defined Network Based Secure Internet-Enabled Video Surveillance System

Author(s): Mathew Del Castillo, Harvey Hermosa, Philip Virgil Astillo, Gaurav Choudhary & Nicola Dragoni
Published in: """Conference proceedings- Information Security Applications, 23rd International Conference, WISA 2022""", 2023
Publisher: Springer
DOI: 10.1007/978-3-031-25659-2_7

Work in Progress: Guaranteeing weakly-hard timing constraints in server-based real-time systems

Author(s): Samimi, N., Nasri, M., Basten, T., & Geilen, M.
Published in: 2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2024
Publisher: IEEE
DOI: 10.1109/rtas61025.2024.00043

Enabling Content Management Systems as an Information Source in Model-driven Projects

Author(s): Joan Giner-Miguelez, Abel Gómez, Jordi Cabot
Published in: 16th International Conference on Research Challenges in Information Science, 2022
Publisher: Springer
DOI: 10.1007/978-3-031-05760-1_30

InSight: Enabling NLOS Classification, Error Correction, and Anchor Selection on Resource-Constrained UWB Devices.

Author(s): Gallacher, M., Stocker, M., Baddeley, M., Römer, K. U., & Boano, C. A.
Published in: 20th International Conference on Embedded Wireless Systems and Networks: EWSN 2023, 2023
Publisher: ACM

Modeling Self-Adaptative IoT Architectures

Author(s): Iván Alfonso, Kelly Garcés, Harold Castro and Jordi Cabot
Published in: SAM2021: System Analysis and Modelling: Agility and DevOps, 2021
Publisher: IEEE
DOI: 10.1109/models-c53483.2021.00122

Histogram-Based Federated XGBoost using Minimal Variance Sampling for Federated Tabular Data

Author(s): Lindskog, William, Christian Prehofer, and Sarandeep Singh.
Published in: 2023 Eighth International Conference on Fog and Mobile Edge Computing (FMEC), 2023
Publisher: IEEE
DOI: 10.1109/fmec59375.2023.10306242

Thirteen concepts to play it safe with the cloud

Author(s): Hendriks, Teun, et al.
Published in: 2023
Publisher: IEEE
DOI: 10.1109/syscon53073.2023.10131180

A Federated Learning Benchmark on Tabular Data: Comparing Tree-Based Models and Neural Networks

Author(s): Lindskog, William, and Christian Prehofer.
Published in: 2023
Publisher: IEEE
DOI: 10.1109/fmec59375.2023.10305887

Poster: Improving the Reliability of BLE Communications through Packet-level Adaptations on a Per-Channel Basis

Author(s): Elisabeth Salomon, Carlo Alberto Boano, and Kay Römer
Published in: Proceedings of the 19th International Conference on Embedded Wireless Systems and Networks (EWSN), poster session, 2022
Publisher: ACM

Marco para el diseño de aplicaciones multimodo sobre un sistema distribuido jerárquico

Author(s): García-Gordillo, Miguel, Valls, Joan J., Sáez, Sergio, Coronel, Javier
Published in: Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023), 2023
Publisher: Sistedes

Reachability-Based Response-Time Analysis of Preemptive Tasks Under Global Scheduling.

Author(s): Gohari, Pourya, Jeroen Voeten, and Mitra Nasri
Published in: 36th Euromicro Conference on Real-Time Systems (ECRTS 2024), 2024
Publisher: Dagstuhl
DOI: 10.4230/lipics.ecrts.2024.3

Data-Age Analysis for Multi-Rate Task Chains under Timing Uncertainty

Author(s): Gohari, P., Nasri, M., & Voeten, J.
Published in: RTNS '22: Proceedings of the 30th International Conference on Real-Time Networks and Systems, 2022
Publisher: ACM
DOI: 10.1145/3534879.3534893

Combining conventional and machine learning approaches to predict battery degradation based on connected vehicle fleets

Author(s): A. Tuschkan, W. Ratzke, A. Belnarsch, C. Aras, C. Simon
Published in: """20. VDI-Kongress mit Fachaustellung SIMVEC 2022 - Aktuelle Herausforderungen bei der Auslegung und Absicherung von Fahrzeugsystemen""", 2022
Publisher: VDI

Federated Learning for Automotive Applications

Author(s): Christian Prehofer
Published in: ITS World Congress 2023, 2023
Publisher: ITS

Understanding and Mitigating the Impact of Wi-Fi 6E Interference on Ultra-Wideband Communications and Ranging

Author(s): H. Brunner, M. Stocker, M. Schuh, M. Schuß, C.A. Boano, and K. Römer
Published in: 21st International Conference on Information Processing in Sensor Networks (IPSN), 2022
Publisher: IEEE
DOI: 10.1109/ipsn54338.2022.00015

Work-in-Progress: Tight Response-Time Analysis for Periodic Preemptive Tasks Under Global Scheduling

Author(s): Gohari, Pourya, Jeroen Voeten, and Mitra Nasri.
Published in: 2023 IEEE Real-Time Systems Symposium (RTSS), 2023
Publisher: IEEE
DOI: 10.1109/rtss59052.2023.00050

Federated Learning for Tabular Data using TabNet: A Vehicular Use-Case

Author(s): William Lindskog, Christian Prehofer
Published in: 2022 IEEE 18th International Conference on Intelligent Computer Communication and Processing (ICCP), 2023, ISBN 978-1-6654-6437-6
Publisher: IEEE
DOI: 10.1109/iccp56966.2022.10053975

Predictive Energy Management for Battery Electric Vehicles with Hybrid Models

Author(s): William Lindskog, Christian Prehofer, Yu-Wen Huang, Ron Puts, Pietro Mosca, Göran Kauermann
Published in: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 2023
Publisher: Springer
DOI: 10.1007/978-3-031-30855-0_13

TRANSACT: Towards safe and secure distributed cyber-physical systems

Author(s): Abel Gómez, Iván Alfonso, Javier Coronel, María Deseada Esclapez, Javier Ferrer
Published in: XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD), 2022
Publisher: Sistedes

Highly Precised and Efficient Robot-Based ESPAR Antenna Measurements in Realistic Environments.

Author(s): Groth, M., Domanski, K., Nyka, K., & Kulas, L.
Published in: 2024 18th European Conference on Antennas and Propagation (EuCAP), 2024
Publisher: IEEE
DOI: 10.23919/eucap60739.2024.10501017

Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool

Author(s): Hendriks, Martijn, Jacques Verriet, and Twan Basten.
Published in: International Journal on Software Tools for Technology Transfer, 2024, ISSN 1433-2787
Publisher: Springer
DOI: 10.1007/s10009-024-00736-3

A Domain-Specific Language for the specification of UCON policies

Author(s): Antonia M. Reina Quintero, Salvador Martinez Perez, Angel Jesus Varela-Vaca, Maria Teresa Gomez Lopez, Jordi Cabot
Published in: Journal of Information Security and Applications, 2022, ISSN 2214-2126
Publisher: Elsevier
DOI: 10.1016/j.jisa.2021.103006

Partial-order reduction in reachability-based response-time analyses of limited-preemptive DAG tasks

Author(s): Sayra Ranjha; Pourya Gohari; Geoffrey Nelissen; Mitra Nasri
Published in: Crossref, Issue 2, 2023, ISSN 1573-1383
Publisher: Springer
DOI: 10.1007/s11241-023-09398-x

Software assistants in software engineering: A systematic mapping study

Author(s): Maxime Savary-Leblanc, Lola Burgueño, Jordi Cabot, Xavier Le Pallec, Sébastien Gérard
Published in: Journal of Software: Practice and Experience, 2022, ISSN 0038-0644
Publisher: John Wiley & Sons Inc.
DOI: 10.1002/spe.3170

Impact of Computational Modeling on Transcatheter Left Atrial Appendage Closure Efficiency and Outcomes

Author(s): Ole De Backer et al.
Published in: JACC Cardiovascular Interventions, 2023, ISSN 1876-7605
Publisher: Elsevier
DOI: 10.1016/j.jcin.2023.01.008

Decentralised IOTA-Based Concepts of Digital Trust for Securing Remote Driving in an Urban Environment

Author(s): Latvakoski, Juhani, Vesa Kyllönen, and Jussi Ronkainen.
Published in: IoT, 2023, ISSN 2624-831X
Publisher: MDPI
DOI: 10.3390/iot4040025

User-driven diverse scenario exploration in model finders

Author(s): Robert Clarisó, Jordi Cabot
Published in: Science of Computer Programming, 2021, ISSN 0167-6423
Publisher: Elsevier BV
DOI: 10.1016/j.scico.2021.102745

A model-based infrastructure for the specification and runtime execution of self-adaptive IoT architectures

Author(s): Iván Alfonso, Kelly Garcés, Harold Castro and Jordi Cabot
Published in: Computing, 2023, ISSN 0010-485X
Publisher: Springer Verlag
DOI: 10.1007/s00607-022-01145-7

Self-adaptive architectures in IoT systems: a systematic literature review

Author(s): Iván Alfonso, Kelly Garcés, Harold Castro and Jordi Cabot
Published in: Journal of Internet Services and Applications, 2021, ISSN 1867-4828
Publisher: Springer Verlag
DOI: 10.1186/s13174-021-00145-8

Reactive buffering window trajectory segmentation: RBW-TS

Author(s): Zaman, B., Altan, D., Marijan, D., & Kholodna, T.
Published in: Journal of Big Data, 2023, ISSN 2196-1115
Publisher: Springer
DOI: 10.1186/s40537-023-00799-0

Interpolation-Based Inference of Vessel Trajectory Waypoints from Sparse AIS Data in Maritime

Author(s): Bakht Zaman, Dusica Marijan, Tetyana Kholodna
Published in: Journal of Marine Science and Engineering, 2023, ISSN 2077-1312
Publisher: MDPI
DOI: 10.3390/jmse11030615

SafeWay: Improving the safety of autonomous waypoint detection in maritime using transformer and interpolation

Author(s): Dogan Altan, Dusica Marijan, Tetyana Kholodna
Published in: Maritime Transport Research, 2023, ISSN 2666-822X
Publisher: Elsevier
DOI: 10.1016/j.martra.2023.100086

A Method for Building Trustworthy Hybrid Performance Models for Cyber-Physical Systems of Systems

Author(s): Modaber, M., Hendriks, M., Geilen, M., Basten, T., & Voeten, J.
Published in: IEEE Access, 2024, ISSN 2169-3536
Publisher: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2024.3422660

Cyber4Drone: A Systematic Review of Cyber Security and Forensics in Next-Generation Drones

Author(s): Vikas Sihag; Gaurav Choudhary; Pankaj Choudhary; Nicola Dragoni
Published in: Drones, Vol 7, Iss 7, p 430 (2023), Issue 2, 2023, ISSN 2504-446X
Publisher: MDPI
DOI: 10.3390/drones7070430

6G Mobile Networks: Key Technologies, Directions, and Advances

Author(s): Dangi, R., Choudhary, G., Dragoni, N., Lalwani, P., Khare, U., & Kundu, S.
Published in: Telecom, 2023, ISSN 2673-4001
Publisher: MDPI
DOI: 10.3390/telecom4040037

APPLICATION OF A SIMULATION-BASED V&V APPROACH TO AUTOMATIC VOYAGE PLANNING

Author(s): Akkermann, Arnold and Hjollo, Bjorn Age
Published in: International Journal of Software Engineering & Applications (IJSEA), 2023, ISSN 2231-5403
Publisher: AIRCC Publishing Corporation
DOI: 10.5121/csit.2023.131909

IEDA-HGEO: Improved Energy Efficient with Clustering-Based Data Aggregation and Transmission Protocol for Underwater Wireless Sensor Networks

Author(s): Shubham Joshi, TP Anithaashri, Ravi Rastogi, Gaurav Choudhary, Nicola Dragoni
Published in: MDPI-Energies, 2022, ISSN 1996-1073
Publisher: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/en16010353

Dealing with belief uncertainty in domain models

Author(s): Lola Burgueño, Paula Muñoz, Robert Clarisó, Jordi Cabot, Sébastien Gérard, and Antonio Vallecillo
Published in: ACM Transactions on Software Engineering and Methodology, 2022, ISSN 1049-331X
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3542947

Reference Architectures for Automotive Software

Author(s): E. K Nakagawa, P. O. Antonino
Published in: Reference Architectures for Critical Domains: Industrial Uses and Impacts, 2022
Publisher: Springer

Deliverables

Publications

Share this page Share this page on social networks

Download Download the content of the page