Rational Tau  Rational Tau is a UML and SysML modeling tool supporting automated code generation and model verification. Tau is today maintained by IBM. It was part of the IBM acquisition of Telelogic 2008.