Senior Embedded Software Engineer-51工作-加国无忧 51.ca - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from 51.ca Daily Mail and Mail on Sunday newspapers.
AdaCore, a trusted provider of software development and verification tools, announces that Collins Aerospace has selected AdaCore’s QGen code generator for Simulink/Stateflow models, and the new TQL-1 Enterprise Qualification Package , to advance the development of their FAA-certifiable Perigon™ computer, which is designed to support the future flight control and vehicle management needs of commercial and military rotary/fixed wing platforms. By using the TQL-1 release of QGen, Perigon™ software developers are able to save thousands of hours of testing, verification, and certification efforts, while providing additional safety guarantees to their customers. With the adoption of the QGen Enterprise Qualification Package, Collins is now able to streamline its model-based engineering practices.