English
Related papers

Related papers: Towards Reference Architectures for Trustworthy Co…

200 papers

A challenge is to develop cyber-physical system scenarios that reflect the diversity and complexity of real-life cyber-physical systems in the research questions that they address. Time-bounded collaborative events, such as hackathons, jams…

[Context and Motivation]: Cyber-Physical Systems (CPS) have become relevant in a wide variety of different domains, integrating hardware and software, often operating in an emerging and uncertain environment where human actors actively or…

Software Engineering · Computer Science 2025-05-06 Zoe Pfister , Michael Vierhauser , Rebekka Wohlrab , Ruth Breu

As Autonomous Systems (AS) become more ubiquitous in society, more responsible for our safety and our interaction with them more frequent, it is essential that they are trustworthy. Assessing the trustworthiness of AS is a mandatory…

Artificial Intelligence · Computer Science 2023-05-12 Gregory Chance , Dhaminda B. Abeywickrama , Beckett LeClair , Owen Kerr , Kerstin Eder

The analysis of cyber-physical systems (CPS) is challenging due to the large state space and the continuous changes occurring in their constituent parts. Design practices favor modularity to help reducing this complexity. In a previous…

Logic in Computer Science · Computer Science 2022-08-03 Benjamin Lion , Farhad Arbab , Carolyn Talcott

Cyber-physical systems (CPS), which integrate algorithmic control with physical processes, often consist of physically distributed components communicating over a network. A malfunctioning or compromised component in such a CPS can lead to…

Software Engineering · Computer Science 2016-11-08 Yuqi Chen , Christopher M. Poskitt , Jun Sun

Cyber-Physical System (CPS) represents systems that join both hardware and software components to perform real-time services. Maintaining the system's reliability is critical to the continuous delivery of these services. However, the CPS…

Software Engineering · Computer Science 2023-11-10 Diaeddin Rimawi

Traditional control environments connected to physical systems are being upgraded with novel information and communication technologies. The resulting systems need to be adequately protected. Experimental testbeds are crucial for the study…

Cryptography and Security · Computer Science 2017-12-01 Jose Rubio-Hernan , Juan Rodolfo-Mejias , Joaquin Garcia-Alfaro

In the world of Cyber-Physical Systems (CPS), a captivating real-time fusion occurs where digital technology meets the physical world. This synergy has been significantly transformed by the integration of artificial intelligence (AI), a…

Software Engineering · Computer Science 2025-10-02 Hadiza Umar Yusuf , Khouloud Gaaloul

Cyber-Physical Systems (CPS) integrate sensing, communication, computation, and control to support critical infrastructure, including smart grids, industrial automation, and control systems. In the electrical utility domain, various…

Cryptography and Security · Computer Science 2026-05-28 Abile Jean , Kuniyilh S

Cyber Physical Systems have been going into a transition phase from individual systems to a collecttives of systems that collaborate in order to achieve a highly complex cause, realizing a system of systems approach. The automotive domain…

Systems and Control · Electrical Eng. & Systems 2021-07-07 Stavros Nousias , Nikos Piperigkos , Gerasimos Arvanitis , Apostolos Fournaris , Aris S. Lalos , Konstantinos Moustakas

Digital embedded systems in safety-critical cyber-physical-systems (CPSs) require high levels of resilience and robustness against different fault classes. In recent years, self-healing concepts based on biological physiology have received…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-27 Shawkat Khairullah , Carl Elks

We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally…

Software Engineering · Computer Science 2021-10-06 Benjamin Lion , Farhad Arbab , Carolyn Talcott

We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally…

Systems and Control · Electrical Eng. & Systems 2022-03-28 Benjamin Lion , Farhad Arbab , Carolyn Talcott

We continue to consider the question of what language features are needed to effectively model cyber-physical systems (CPS). In previous work, we proposed using a core language as a way to study this question, and showed how several basic…

User privacy concerns are widely regarded as a key obstacle to the success of modern smart cyber-physical systems. In this paper, we analyse, through an example, some of the requirements that future data collection architectures of these…

Networking and Internet Architecture · Computer Science 2018-09-10 Mahmoud Barhamgi , Charith Perera , Chirine Ghedira , Djamal Benslimane

Trustworthiness and trust are basic factors in common societies that allow us to interact and enjoy being in crowds without fear. As robotic devices start percolating into our daily lives they must behave as fully trustworthy objects, such…

Computers and Society · Computer Science 2025-04-15 Gerhard P. Fettweis , Patricia Grünberg , Tim Hentschel , Stefan Köpsell

Scientific workflows are powerful tools for management of scalable experiments, often composed of complex tasks running on distributed resources. Existing cyberinfrastructure provides components that can be utilized within repeatable…

Computers and Society · Computer Science 2019-03-05 Ilkay Altintas , Shweta Purawat , Daniel Crawl , Alok Singh , Kyle Marcus

Research in the area of Cyber-Physical Systems (CPS) is hampered by the lack of available project environments in which to explore open challenges and to propose and rigorously evaluate solutions. In this "New Ideas and Emerging Results"…

Software Engineering · Computer Science 2018-04-10 Jane Cleland-Huang , Michael Vierhauser , Sean Bayley

Systems modeling practice lacks security analysis tools that can interface with modeling languages to facilitate security by design. Security by design is a necessity in the age of safety critical cyber-physical systems, where security…

Cryptography and Security · Computer Science 2020-10-19 Georgios Bakirtzis , Garrett L. Ward , Christopher J. Deloglos , Carl R. Elks , Barry M. Horowitz , Cody H. Fleming

Industrial cyber-physical systems (ICPSs) manage critical infrastructures by controlling the processes based on the "physics" data gathered by edge sensor networks. Recent innovations in ubiquitous computing and communication technologies…

Cryptography and Security · Computer Science 2021-01-12 Hakan Kayan , Matthew Nunes , Omer Rana , Pete Burnap , Charith Perera
‹ Prev 1 4 5 6 7 8 10 Next ›