Demonstration of ASTERIOS®, with its LET technology in action on a Flight Control System example.

The video shows how ASTERIOS is actually streamlining and automating the software development process, introducing an architecture dimension and safe-by-design paradigm to the development process, in a formal approach that guarantees built-in determinism and correct-by-design software application development.