На какой библиотеке или фреймворке C можно написать ПО для автопилота самолёта?
Система автопилота - достаточно наворочена и разноуровнева, состоит из кучи модулей и подсистем и написана на разных языках. В топе - Ada, C, C++ 



А еще там есть веселые баги, когда определенные параметры посадочного курса вырубают нафиг все дисплеи в кабине:

"All six display units (DUs) blanked with a selected instrument approach to a runway with a 270-degree true heading, and all six DUs stayed blank until a different runway was selected," noted the FAA's airworthiness directive, summarising three incidents that occurred on scheduled 737 flights to Barrow, Alaska, in 2019.
Не существует такого фреймворка, который предназначен конкретно для разработки автопилотов.
Но в целом вам в написании может помочь какая-нибудь RTOS.

Разработка автопилота - это очень сложная задача, и бОльшая часть сложности заключается не в написании софта, а в его тестировании, сертификации, и интеграции с со всеми остальными системами.

Вообще, авионика очень разноуровневая, и даже в кабине пилота разные части могут быть написаны на разных ЯП.