SCADE是英文 Safety-Critical Application Development Environment的缩写，它是一个高安全性的应用开发环境。法国爱斯特尔技术公司在开发SCADE软件时联合了航空电子、汽车电子、军用飞机以及核电站控制等领域的合作伙伴，如AIRBUS， Schneider Electric， Dassault Aviation和THALES等，综合了多个领域对嵌入式软件开发的不同要求，提出了一整套高安全性嵌入式软件开发的自动化工具和相应方法学。

SCADE运用了correct by construction的概念，覆盖了嵌入式软件开发中从需求到嵌入式代码的整个流程：需求建模、模型检查、模拟仿真、形式验证、嵌入式代码自动生成、以及文档自动生成等等。除此之外，它还与许多其它工具进行了桥接。下面，我们从这二个方面来分别介绍SCADE的功能模块。