SCADE是英文 Safety-Critical Application Development Environment的缩写，它是一个高安全性的应用开发环境。 法国爱斯特尔技术公司在开发SCADE软件时联合了航空电子、汽车电子、军用飞机以及核电站控制等领域的合作伙伴，如AIRBUS, Schneider Electric, Dassault Aviation和THALES等，综合了多个领域对嵌入式软件开发的不同要求，提出了一整套高安全性嵌入式软件开发的自动化工具和相应方法学。 SCADE运用了correct by construction的概念，覆盖了嵌入式软件开发中从需求到嵌入式代码的整个流程：需求建模、模型检查、模拟仿真、形式验证、嵌入式代码自动生成、以及文档自动生成等等。除此之外，它还与许多其它工具进行了桥接。下面，我们从这二个方面来分别介绍SCADE的功能模块。
答：Bill在国外,一直是William的昵称(nick name) 比如说Bill Gates 的全名是 William Henry Gates III 其他的还...详情>>
答：不同内核详情>>
