Ada Developers Workshop 2024. Ironclad в Ada Developers Works
Запись конференции Ada Developers Workshop 2024. Докладчик: Кристиан Симон (Cristian Simon) Ironclad - это формально верифицированное ядро, способное работать в режиме реального времени для общего назначения и встраиваемого использования, написанное на языках SPARK и Ada. Он состоит из 100% свободного программного обеспечения. В этом докладе мы рассмотрим, что делает Ironclad особенным изнутри Gloire, дистрибутива Ironclad, продемонстрируем его опыт работы с рабочим столом и другими внутренними компонентами системы, а также рассмотрим использование Ada в проекте, а также преимущества, которые она дает по сравнению с другими экосистемами, такими как C/C++ и Rust.
Запись конференции Ada Developers Workshop 2024. Докладчик: Кристиан Симон (Cristian Simon) Ironclad - это формально верифицированное ядро, способное работать в режиме реального времени для общего назначения и встраиваемого использования, написанное на языках SPARK и Ada. Он состоит из 100% свободного программного обеспечения. В этом докладе мы рассмотрим, что делает Ironclad особенным изнутри Gloire, дистрибутива Ironclad, продемонстрируем его опыт работы с рабочим столом и другими внутренними компонентами системы, а также рассмотрим использование Ada в проекте, а также преимущества, которые она дает по сравнению с другими экосистемами, такими как C/C++ и Rust.