Cyber-physical Systems (CPS) Security: State of the Art and Research Opportunities for Information Systems Academics

2020 ◽  
Vol 47 (1) ◽  
pp. 678-696
Author(s):  
Chetan Kumar ◽  
◽  
Sean Marston ◽  
Ravi Sen ◽  
◽  
...  
Keyword(s):  
Information Systems ◽  
State Of The Art ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Research Opportunities

scholarly journals ARCH-COMP 2019 Category Report: Falsification

10.29007/68dk ◽  
2019 ◽  
Author(s):  
Gidon Ernst ◽  
Paolo Arcaini ◽  
Alexandre Donzé ◽  
Georgios Fainekos ◽  
Logan Mathesen ◽  
...  
Keyword(s):  
Temporal Logic ◽  
State Of The Art ◽  
Cyber Physical Systems ◽  
The State ◽  
Base Line ◽  
Physical Systems ◽  
The Future ◽  
Friendly Competition ◽  
Initial Base

This report presents the results from the 2019 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the organization of the competition and how it differs from previous years. We give background on the participating teams and tools and discuss the selected benchmarks and results. The benchmarks are available on the ARCH website1, as well as in the competition’s gitlab repository2. The main outcome of the 2019 competition is a common benchmark repository, and an initial base-line for falsification, with results from multiple tools, which will facilitate comparisons and tracking of the state-of-the-art in falsification in the future.

scholarly journals Exploring Risks Transferred from Cloud-Based Information Systems: A Quantitative and Longitudinal Model

Sensors ◽  
2018 ◽  
Vol 18 (10) ◽  
pp. 3488 ◽  
Author(s):  
Wafa Bouaynaya ◽  
Hongbo Lyu ◽  
Zuopeng Zhang
Keyword(s):  
Cloud Computing ◽  
Information System ◽  
Information Systems ◽  
Internet Of Things ◽  
Risk Estimation ◽  
Estimation Method ◽  
Cyber Physical Systems ◽  
Longitudinal Model ◽  
Physical Systems ◽  
A Company

With the growing popularity of Internet of Things (IoT) and Cyber-Physical Systems (CPS), cloud- based systems have assumed a greater important role. However, there lacks formal approaches to modeling the risks transferred through information systems implemented in a cloud-based environment. This paper explores formal methods to quantify the risks associated with an information system and evaluate its variation throughout its implementation. Specifically, we study the risk variation through a quantitative and longitudinal model spanning from the launch of a cloud-based information systems project to its completion. In addition, we propose to redefine the risk estimation method to differentiate a mitigated risk from an unmitigated risk. This research makes valuable contributions by helping practitioners understand whether cloud computing presents a competitive advantage or a threat to the sustainability of a company.

scholarly journals Medical Cyber-Physical Systems: A Solution to Smart Health and the State of the Art

2021 ◽  
pp. 1-28
Author(s):  
Fulong Chen ◽  
Yuqing Tang ◽  
Canlin Wang ◽  
Jing Huang ◽  
Cheng Huang ◽  
...  
Keyword(s):  
State Of The Art ◽  
Cyber Physical Systems ◽  
The State ◽  
Physical Systems ◽  
Smart Health

scholarly journals State of the art of cyber-physical systems security: An automatic control perspective

2019 ◽  
Vol 149 ◽  
pp. 174-216 ◽  
Author(s):  
Yuriy Zacchia Lun ◽  
Alessandro D’Innocenzo ◽  
Francesco Smarra ◽  
Ivano Malavolta ◽  
Maria Domenica Di Benedetto
Keyword(s):  
Automatic Control ◽  
State Of The Art ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Systems Security

scholarly journals Industry 4.0 Applications for Medical/Healthcare Services

2021 ◽  
Vol 10 (3) ◽  
pp. 43
Author(s):  
Shuva Paul ◽  
Muhtasim Riffat ◽  
Abrar Yasir ◽  
Mir Nusrat Mahim ◽  
Bushra Yasmin Sharnali ◽  
...  
Keyword(s):  
Industry 4.0 ◽  
Data Analytics ◽  
Industrial Revolution ◽  
State Of The Art ◽  
Big Data Analytics ◽  
Healthcare Services ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Start Ups ◽  
Medical Healthcare

At present, the whole world is transitioning to the fourth industrial revolution, or Industry 4.0, representing the transition to digital, fully automated environments, and cyber-physical systems. Industry 4.0 comprises many different technologies and innovations, which are being implemented in many different sectors. In this review, we focus on the healthcare or medical domain, where healthcare is being revolutionized. The whole ecosystem is moving towards Healthcare 4.0, through the application of Industry 4.0 methodologies. Many technical and innovative approaches have had an impact on moving the sector towards the 4.0 paradigm. We focus on such technologies, including Internet of Things, Big Data Analytics, blockchain, Cloud Computing, and Artificial Intelligence, implemented in Healthcare 4.0. In this review, we analyze and identify how their applications function, the currently available state-of-the-art technologies, solutions to current challenges, and innovative start-ups that have impacted healthcare, with regards to the Industry 4.0 paradigm.

Sign in / Sign up

Export Citation Format

Share Document