Когда предрелизный не только софт: программное решение аппаратных проблем

В моем докладе сделана попытка посмотреть на процесс разработки устройства на базе ARM SoC с точки зрения разработчика системного программного обеспечения. Подразумевается что системное ПО включает помимо ОС загрузчики, тесты аппаратуры и иное инженерное ПО. Кроме того, половина моего доклада посвящено тому как поступать в случае обнаружения разного рода аппаратных ошибок. Возможные причины большинства подобных ошибок сведены в список и предложен простой алгоритм позволяющий найти и…

О SOLID-ности

Ряд широкоиспользуемых конструкций языков программирования противоречат SOLID принципам, отсюда возникает вопрос обоснованности использования SOLID принципов.

В докладе будут представлены ключевые идеи математического доказательства SOLID принципов, которые позволяют обощить их на процедурное и функциональное программирование.

Доклад рассчитан на программистов и архитекторов. Для понимания содержания нужно быть знакомым с основами математической логики в рамках университетского курса.