Cyber-physical systems virtual organization: Active resources

Abstract

The Cyber-Physical Systems Virtual Organization (CPS-VO) 1 has been evolving from a shared repository of information into a destination for active collaboration, simulation, hands-on education, and demonstration. We would like to show-case advances in tool integration, particularly a set of verification tools, and how this integration enables reproducibility, improves accessibility, and lowers the barrier to entry in this field. We would also like to demonstrate use of our simulation and tool frameworks, have a poster showing results and progress over the last year, and invite others to host their tools on the CPS-VO infrastructure. CCS CONCEPTS • Computing methodologies → Modeling and simulation; • Software and its engineering → Software libraries and repositories; • Mathematics of computing → Mathematical software; • Information systems → Web applications; • Applied computing → Education.