Safety
Special Interest Groups
Verification Tools Library
The Verification Tools Library documents several of the most mature verification tools available to the cyber-physical systems community. In addition to resources pages for each individual tool cataloged here, the library also contains reference pages that describe the terminology used on the search page.
Assurance Case Research Group
The focus of this group is to explore past and present work on developing assurance cases; develop new ideas and leverage technology to argue properties of cyber-physical systems; and establish a body of knowledge on assurance case content, structure, and presentation.
CPS Certification (CERT)
The CERT group was created to discuss and identify research needs in the certifiable assurance of cyber-physical systems.
Software Certification Consortium (SCC)
The SCC is a group of researchers/practitioners who are interested in the development and certification of high integrity systems.
Unifying Control and Verification of
Cyber-Physical Systems
The overall goal of UnCoVerCPS is to develop holistic model-based design methods of future cyber-physical systems with a special focus on unifying control design with formal verification.
Workshops and Meetings
International Conference Series on Applied veRification for Continuous and Hybrid Systems (ARCH)
The ARCH workshop series, held as part of CPSWeek, aims to bring together researchers and practitioners, and to establish a curated set of benchmarks submitted by academia and industry.
Software Certification Consortium
Meeting Series
SCC typically meets twice a year, and the themes of the meetings are designed to contribute to a long-term SCC work plan.
NASA Formal Methods Symposium (NFM)
Held at NASA. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.
2015 | 2016 | 2017 | 2018 | 2019 | 2020 |
2021 | 2023
International Conference on Verification and Evaluation of Computer and Communication Systems (VeCOS)
Focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related.
2015 | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023
Correct-by-Design Control Software
Synthesis for Highly Dynamic Systems
Paulo Tabuada (University of California at Los Angeles)
Credible Autocoding and Verification
of Embedded Software (CrAVEs)
Eric Feron (GA Tech) and Arnaud Venet (CMU)
Closed-Loop Formal Verification of ICDs
Using Cardiac Electrophysiological Models
Scott Smolka (SUNY Stony Brook)
Compositionality and Reconfiguration
for Distributed Hybrid Systems
André Platzer (CMU)
Distributed Just-Ahead-Of-Time Verification
of Cyber-Physical Critical Infrastructures
Saman Allari Zonouz (Rutgers)
and Katherine Davis (UIUC)
In-Silico Functional Verification of Artificial
Pancreas Control Algorithms
Sriram Sankaranarayanan
(CU Boulder)
Methods and Tools for the Verification
of Cyber-Physical Systems
Chris Myers (Utah) and Hao Zheng (USF)
Robustness Guided Testing and Verification
for Cyber-Physical Systems
Georgios Fainekos (Arizona State)
Safety-Oriented Hybrid Verification
for Medical Robotics
Matthew Might (Utah)
