OSATE that includes a modeling platform, a graphical viewer and a constraint query languages Ocarina, an AADL toolchain for generating code from models TASTE toolchain supported by the European Space Agency