Validation and Verification

Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
event

Visible to the public  CPS Rising Stars Workshop 2022
May 26, 2022 7:00 am - 6:00 pm EDT

CPS Rising Stars Workshop 2022 aims to identify and mentor outstanding PhD students and postdocs who are interested in pursuing academic careers in Cyber-Physical Systems (CPS) related areas. CPS are engineered systems that are built from, and depend upon, the seamless integration of computation and physical components. CPS technologies are transforming the way people interact with engineered systems, just as the Internet has transformed the way people interact with information.

event

Visible to the public  GameSec 2020 (Online)
Oct 28, 2020 7:00 am - Oct 30, 2020 6:00 pm EDT

11th Conference on Decision and Game Theory for Security (GameSec 2020)

Modern societies are becoming dependent on information, automation, and communication technologies more than ever. Managing the security of the emerging systems, many of them safety critical, poses significant challenges.

event

Visible to the public  HoTSoS 2020 - Virtual
Sep 22, 2020 7:00 am - Sep 23, 2020 6:00 pm CDT

7th Annual Hot Topics in the Science of Security (HoTSoS) Symposium

September 22-24, 2020 | Virtually hosted by the University of Kansas | https://cps-vo.org/group/hotsos

forum

Visible to the public 2022 AINNCS Benchmarks

We will discuss the 2022 ARCH-COMP AINNCS benchmarks here. We plan to mostly reuse the 2021 benchmarks, which were also mostly used in the 2020 edition.

2021 benchmarks:

https://github.com/verivital/ARCH-COMP2021

2021 report "ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants":

https://easychair.org/publications/paper/Jq4h

event

Visible to the public  STS 2022
Jun 20, 2022 7:00 am - Jun 22, 2022 6:00 pm CEST

5th International Symposium on Smart Transportation Systems

June 20 - 22, 2022 | Rhodes, Greece | http://sts-22.kesinternational.org/

forum

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

- 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.