中文
相关论文

相关论文: Towards Reference Architectures for Trustworthy Co…

200 篇论文

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…

软件工程 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

分布式、并行与集群计算 · 计算机科学 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…

软件工程 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

网络与互联网体系结构 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

计算机与社会 · 计算机科学 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"…

软件工程 · 计算机科学 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…

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…

密码学与安全 · 计算机科学 2021-01-12 Hakan Kayan , Matthew Nunes , Omer Rana , Pete Burnap , Charith Perera