产品验证解决方案：安萨尔多
安萨尔多信号公司已经在多个大型项目中采用SCADE Suite来开发复杂的系统，比如联锁系统与列车控制系统。
运用SCADE来描述基本信号功能（通常超过100个函数），按照工程理论与准则进行环境建模，可使得设计符合最严格的认证要求。
这些系统都有着复杂的结构：超过100个基本模型，几千个输入与输出。
许多项目在采用SCADE后有了切实的改善，使得安萨尔多及其客户都能满足严格的成本及时间要求。
SCADE由于其模块化，所以与我们要设计的功能相联系；一个功能一旦设计完成后，它的行为不会因为使用的环境不同而发生变化。
