Information and Systems Technology Tools for Verification and Validation of Embedded Control Systems Develop tools for embedded controllers in the locomotive systems manufactured by GE Transportation Systems.