The ARCOS Virtual Organization allows the interaction with and exploration of Automated Rapid Certification of Software program technologies via an access-managed web interface. The ARCOS tools are deployed on a suite of standard services of the CPS-VO supporting authentication, graphical modeling, version control, dependency management, data access, visualization, execution and report generation. Each design studio is complemented by documentation, a demonstration and a suite of examples. The publication listing facility helps in showcasing the published research artifacts of different performers of the ARCOS program. The tool listing portal in the ARCOS Virtual Organization allows users to see the potential simulators, verification tools and tool suites. The tools are categorized based on technical area allowing interested users to quickly find relevant tools of interest.
DARPA Automated Rapid Certification of Software (ARCOS) Program site: https://www.darpa.mil/program/automated-rapid-certification-of-software