Special Interest Groups

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.