Verifying critical cyber-physical systems after deployment

Verifying critical cyber-physical systems after deployment

Cyber-Physical Systems (CPS) are increasingly novel hardware and software compositions creating smart, autonomously acting devices, enabling efficient end-to-end workflows and new forms of user-machine interaction. The heterogeneous, evolving and distributed nature of CPS means that there is little...

Detaylı Bibliyografya
Yazar:	O'Halloran, C
Diğer Yazarlar:	Grov, G
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	European Association of Software Science and Technology 2015

Benzer Materyaller

Minimized Cost Gateway Deployment in Cyber-Physical Systems
Yazar:: Hao Wang, ve diğerleri
Baskı/Yayın Bilgisi: (2015-09-01)

A Trust With Abstract Information Verified Routing Scheme for Cyber-Physical Network
Yazar:: Xiao Liu, ve diğerleri
Baskı/Yayın Bilgisi: (2018-01-01)

Competitive Swarm Optimizer Based Gateway Deployment Algorithm in Cyber-Physical Systems
Yazar:: Shuqiang Huang, ve diğerleri
Baskı/Yayın Bilgisi: (2017-01-01)

Critical reading of a text through its electronic supplement
Yazar:: Kieran O’Halloran
Baskı/Yayın Bilgisi: (2010-10-01)

Critical reading of a text through its electronic supplement
Yazar:: Kieran O’Halloran
Baskı/Yayın Bilgisi: (2011-06-01)

Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment
Yazar:: Roberto Casadei, ve diğerleri
Baskı/Yayın Bilgisi: (2020-11-01)

Let’s Get Cyber-Physical: Validation of Safety-Critical Cyber-Physical Systems
Yazar:: Luis Novais, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

A Deployment Framework for Formally Verified Human-Robot Interactions
Yazar:: Livia Lestingi, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

Deployment optimization for a long-distance wireless backhaul network in industrial cyber physical systems
Yazar:: Jintao Wang, ve diğerleri
Baskı/Yayın Bilgisi: (2017-11-01)

Computing the impact of central clearing on systemic risk
Yazar:: Nikolai Nowaczyk, ve diğerleri
Baskı/Yayın Bilgisi: (2024-02-01)

Scheduling Complex Cyber-Physical Systems with Mixed-Criticality Components
Yazar:: Jaewoo Lee, ve diğerleri
Baskı/Yayın Bilgisi: (2023-06-01)

A Methodological Approach to Securing Cyber-Physical Systems for Critical Infrastructures
Yazar:: Antonello Calabrò, ve diğerleri
Baskı/Yayın Bilgisi: (2024-11-01)

Challenges of Machine Learning Applied to Safety-Critical Cyber-Physical Systems
Yazar:: Ana Pereira, ve diğerleri
Baskı/Yayın Bilgisi: (2020-11-01)

Toward the Integration of Cyber and Physical Security Monitoring Systems for Critical Infrastructures
Yazar:: Alessandro Fausto, ve diğerleri
Baskı/Yayın Bilgisi: (2021-10-01)

Self-repairing hardware architecture for safety-critical cyber-physical-systems
Yazar:: Shawkat S. Khairullah, ve diğerleri
Baskı/Yayın Bilgisi: (2019-10-01)

Deploying an early-stage Cyber-Physical System for the implementation of Forestry 4.0 in a New Zealand timber harvesting context
Yazar:: Humphrey P, ve diğerleri
Baskı/Yayın Bilgisi: (2024-12-01)

Multimodal discourse analysis : systemic-functional perspectives /
Yazar:: O'Halloran, Kay L.
Baskı/Yayın Bilgisi: (c200)

Cyber-Attacks in IoT-enabled Cyber-physical Systems
Yazar:: SS Latha, ve diğerleri
Baskı/Yayın Bilgisi: (2023-01-01)

Method for Approaching the Cyber-Physical Systems
Yazar:: Tiberiu S. Letia, ve diğerleri
Baskı/Yayın Bilgisi: (2016-10-01)

Automated verification of code automatically generated from Simulink (R)
Yazar:: O'Halloran, C
Baskı/Yayın Bilgisi: (2013)

Exploiting the physical in cyber-physical systems
Yazar:: Baker, R
Baskı/Yayın Bilgisi: (2019)

Distributed Control of Cyber Physical System on Various Domains: A Critical Review
Yazar:: Muzaffar Hamzah, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Distributed Control of Cyber Physical System on Various Domains: A Critical Review
Yazar:: Muzaffar Hamzah, ve diğerleri
Baskı/Yayın Bilgisi: (2023-04-01)

Extending resources for avoiding overloads of mixed-criticality tasks in cyber-physical systems
Yazar:: Md. Al Maruf, ve diğerleri
Baskı/Yayın Bilgisi: (2019-09-01)

Artificial intelligence in cyber physical systems
Yazar:: Radanliev, P, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Principles of cyber-physical systems /
Yazar:: Alur, Rajeev, 1966- author
Baskı/Yayın Bilgisi: (2015)

Quantum cyber-physical systems
Yazar:: Javier Villalba-Diez, ve diğerleri
Baskı/Yayın Bilgisi: (2022-05-01)

Detection of cyber attacks on IoT based cyber physical systems
Yazar:: Anusha G., ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

Integrating artificial intelligence in cyber security for cyber-physical systems
Yazar:: Majed Alowaidi, ve diğerleri
Baskı/Yayın Bilgisi: (2023-02-01)

Developing a monthly radiative kernel for surface albedo change from satellite climatologies of Earth's shortwave radiation budget: CACK v1.0
Yazar:: R. M. Bright, ve diğerleri
Baskı/Yayın Bilgisi: (2019-09-01)

Cybersecurity in Cyber–Physical Power Systems
Yazar:: Luiz Fernando Ribas Monteiro, ve diğerleri
Baskı/Yayın Bilgisi: (2023-06-01)

A verifiably secure and robust authentication protocol for synergistically-assisted IoD deployment drones.
Yazar:: Ali Delham Algarni, ve diğerleri
Baskı/Yayın Bilgisi: (2025-01-01)

Trustworthy Communities for Critical Energy and Mobility Cyber-Physical Applications
Yazar:: Juhani Latvakoski, ve diğerleri
Baskı/Yayın Bilgisi: (2024-09-01)

The Conceptual Framework for Operation of Cyber-Physical Systems
Yazar:: O. L. Yershova, ve diğerleri
Baskı/Yayın Bilgisi: (2019-12-01)

Cairo between worlds: Britain, India, and the Middle East, 1935-1942
Yazar:: O'Halloran, E
Baskı/Yayın Bilgisi: (2018)

Religion, charity and human rights /
Yazar:: O'Halloran, Kerry
Baskı/Yayın Bilgisi: (2014)

Charity law and social inclusion : an international study /
Yazar:: O'halloran, Ke
Baskı/Yayın Bilgisi: (2007)

Small actions to promote conservation and sustainability
Yazar:: Chris O'Halloran
Baskı/Yayın Bilgisi: (2024-12-01)

Digitally deconstructing ‘straw man’ and ‘wicker man’ arguments: A software-aided pedagogy
Yazar:: Kieran O’Halloran
Baskı/Yayın Bilgisi: (2018-11-01)

Implicit dialogical premises, explanation as argument: A corpus-based reconstruction
Yazar:: Kieran O'Halloran
Baskı/Yayın Bilgisi: (2009-02-01)