国防, 嵌入式系统, 模型驱动开发, 航空航天, 软件公司Esterel Technologies (Esterel Technologies)Esterel Technologies, SCADE Suite, 安全关键型, 嵌入式系统, 软件开发