通过使用爱斯特尔公司提供的SCADE Suite SAGEM最小化了开发导航功能所需的时间与成本
自1994年以来，SAGEM已经开始使用SCADE Suite进行直升机自动驾驶，惯性平台以及飞行数据等功能的开发。现在SAGEM正使用这一工具开发高安全性的导航系统。
导航系统融合了多个传感器的关键数据，包含复杂的有限数量的状态机以及对传感器进行高阶数字滤波，比如带有45到50个状态的Kalman滤波，这意味着大规模矩阵运算以及大量的数据流动。整个体系结构需要支持数据变化的不同快慢，而整个运行频率实在2KHz范围之内。
就导航嵌入式系统而言，复杂度正在逐步增加，随之而来的是数据量的增加。面对越来越复杂的系统，我们对安全性，对认证的要求也越来越高，这将导致整个验证工作量非线性的增加。
再者，逐步改进的驱动需要从一个核心设计演化出几个后续版本，这要求软件尽可能可重用。因而SAGEM决定采用基于模型的开发过程。这一强大的开发方法应用于各个项目中，取得了几个重要的作用：
- 在一个较为抽象的层次处理某一功能的复杂性，这能更好地理解设计的全貌。
- 在开发的早期就强制了对于高安全性的需求。
- 在开发过程中通过迭代，逐步细化设计。
- 更早地生成认证所需的文档。
- 低层工作的自动实现。
- 很好地解决了时间与成本问题。
SCADE Suite最小化了开发高频惯性滤波器，GPS的时间与成本。使用SCADE Suite，可生成应用软件80%的代码，还可以获得运行时间与计算频率之间的最优化。这一运用正在实施过程中。
获取Sagem在2007年SCADE用户大会上的发言稿
