Collins Aerospaceがモデルベース開発を効率化するためにAdaCore QGenコード・ジェネレータを採用