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:

• cohesion-storage - B-Tree storage layer for Java.
• cohesion-json - JSON implementation for Java.

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

• A summary of protocol machine terminology

• Recommended Reading

• Software and Systems Engineering Organisations

• Systems Engineering Resources