Ada Developers Workshop 2024. HiRTOS - многоядерная ОСРВ - написанная на SPARK Ada.
Запись конференции Ada Developers Workshop 2024. Ведущий: Дж. Герман Ривера (J. German Rivera). В этой презентации будут описаны детали дизайна HiRTOS, специфичные для Ada, и способы его переноса на новые платформы. HiRTOS — это небольшое многоядерное ядро RTOS и ядро разделения. RTOS — критически важный компонент безопасности любой встроенной программной системы bare metal. Тем не менее, большинство RTOS написаны на языке C, который является небезопасным. Было бы безопаснее использовать RTOS, написанную на более безопасном языке, например, Ada или даже лучше SPARK Ada. Однако интеграция компонентов кода Ada в встроенную прошивку bare metal, написанную на других языках, обычно на C, не является простой в переносимом виде, поскольку доступные baremetal кросс-компиляторы GNAT требуют наличия среды выполнения Ada для целевого микроконтроллера или встроенной платформы, а такие baremetal среды выполнения Ada доступны только для очень ограниченного числа платформ. HiRTOS решает эту проблему, будучи реализованной поверх минимальной платформонезависимой среды выполнения Ada. Кроме того, сам код HiRTOS был написан поверх слоя портирования, который обеспечивает платформенно-независимый интерфейс для HiRTOS. В настоящее время предоставляется только один слой портирования для многоядерного процессора ARM Cortex-R52. Для портирования HiRTOS на новую целевую платформу все, что нужно, — это реализовать слой портирования для новой целевой платформы.
Запись конференции Ada Developers Workshop 2024. Ведущий: Дж. Герман Ривера (J. German Rivera). В этой презентации будут описаны детали дизайна HiRTOS, специфичные для Ada, и способы его переноса на новые платформы. HiRTOS — это небольшое многоядерное ядро RTOS и ядро разделения. RTOS — критически важный компонент безопасности любой встроенной программной системы bare metal. Тем не менее, большинство RTOS написаны на языке C, который является небезопасным. Было бы безопаснее использовать RTOS, написанную на более безопасном языке, например, Ada или даже лучше SPARK Ada. Однако интеграция компонентов кода Ada в встроенную прошивку bare metal, написанную на других языках, обычно на C, не является простой в переносимом виде, поскольку доступные baremetal кросс-компиляторы GNAT требуют наличия среды выполнения Ada для целевого микроконтроллера или встроенной платформы, а такие baremetal среды выполнения Ada доступны только для очень ограниченного числа платформ. HiRTOS решает эту проблему, будучи реализованной поверх минимальной платформонезависимой среды выполнения Ada. Кроме того, сам код HiRTOS был написан поверх слоя портирования, который обеспечивает платформенно-независимый интерфейс для HiRTOS. В настоящее время предоставляется только один слой портирования для многоядерного процессора ARM Cortex-R52. Для портирования HiRTOS на новую целевую платформу все, что нужно, — это реализовать слой портирования для новой целевой платформы.