English
Related papers

Related papers: Towards Reference Architectures for Trustworthy Co…

200 papers

Cyber-physical technologies are prone to attacks, in addition to faults and failures. The issue of protecting cyber-physical systems should be tackled by jointly addressing security at both cyber and physical domains, in order to promptly…

Cryptography and Security · Computer Science 2018-02-08 Jose Rubio-Hernan , Rishikesh Sahay , Luca De Cicco , Joaquin Garcia-Alfaro

Heterogeneous computing is widely used at all levels of computing from data center to edge due to its power/performance characteristics. However, heterogeneity presents challenges. Interoperability---the management of workloads across…

Software Engineering · Computer Science 2020-05-19 Shuvra S. Bhattacharyya , Marilyn C. Wolf

We introduce a method for the assessment of trust for n-open systems based on a measurement of fidelity and present a prototypic implementation of a complaint architecture. We construct a MAPE loop which monitors the compliance between…

Cryptography and Security · Computer Science 2015-03-11 Vincenzo De Florio , Giuseppe Primiero

Cyber Physical Systems (CPS) enable new kinds of applications as well as significant improvements of existing ones in numerous different application domains. A major trait of upcoming CPS is an increasing degree of automation up to the…

Software Engineering · Computer Science 2024-05-07 Daniel Schneider , Jan Reich , Rasmus Adler , Peter Liggesmeyer

Making cities smarter help improve city services and increase citizens' quality of life. Information and communication technologies (ICT) are fundamental for progressing towards smarter city environments. Smart City software platforms…

Computers and Society · Computer Science 2024-01-24 Eduardo Felipe Zambom Santana , Ana Paula Chaves , Marco Aurelio Gerosa , Fabio Kon , Dejan Milojicic

The integration of large language models into software systems is transforming capabilities such as natural language understanding, decision-making, and autonomous task execution. However, the absence of a commonly accepted software…

Software Engineering · Computer Science 2025-01-23 Alessio Bucaioni , Martin Weyssow , Junda He , Yunbo Lyu , David Lo

Cyber-Physical Systems (CPS) are systems controlled by one or more computer-based components tightly integrated with a set of physical components, typically described as sensors and actuators, that can either be directly attached to the…

Logic in Computer Science · Computer Science 2018-03-09 Andre Metelo , Christiano Braga , Diego Brandão

The use of edge computing can be extremely valuable in support of CPS efforts. However, few if any testbeds provide the type of resource control and provisioning required to support edge-enabled CPS experimentation. Likewise, commercial…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-10-04 V. K. Cody Bumgardner , Nima Seyedtalebi , Caylin Hickey

Cyber-physical systems (CPS) integrate sensing, computing, communication and actuation capabilities to monitor and control operations in the physical environment. A key requirement of such systems is the need to provide predictable…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-07-29 Hyoseung Kim

In Cyber Physical Systems humans are often kept in the loop as operators and/or service users. Yet in many cases, humans and machines collaborate and provide services to each other. Research on service models and service composition for CPS…

Software Engineering · Computer Science 2021-07-28 Hargyo Tri Nugroho Ignatius , Rami Bahsoon

Datasets are essential to apply AI algorithms to Cyber Physical System (CPS) Security. Due to scarcity of real CPS datasets, researchers elected to generate their own datasets using either real or virtualized testbeds. However, unlike other…

Cryptography and Security · Computer Science 2022-08-18 Ashraf Tantawy

The Internet of Things (IoT) is a ubiquitous system connecting many different devices - the things - which can be accessed from the distance. The cyber-physical systems (CPS) monitor and control the things from the distance. As a result,…

Emerging Technologies · Computer Science 2019-03-21 Denise Ratasich , Faiq Khalid , Florian Geissler , Radu Grosu , Muhammad Shafique , Ezio Bartocci

We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and cyber-physical attacks. We focus on %a formal treatment of both integrity and DoS attacks to sensors and actuators of…

Cryptography and Security · Computer Science 2017-04-24 Ruggero Lanotte , Massimo Merro , Riccardo Muradore , Luca Viganò

Formal guarantees for cyber-physical systems (CPS) rely on diverse assumptions. If satisfied, these assumptions enable the transfer of abstract guarantees into real-world assurances about the deployed CPS. Although assumptions are central…

Systems and Control · Electrical Eng. & Systems 2025-11-21 Chengyu Li , Saleh Faghfoorian , Ivan Ruchkin

With the increased dependence on software, there is a pressing need for engineering long-lived software. As architectures have a profound effect on the life-span of the software and the provisioned quality of service, stable architectures…

Software Engineering · Computer Science 2019-12-12 Maria Salama , Rami Bahsoon , Rajkumar Buyya

Reference models in form of best practices are an essential element to ensured knowledge as design for reuse. Popular modeling approaches do not offer mechanisms to embed reference models in a supporting way, let alone a repository of it.…

Databases · Computer Science 2024-07-02 Erik Heiland , Peter Hillmann , Andreas Karcher

The integration of cyber technologies (computing and communication) with the physical world gives rise to complex systems referred to as Cyber Physical Systems (CPS), for example, manufacturing, transportation, smart grid, and water…

Cryptography and Security · Computer Science 2020-04-08 Chuadhry Mujeeb Ahmed , Jianying Zhou

Cyber Physical Systems (CPS) are characterized by their ability to integrate the physical and information or cyber worlds. Their deployment in critical infrastructure have demonstrated a potential to transform the world. However, harnessing…

Cryptography and Security · Computer Science 2021-02-16 Felix Olowononi , Danda B. Rawat , Chunmei Liu

The complexity of cyberattacks in Cyber-Physical Systems (CPSs) calls for a mechanism that can evaluate the operational behaviour and security without negatively affecting the operation of live systems. In this regard, Digital Twins (DTs)…

Cryptography and Security · Computer Science 2022-05-03 Sabah Suhail , Raja Jurdak

Our Critical Infrastructure (CI) systems are, by definition, critical to the safe and proper functioning of society. Nearly all of these systems utilize industrial Process Control Systems (PCS) to provide clean water, reliable electricity,…

Cryptography and Security · Computer Science 2018-05-10 James Christopher Foreman