The Verification Tools Library documents several of the most mature verification tools available to the cyber-physical systems community.This site consists of:a search engine that suggests specific tools for various types of problems,as well as a…

Assurance Cases As cyber-physical systems become increasingly complex, regulators and third parties are looking for a means of assessing various properties of these systems, such as safety and security, under increasing time constraints. One possible…

This Teacher Camp was held June 3-7, 2019 at Vanderbilt University Institute for Software Integrated Systems in Nashvillle, Tennessee. The camp offered a team-based, hands-on curriculum for teaching cybersecurity, distributed programming, and robotics.…

In today's climate, hyperscalers are reporting frequent silent data corruptions (SDCs)—i.e, silent errors or corrupt execution errors (CEEs)—in their cloud fleets caused by silicon manufacturing defects. Remarkably, SDCs at-scale are exhibiting error…

The 2022 Secure and Trustworthy CyberSpace Principal Investigators’ Meeting (2022 SaTC PI Meeting), was held Wednesday, June 1 and Thursday, June 2, 2022 at the Hyatt Regency Crystal City Hotel in Arlington, VA. This meeting highlighted the 10-year…

The 2018 NRI PI Meeting was held at the Hilton Crystal City at Washington Reagan National Airport located in Arlington, Virginia at 2399 Jefferson Davis Highway on Monday, October 29 and Tuesday, October 30, 2018.…

To  discuss and identify research needs in the certifiable assurance of cyber-physical systems (CPSs), focusing on uncertainties associated with the verification and validation of the complex logic on which these CPSs rely, whether…

Two 2019 summer camps were held </span>at the Vanderbilt University Institute for Software Integrated Systems in Nashvillle, Tennessee. The camps offered a hands-on curriculum that teaches cybersecurity, programming, and robotics. Students worked…

CPS-IoT Week 2022 will be fully virtualThis tutorial session will be held as a fully virtual event. We appreciate the hard work that the CPSWeek organizing committee displayed to permit an in-person event, but the tail of the pandemic prevents an in-…

Rocky Times Challenge  (mapping a precariously balanced rock at a fault scarp)March-April 2022  Instructions for running your simulation environment 1) Use the Design tab on the left to launch a simulation container, use '…

The Defense Advanced Research Projects Agency's (DARPA) Adaptive Vehicle Make (AVM) portfolio of programs had a goal of compressing the development timelines for new complex cyber-physical systems by at least five-fold.  With AVM, DARPA pursued the…

 A cyber-physical system consists of two interacting subsystems, a cyber-system and a physical system. The behavior of the cyber system is controlled by the execution of programs on a distributed digital computer system, while the laws of physics…

The National Workshop on Transportation Cyber-Physical Systems was held January 23-24, 2014 in Arlington, Virginia. The workshop gathered leaders from industry, research laboratories, academic institutions, and government agencies to assess the current…

The tenth annual Cyber-Physical Systems Principal Investigators' Meeting (CPS PI Meeting '19) was held Wednesday, November 20 (arrival night) - Thursday, November 21 & Friday, November 22 (meeting days) at the Crystal Gateway Marriott, located…

The fourth biennial NSF Secure and Trustworthy CyberSpace Principal Investigators’ Meeting (SaTC PI Meeting ’19) was held Monday, October 28 starting at 8:00 a.m. through 3:30 p.m. Tuesday, October 29, 2019 at the Hilton Alexandria Mark Center…

Going Public with Your CPS Code and Data Join us at Doheny Beach C on Tuesday, May 6, 2025 for two sessions: (1) Making your code do the talking and (2) Creating an accessible and active resource. Participants are welcome to attend one or both…

DESTION 2025 will take place on May 06, 2025 in Irvine, California, USA as part of the CPS-IoT Week events.The target audience of DESTION 2025 is researchers and practitioners of Cyber Physical Systems (CPS) design methodologies, machine learning,…

The summer cybercamp will offer a hands-on curriculum that teaches cybersecurity, programming, and robotics. Students will work in teams utilizing virtual robots in a shared 3D world. Participants will create computer programs to control the robots using…

Vanderbilt Digital Nights Series(2020-2021)Welcome to the home page for the Vanderbilt Digital Nights Program! This series of events is sponsored by the Computational Thinking and Learning Initiative (CTLI), a group of interdisciplinary researchers from…

5th Workshop on Design Automation for CPS and IoT (DESTION 2023)One Day Workshop at IEEE/ACM CPS-IoT WEEK, May 9, 2023, San Antonio, Texas, USADESTION 2023 took place on May 9, 2023 as part of the CPS-IoT Week events.The target audience of DESTION 2023…

 Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for continuous and hybrid systems with a special…

Cyber-physical systems are very hard to control and verify because of the mix of discrete dynamics (originating from computing elements) and continuous dynamics (originating from physical elements). We present completely new methods for deverticalisation…