👩🏾‍🤝‍👨🏽 👨🏽‍💼 🀄️ Da haben wir einen verifizierten Flugregler für einen Quadcopter geschrieben. Auf Ada 🔝 🤘🏾 🚔

Einmal, in den Neujahrsferien, als die Faulpelze in unserem Forschungs- und Entwicklungsbüro träge im Internet surften, bemerkten sie ein Video von den Tests eines Robotaxi-Prototyps. Der Kommentator antwortete mit einem enthusiastischen Ton - schließlich eine Revolution. Es ist großartig, ja, aber die Zeit ist jetzt - die Revolution ist da und die IT führt sie an.

Aber das trainierte Ohr hörte etwas anderes im Geräusch von der Teststelle. Der Geschwindigkeitsregler (das Ding, um den Schub der Propeller zu steuern) spielte zu Beginn eine Melodie, wie es Drohnenpiloten gerne tun, die häufig den Betaflight-Flugregler verwenden. Gibt es einen Beta-Flug? Es scheint, dass ja. Nun, oder einige seiner Sorten - es gibt nur etwa ein halbes Dutzend offene Fluglotsen.

Rückblenden liefen vor meinen Augen, irgendwo aus den Tiefen des Unterbewusstseins, vergessene Informationen über die Firmware für Toyota für Millionen von Zeilen C und 2.000 globale Variablen ( Toyota: 81564 Fehler im Code ).

Nachdem der Betaflight-Quellcode auf Github überprüft wurde, wurde er noch schlimmer und je weiter, desto schlimmer . Wir vermuten, dass der selbstgeschriebene Code ungefähr auf dem gleichen Niveau sein wird. Dies bedeutet, dass es keine Garantie und die Fähigkeit gibt, nicht nur den störungsfreien Betrieb des Codes sicherzustellen, sondern seine Arbeit vollständig zu verstehen. Und dies ist das Steuerungsprogramm für ein schweres Gerät mit scharfen Schrauben, das hoch und schnell fliegt. Es wird unheimlich: Spielzeug ist eine Sache, aber ich würde nicht in einem solchen Taxi fliegen wollen.

Aber ist es anders möglich? Sie können, wir haben uns entschieden!

Und sie beschlossen, es zu beweisen. Ein akrobatisches FPV-Quadric auf Basis von STM32F405 wurde bei Avito gekauft, ein Discovery-Board für denselben Controller wurde zum Debuggen gekauft, und dann ist alles wie ein Nebel.