Resilient Systems

Systems that maintain state awareness and an accepted level of operational normalcy in response to disturbances, including threats of an unexpected and malicious nature.
forum

Visible to the public Post-doc on model-based security of medical cyber-physical systems

Submitted by nicopao on Tue, 02/15/2022 - 7:33am

- Application deadline: Midnight, 25 March 2022 (GMT)

- Starting date: 1 July 2022

- Salary: starting from PS36,438 p.a. (inclusive of London allowance)

- Duration: until June 2025

- Where: Royal Holloway, University of London

We have a post-doc opportunity on the EPSRC project "MCPS-VeriSec: Model-based Security of Medical Cyber-Physical Systems", led by Nicola Paoletti.

forum

Visible to the public IEEE SMARTCOMP 2021: Call for Participation

Submitted by yusufsarwar on Mon, 08/16/2021 - 2:53am

                   IEEE SMARTCOMP 2021 .::. Call for Participation .::.
*********************************************************************************************************************
The 7th IEEE International Conference on Smart Computing (SMARTCOMP 2021), August 23-27, 2021.

Due to uncertainties associated with the pandemic, IEEE SMARTCOMP 2021 will be held as a virtual conference.

https://www.smart-comp.info

file

Visible to the public Resiliency-Aware Deployment of SDN in Smart Grid SCADA: A Formal Synthesis Model

Submitted by ashiq2503 on Sat, 05/01/2021 - 11:29am. Contributors:

The supervisory control and data acquisition (SCADA) network in a smart grid must be reliable and efficient to transmit real-time data to the controller, especially when the system is under contingencies or cyberattacks. Introducing the features of software-defined networks (SDN) into a SCADA network helps in better management of communication and deployment of novel grid control operations.