The PathCrawler tool developed at CEA List was used to generate test inputs for the blocs module of the software embedded in Schneider Electric's VIPAM (medium voltage relay) product.

See attached file

Position in the Domain

This is part of Automatic Firmware Validation in the Hardware Modelling Co-Design Flow.

Used Methofds and Tools

TE-WP3-CEA-02-S1

Experience

• No cost saving detected
• No time-to-market improvement has been detected
• No reusability improvement has been detected
• No quality improvement has been detected