SCADE Suite® is a design and development environment for critical embedded applications. Software reliability and safety is addressed throughout the entire development process, from requirements to code generation and software verification and validation. Common software problems are eliminated with the use of SCADE Suite in the following manner:
· Designer errors and misunderstandings: the Scade 6 notation is based on a strongly typed formal language. A Scade 6 design is statically and semantically checked. It is then tested against software requirements using SCADE Suite Simulator. The coverage of tests can be analyzed using the Qualified Model Test Coverage tool. This ensures that the design fully complies with its software requirements.
· Programmer errors: SCADE Suite KCG 6.1.2 Code Generator is qualifiable for DO-178B and certified for IEC 61508 and EN 50128 to ensure that the generated code behaves exactly as the Scade design and with respect to the software requirements.
· Unexpected compiler behaviors and errors: SCADE Suite Compiler Verification Kit (CVK) verifies the C compiler when used to compile SCADE Suite KCG-generated C code. This kit is composed of C test files, fully representative of all C constructs and their combinations that can be generated by SCADE Suite KCG Code Generator, and test case scenarios including expected values.
Understanding How SCADE Suite KCG Generates Safe C Code
Full Text: Loading...