SCADE Suite 中的"SCADE"为"安全关键应用开发环境"的缩写。需说明的是，在时效性方面，下面的描述反映的是发展至2010年左右的情况。更详细的内容，可参考《Formal Methods - Industrial Use from Model to the Code》(ISBN 978-1-84821-362-3)。 控制工程师与软件工程师对高安全嵌入式系统的不同视角 控制工