As part of the SECURE Grand Challenge, the team will be developing a suite of tools to support the full workflow of rigorous cyber experimentation. We will be sharing updates to SECUREtk here.
minimega is a tool for launching and managing virtual machines. It can run on your laptop or distributed across a cluster. minimega is fast, easy to deploy, and can scale to run on massive clusters with virtually no setup.
More information: http://minimega.org/
The Dakota project delivers both state-of-the-art research and robust, usable software for optimization and UQ. Broadly, the Dakota software's advanced parametric analyses enable design exploration, model calibration, risk analysis, and quantification of margins and uncertainty with computational models.
More information: https://dakota.sandia.gov/
Pyomo is a Python-based open-source software package that supports a diverse set of optimization capabilities for formulating, solving, and analyzing optimization models.
More information: http://www.pyomo.org/