Media File Renamer gpl is a WordPress plugin that renames your media files. It can be automatic (depending on certain conditions) or manual. It is excellent for SEO, to keep your WordPress tidy and to avoid issues related to files.
The references to those filenames on your website will also be updated. It has many features, and if you are a developer you can automate the whole process and how the renaming is performed.