Предварительно сертифицированная безопасная объектно-ориентированная система для кроссплатформенной разработки программных продуктов в критических систем.