Skip to Main Content
This paper describes an automatic toolset to validate fault tolerant designs. The toolset has been produced as a demonstrator for the AMATISTA European project (IST project 11762), to test the effectiveness of the new FT (Fault Tolerant) tools, developed as the main target of the project. The toolset has been applied on a typical automotive application already modified by the insertion of FT structures. This paper describes the set-up of the demonstrator and the significant results obtained.