SoS Resources

Useful resources for when engaging with simulation and modelling for system-of-system (SoS) projects, that we use within Resystems.

Open Source Software

Resystems

The following open source libraries and tools are developed by Resystems:

  • task-graph - a utility for building directed graphs representing task dependencies for issues tracked in GitHub.
  • pony-raft - an implementation of the Raft consensus algorithm for Pony.
  • pony-statsd - a library for emitting statsd based telemetry from Pony.
  • pony-graphs - a library for computing dominators in directed graphs.
  • cpu-usage - a utility for tracking Linux CPU usage.
  • d3-es-bundler - a utility for packaging D3 as an ES compliant JavaScript module.

Unsupported

Older components that may be of interest, but that are no longer actively supported:

Third-party

The following libraries and tools are used by Resystems:

Tools

  • TLA+ - temporal logic of asserts, a tool for describing and verifying mathematical specifications of concurrent system’s logic.
  • Pony Lang - an actor based language for developing high concurrency components and simulations.
  • Blender - a 3D modelling and rendering platform.
  • Linux - don’t forget the OS ;)

Libraries

  • D3 - graphics and DOM manipulation library for JavaScript.
  • rollup.js - a module bundler for JavaScript.
  • three.js - 3D rendering in JavaScript.

Additional Resources