- Блог
- Просмотров: 1169
От беспилотных летательных аппаратов до автомобилей – генерация кода для встроенных приложений, критичных с точки зрения безопасности
Разработка проектов из сферы интернета вещей (IoT – Internet of Things) является сложной задачей, идёт ли речь об автомобиле с автопилотом, интерфейсе пользователя для мультимедийной системы автомобиля или о целом предприятии, подключенном к интернету. Программное обеспечение всех этих объектов содержит тысячи (если не миллионы) строк кода. При этом многие проекты касаются задач, критичных с точки зрения нормальной работы объекта или с точки зрения безопасности. Ввиду этого разработчики должны быть на 100% уверены, что программное обеспечение, управляющее этими объектами, будет работать как положено.