Posts tagged embedded
Сертифікація багатоядерних систем за допомогою Ada
- 28 червня 2026
Хосе Ф. Руїс, червень 2026, CC-BY 4.0. Джерело.
Ніколи не використовуйте Float або Integer
- 18 березня 2026
переклад статті Never use Float or Integer, Марк Гермелінг, 18 березня 2026 р.
Формальний доказ на драйверах пристроїв за допомогою SPARK
- 16 лютого 2026
Переклад статті Formal Proof on Device Drivers with SPARK
Aug 16, 2023
Вступ до програмування вбудованих систем мовою Ada
- 09 березня 2025
До вбудовуваних систем належать програмні системи, що виконуються на пристроях з обмеженою потужністю. Часто до таких систем висувають особливі вимоги надійності, роботи в реальному часі, обмеженого споживання тощо.