AutoPort: Fault Identification by Platform Diversification

Platform Diversification is a powerful capability for identification of faults very difficult to detect by usual tests and anylsis methods like "dormant faults". It benefits from different and complementary capabilities of platform components such as processor type, OS and compiler. AutoPort supports platform porting at zero human effort and identifies differences in compiler messages. DARTT supports automated execution of the ported source code and identification of "hiding" faults at run-time.

Features

• Adaptation of pragmas: All pragmas which are not compliant with the target compiler are adapted.
• Harmonisation of package and file names
• Adaption of attributes like size and objectsize
• Stubs for functions not availabe on or non-portable to the target compiler, like assembler or library functions
• Immediately executable code for target compiler