Cyber-physical systems virtual organization: Active resources
Stephen A. Rees, Tamás Kecskés, Patrik Meijer, Taylor Thomas Johnson, Katie Dey, Paulo Tabuada, Marcus Lucas · 2019
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.