STRATEGUS
Software
Open-source tools born in the project and the ecosystem that carries them forward. Everything here is public, under BSD licences, and open to contributions.
Open-source ecosystem
- Licence
- BSD (per repository)
GLACIER
An open ecosystem for modeling, simulating and validating modern manufacturing systems, where the results of STRATEGUS are consolidated and carried forward.
GLACIER is a collaborative effort between STRATEGUS and the ICE Laboratory at the University of Verona. It provides a common framework for many of the ideas investigated during the fellowship: structured machine models, continuous-time physical dynamics, deterministic simulation, digital twins, software validation, and integration with scheduling and optimisation techniques.
The ecosystem is meant to outlive the fellowship as an open research infrastructure that researchers, students and industrial developers can use, extend and contribute to. Its components are developed in the open under BSD licences in the GLACIER organisation on GitHub.
Simulation platform
- Licence
- BSD-2-Clause
- Written in
- Lingua Franca, Python
Frost
A simulation platform built on Lingua Franca for the early validation and testing of manufacturing control software, before deployment on the physical shop floor.
Frost is the simulation infrastructure at the core of GLACIER. It reproduces machines, software services, communication infrastructure and control applications inside a deterministic virtual manufacturing environment, so that control software can be developed and tested against a digital twin and then deployed on the real system with little or no change.
Frost builds on the Lingua Franca coordination framework, which guarantees deterministic execution, and supports the integration of multiple continuous-time machine models. Reusable reactors are distributed as a Lingua Franca package; component interfaces are described with the GLACIER machine data model.
C++ library
- Licence
- BSD-3-Clause
- Written in
- C++
FlexMan
A modular C++ library for adaptive continuous-time scheduling and multi-dimensional optimisation, with an industrial tapping machine as the worked example.
FlexMan solves continuous-time scheduling problems by finding sequences of operating modes that drive a system towards a target state efficiently. It combines customisable discrete and continuous simulation managers with search and optimisation strategies, so that the same machinery can weigh several objectives at once, for example production time and energy.
Released in January 2025 as the first software output of STRATEGUS, FlexMan is used in the project’s work on machine dynamics-aware scheduling and in its teaching material.