Posts tagged embedded
Ніколи не використовуйте 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
До вбудовуваних систем належать програмні системи, що виконуються на пристроях з обмеженою потужністю. Часто до таких систем висувають особливі вимоги надійності, роботи в реальному часі, обмеженого споживання тощо.