SCADE: Synchronous Design and Validation of Embedded Control Software [chapter]

Gérard Berry
2007 Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems  
We describe the SCADE synchronous approach to modelbased embedded software design, validation, and implementation for avionics, automotive, railway, and industry applications. SCADE specifications are based on block-diagrams and hierarchical state-machine graphical models with rigorous formal specifications. The SCADE KCG compiler is certified at the highest level of avionics certification, which suppresses the need for generated code unit testing. The SCADE tool has support for visual
more » ... , test-suite coverage analysis, and formal verification. It has gateways to many other tools ranging from system-level specification to performance analysis.
doi:10.1007/978-1-4020-6254-4_2 fatcat:r5krrlpycbaltlyexzhvzjem2u