First of all , I use EF into Dal layer (separeted project from MVC, same solution). The generated models from EF\'s EDMX file are the actual models from
You are right in your idea of not accessing access the Models in your DAL directly from your presentation layer.
To avoid duplicating code when translating your DAL objects into the Models used by your views, you could use something like AutoMapper, which is supposed to do the heavylifting for you in exactly that scenario.