中文
相关论文

相关论文: Architecture Models Refinements for Software Devel…

200 篇论文

Cyber-Physical Systems (CPS) are increasingly complex and frequently integrated into modern societies via critical infrastructure systems, products, and services. Consequently, there is a need for reliable functionality of these complex…

最优化与控制 · 数学 2024-05-30 Babak Aslani , Shima Mohebbi , Edward J. Oughton

This paper proposes a system for the ingestion and analysis of real-time sensor and actor data of bulk materials handling plants and machinery. It references issues that concern mining sensor data in cyber physical systems (CPS). The…

信号处理 · 电气工程与系统科学 2018-02-05 Christopher Josef Rothschedl , Roland Ritt , Paul O'Leary , Matthew Harker , Michael Habacher , Michael Brandner

Modern society is increasingly surrounded by, and accustomed to, a wide range of Cyber-Physical Systems (CPS), Internet-of-Things (IoT), and smart devices. They often perform safety-critical functions, e.g., personal medical devices,…

密码学与安全 · 计算机科学 2020-01-14 Ivan De Oliveira Nunes , Karim Eldefrawy , Norrathep Rattanavipanon , Gene Tsudik

We introduce a novel approach to automatically synthesize a mathematical representation of the control algorithms implemented in industrial cyber-physical systems (CPS), given the embedded system binary. The output model can be used by…

In the last few years, Model Driven Development (MDD), Component-based Software Development (CBSD), and context-oriented software have become interesting alternatives for the design and construction of self-adaptive software systems. In…

软件工程 · 计算机科学 2021-08-23 Basel Magableh

Assuring the correct behavior of cyber-physical systems requires significant modeling effort, particularly during early stages of the engineering and design process when a system is not yet available for testing or verification of proper…

系统与控制 · 电气工程与系统科学 2021-01-27 Georgios Bakirtzis , Christina Vasilakopoulou , Cody H. Fleming

Cyber-physical systems (CPSs) facilitate the integration of physical entities and cyber infrastructures through the utilization of pervasive computational resources and communication units, leading to improved efficiency, automation, and…

系统与控制 · 电气工程与系统科学 2024-02-19 Zirui Liao , Jian Shi , Yuwei Zhang , Shaoping Wang , Zhiyong Sun

In an increasingly interconnected world, Cyber-Physical Systems (CPS) are essential to critical industries like healthcare, transportation, and manufacturing, merging physical processes with computational intelligence. However, the security…

密码学与安全 · 计算机科学 2026-04-07 Danial Abshari , Meera Sridhar

Cyber-physical systems (CPS) are subject to environmental uncertainties such as adverse operating conditions, malicious attacks, and hardware degradation. These uncertainties may lead to failures that put the system in a sub-optimal or…

软件工程 · 计算机科学 2024-04-09 Simon Chu , Justin Koe , David Garlan , Eunsuk Kang

[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

Virtualization of computing and networking, IT-OT convergence, cybersecurity and AI-based enhancement of autonomy are significantly increasing the complexity of CPS and CPSoS. New challenges have emerged to demonstrate that these systems…

系统与控制 · 电气工程与系统科学 2021-04-28 Emmanuel Ledinot

Cyber-physical systems (CPS) are composed of various embedded subsystems and require specialized software, firmware, and hardware to coordinate with the rest of the system. These multiple levels of integration expose attack surfaces which…

密码学与安全 · 计算机科学 2018-12-11 Smitha Gautham , Georgios Bakirtzis , Matthew T. Leccadito , Robert H. Klenke , Carl R. Elks

Cyber physical systems CPSs embodies the conception as well as the implementation of the integration of the state-of-art technologies in sensing, communication, computing, and control. Such systems incorporate new trends such as cloud…

计算机与社会 · 计算机科学 2018-02-15 Walid Gomaa

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…

密码学与安全 · 计算机科学 2021-02-16 Felix Olowononi , Danda B. Rawat , Chunmei Liu

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 consider the problem of how to deploy a controller to a (networked) cyber-physical system (CPS). Controlling a CPS is an involved task, and synthesizing a controller to respect sensing, actuation, and communication constraints is only…

系统与控制 · 电气工程与系统科学 2020-09-30 Shih-Hao Tseng , James Anderson

Cyber-Physical Systems (CPS) integrate physical and embedded systems with information and communication technology systems, monitoring and controlling physical processes with minimal human intervention. The connection to information and…

密码学与安全 · 计算机科学 2024-09-17 Asila AlHarmali , Saqib Ali , Waqas Aman , Omar Hussain

Cyber-physical systems (CPS) are systems where a decision making (cyber/control) component is tightly integrated with a physical system (with sensing/actuation) to enable real-time monitoring and control. Recently, there has been…

A cyber-physical system (CPS) is a tight coupling of computational resources, network communication, and physical processes. They are composed of a set of networked components, including sensors, actuators, control processing units, and…

系统与控制 · 电气工程与系统科学 2019-11-11 Shamila Nateghi , Yuri Shtessel , Christopher Edwards , Jean-Pierre Barbot

Cyber-physical systems (CPSs) for real-time advanced process control (RT-APC) are a class of control systems using network communication to control industrial processes. In this paper, we use simple examples to describe the software…

系统与控制 · 电气工程与系统科学 2023-07-06 Anders H. D. Andersen , Zhanhao Zhang , Steen Hørsholt , Tobias K. S. Ritschel , John Bagterp Jørgensen