Welcome to the CASTLE competition!Overview: You are playing as a "red" offensive agent whose goal is to disrupt the network. Your goal is to maximize your reward. You will find that some actions lead to a high reward while others do not increase the…

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…

About CPS Security Summer Camps '18The Cyber-Physical Systems (CPS) Summer Camps were a 5-day experience for highly-qualified students interested in the growing field of CPS Security. The camps will be held at the Vanderbilt University…

The 2020 NSF NRI PI Meeting was held Thursday, February 27 starting at 8:30 a.m. through 5:00 p.m. Friday, February 28, 2020 at the Renaissance Arlington Capital View, located at 2800 South Potomac Ave., Arlington, Virginia 22202. There was a…

 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 2011 Workshop for Developing Dependable and Secure Automotive Cyber-Physical Systems from Components (DDSA-CPS) was held in Troy, Michigan on March 17-18, 2011. The goal of this workshop, a follow-on to previous workshops on Cyber-Physical Systems (…

As an active and contributing member of the formal methods community the National Science and Technology Council's Special Cyber Operations Research and Engineering Subcommittee would like to invite you to attend a one-day meeting to discuss…

The first annual Cyber-Physical Systems Principal Investigators' Meeting was held August 10-12, 2010 at the Westin Arlington Gateway in Arlington, Virginia.The CPS Principal Investigator Meeting provides a forum for a wide range of stakeholders in…

The 2024 Cyber-Physical Systems Principal Investigators' Meeting (CPS PI Meeting '24) was held in person at Vanderbilt University's Student Life Center (SLC) located at 310 25th Ave. South, Nashville, TN 37212. The meeting dates were Wednesday…

FORCES is designed to help protect the nation's critical infrastructure from attack and to ensure its robust, secure and efficient operation. Specifically, FORCES aims to increase the resilience of large-scale networked cyber-physical systems (CPS) in…

Welcome to the 2022 National Robotics Initiative and Foundational Research in Robotics Principal Investigators' Meeting. This year's meeting will be held virtually over three days from Tuesday, April 19 through Thursday, April 21,…

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…

Image The Secure and Trustworthy Cyberspace (SaTC) program funds fundamentally new, principled approaches to protect and defend cyberspace against harmful actions by determined adversaries, and to measure…

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…

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…

The goal of the META program is to substantially improve upon the existing systems engineering, integration, and testing process for defense systems. META is not predicated on one particular alternative approach, metric, technique, or tool. Broadly…

In Fall 2019 the National Science and Technology Council's Special Cyber Operations Research and Engineering Subcommittee convened two one-day meetings to discuss successes and barriers, opportunities and challenges, in the (accelerating) use…

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,…

BEST Robotics is a national non-profit organization providing middle and high school students with a FREE STEM Education program and competition for career and workforce development. BEST is an acronym for Boosting Engineering, Science and…

ECBS 2013 will be the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS). The meeting is dedicated to formulating and advancing methods, techniques and tools for the Engineering of Computer-…

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…

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 '…

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…