中文
相关论文

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

200 篇论文

Cyber-Physical Systems (CPS) use computational resources to control physical process and provide critical services. For this reason, an attack in these systems may have dangerous consequences in the physical world. Hence, resilience is a…

密码学与安全 · 计算机科学 2020-09-16 Mariana Segovia , Jose Rubio-Hernan , Ana Rosa Cavalli , Joaquin Garcia-Alfaro

Cyber-physical systems (CPS) are often defended in the same manner as information technology (IT) systems -- by using perimeter security. Multiple factors make such defenses insufficient for CPS. Resiliency shows potential in overcoming…

密码学与安全 · 计算机科学 2021-10-12 Cody Fleming , Carl Elks , Georgios Bakirtzis , Stephen C. Adams , Bryan Carter , Peter A. Beling , Barry Horowitz

This technical report presents a Systematic Literature Review (SLR) study that focuses on identifying and classifying the recent research practices pertaining to CPS development through MDE approaches. The study evaluates 140 research…

软件工程 · 计算机科学 2021-03-17 Mustafa Abshir Mohamed , Geylani Kardas , Moharram Challenger

Concerns for the resilience of Cyber-Physical Systems (CPS)s in critical infrastructure are growing. CPS integrate sensing, computation, control, and networking into physical objects and mission-critical services, connecting traditional…

密码学与安全 · 计算机科学 2024-05-20 Mariana Segovia-Ferreira , Jose Rubio-Hernan , Ana Rosa Cavalli , Joaquin Garcia-Alfaro

Cyber physical systems (CPS) are mission critical systems engineered by combination of cyber and physical systems respectively. These systems are tightly coupled, resource constrained systems and have dynamic real time applications. Due to…

密码学与安全 · 计算机科学 2016-11-03 Anees Ara , Mznah Al-Rodhaan , Yuan Tian , Abdullah Al-Dhelaan

Cyber-physical systems (CPS) incorporate the complex and large-scale engineered systems behind critical infrastructure operations, such as water distribution networks, energy delivery systems, healthcare services, manufacturing systems, and…

密码学与安全 · 计算机科学 2021-09-29 Charalambos Konstantinou , George Stergiopoulos , Masood Parvania , Paulo Esteves-Verissimo

Cyber-Physical Production Systems (CPPSs), such as automated car manufacturing plants, execute a configurable sequence of production steps to manufacture products from a product portfolio. In CPPS engineering, domain experts start with…

Ensuring the safety and efficacy of Cyber-Physical Systems (CPSs) is challenging due to the large variability of their operating environment. Model checking has been proposed for validation of CPSs, but the models of the environment are…

形式语言与自动机理论 · 计算机科学 2021-05-05 Guangyao Chen , Zhihao Jiang

This paper presents our work-in-progress study on reference architectures as boundary objects for realizing trustworthy collaborative Cyber-Physical Systems (CPS). Furthermore, the preliminary results from interviews with systems…

分布式、并行与集群计算 · 计算机科学 2021-08-31 Muhammad Rusyadi Ramli , Fredrik Asplund , Martin Torngren

Cyber-physical systems (CPS) are assemblies of networked, heterogeneous, hardware, and software components sensing, evaluating, and actuating a physical environment. This heterogeneity induces complexity that makes CPSs challenging to model…

形式语言与自动机理论 · 计算机科学 2021-09-01 Stéphane Kastenbaum , Benoît Boyer , Jean-Pierre Talpin

Cyber-Physical Systems (CPSs) involve the interconnection of heterogeneous computing devices which are closely integrated with the physical processes under control. Often, these systems are resource-constrained and require specific features…

分布式、并行与集群计算 · 计算机科学 2012-08-13 Ismael Etxeberria-Agiriano , Isidro Calvo , Liliana Montero , Ivan Alonso

Failures in safety-critical Cyber-Physical Systems (CPS), both software and hardware-related, can lead to severe incidents impacting physical infrastructure or even harming humans. As a result, extensive simulations and field tests need to…

软件工程 · 计算机科学 2025-01-28 Ankit Agrawal , Philipp Zech , Michael Vierhauser

Cyber-Physical Systems (CPS) are formed through interconnected components capable of computation, communication, sensing and changing the physical world. The development of these systems poses a significant challenge since they have to be…

密码学与安全 · 计算机科学 2021-09-22 Igor Ivkic , Patrizia Sailer , Antonios Gouglidis , Andreas Mauthe , Markus Tauber

Software rejuvenation has been proposed as a strategy to protect cyber-physical systems (CSPs) against unanticipated and undetectable cyber attacks. The basic idea is to refresh the system periodically with a secure and trusted copy of the…

系统与控制 · 计算机科学 2018-10-25 Raffaele Romagnoli , Bruce H. Krogh , Bruno Sinopoli

Cyber-Physical Systems (CPS) are being widely adopted in critical infrastructures, such as smart grids, nuclear plants, water systems, transportation systems, manufacturing and healthcare services, among others. However, the increasing…

密码学与安全 · 计算机科学 2021-11-23 Eyasu Getahun Chekole , Martin Ochoa , Sudipta Chattopadhyay

Today's production systems are complex networks of cyber-physical systems which combine mechanical and electronic parts with software and networking capabilities. To the inherent complexity of such systems additional complexity arises from…

软件工程 · 计算机科学 2022-07-26 Aljosha Köcher , Alexander Hayward , Alexander Fay

Continuous Software Engineering (CSE) is widely adopted in the industry, integrating practices such as Continuous Integration and Continuous Deployment (CI/CD). Beyond technical aspects, CSE also encompasses business activities like…

软件工程 · 计算机科学 2025-05-09 Anastasiia Tkalich , Eriks Klotins , Nils Brede Moe

Cyber-Physical Systems (CPS) consist of distributed engineered environments where the monitoring and surveillance tasks are governed by tightly integrated computing, communication and control technologies. CPS are omnipresent in our…

密码学与安全 · 计算机科学 2019-11-11 Michel Barbeau , Georg Carle , Joaquin Garcia-Alfaro , Vicenç Torra

Cyber-Physical Systems (CPSs) software is used to enforce desired behaviours on physical systems. To test the interaction between the CPS software and the system's physics, engineers provide traces of desired physical states and observe…

软件工程 · 计算机科学 2025-05-01 Claudio Mandrioli , Seung Yeob Shin , Domenico Bianculli , Lionel Briand

Resilience in cyber-physical systems (CPS) is the fundamental ability to maintain safety and critical functionality despite adverse "perturbations," which includes security attacks, environmental disruptions, and hardware or software…