4 ms·
Bear in mind that avionics software as a whole is a broad category that includes everything from fly-by-wire flight controls to the onboard entertainment system
by clem 10y ago
Bear in mind that avionics software as a whole is a broad category that includes everything from fly-by-wire flight controls to the onboard entertainment system. Each system is classified under an appropriate Software Level as specified in DO-178C:
https://en.wikipedia.org/wiki/DO-178C#Software_level https://en.wikipedia.org/wiki/DO-178C#Software_level
The OMF system described in the video is Level E, meaning it's failure would have no safety impact on the aircraft. This gives us greater latitude in choice of software solutions. The higher levels, however, have strict requirements regarding latency and memory management that would automatically preclude the use of Clojure or any language with garbage collection.
So, as always, it's selecting the right tool for the job.
- agounaris 10y agoCheers, interesting info
- paulydavis 10y agoFrom my experience most of the work I have done in the last 5 years is in C for Level A - C (and D but that is changing). Ada is only used on legacy projects that started out that way. We have one level D project that uses embedded Linux and a technicolor assortment of languages. E projects generally are a free for all with what is used.
- pron 10y agoSCADE is also used in levels A-C: > At present, more than 98 system types have been certified using SCADE DO-178B/C certified tools, for more than 53 aircraft programs, by multiple certification authorities, worldwide, such as the FAA, EASA, Transport Canada, and ANAC, for Levels C to A. http://www.esterel-technologies.com/industries/do-178b-and-do-178c/ http://www.esterel-technologies.com/industries/do-178b-and-d...
- paulydavis 10y agoYeah Simulink produces C code too. Doesn't SCADE produce c and Ada code to be compiled for the target? I mean most Control laws (application code) is now modeled and produces C code. I would not even call SCADE and Simulink a language. Custom OS's that run that SCADE code is written in C.
- pron 10y agoRight, SCADE compiles down to C, but the development and verification are done in SCADE.