Spazio IT

Spazio IT specializes in developing software solutions for businesses.

Learn More

Prevent your code from rusting.

Spazio IT SVV solutions, based on static analysis, help you in taking control over your code evolution.

Learn More

Spazio IT solutions have been in space.

Spazio IT solutions are used in every situation where being able to rely on the software is of paramount importance.

Learn More

SAFe Toolset

SAFe Toolset: a system, based on open source tools, for the execution of Software Verification and Validation activities.

Learn More

Industry 4.0

Check Spazio IT (no frills - no risks) approach to Industry 4.0.

Learn More

Oracle ADF

Spazio IT selected Web Development Platform is Oracle ADF.

Learn More

Space Rider ISVV

Spazio IT is working on the ISVV of the Space Rider Reusable Transportation System.

Learn More

Project-Machinery

Project-Machinery: a system taking care of all project management chores.

Learn More

SAFe Toolset: the Crazyflie example

the Crazyflie example
Crazyflie 2.1: a real case example

This page contains a set of videos showing the application of the SAFe Toolset (and especially the SAFacilitator) to a real codebase: the Crazyflie system version 2.1. This system has been selected because, even if open source, is very representative, very similar to the fight software used in many space missions.

Step 01: Get the code – compile it – obtain the Compilation Database.

Step 02: Normalize the Compilation Database.

Step 03: Configure and run the Static Analyzers.

Step 04 – Gather the Analyses Results into SonarQube and review them.

The following video shows how the SAFe Toolset (and especially the SAFacilitator) can be used to generate (and work on) the pre-processed version of the original source files.

SAFe Toolset – Code Pre-processing and Spelunking