COMET is a FE-based platform designed to solve highly non-linear analysis including frictional contact. COMET is useful to solve either quasi-static analysis or dynamic problems in both small and large kinematic frameworks.
http://www.cimne.com/comet#