None-Linear finite model

The aim is to produce a non-linear finite element model of a stretch forming test used to study the formability of automotive steels and compare results with experimental measurements.
Description of the experimental test
A punch-stretching formability test has been carried out on a newly developed automotive Advanced High Strength Steel (DP1000) to characterise the formability of the material and in particular the extent of plastic deformation before failure. This steel is often used for body-in-white structural and reinforcement components like pillar reinforcements and crash structures as well as for lightweight seat structures. Displacement and strain profiles have been measured on the top surface of the specimen using 3D Digital Image Correlation (DIC). Figure 1 shows the test set up with the DIC cameras. The specimen is a 90 mm diameter circular blank with a thickness of 1.5 mm (see image of the deformed blank in Figure 3). The blank is fixed in place by a blank holder and is loaded transversely by a punch at a speed of 2.5 mm/min. Technical drawings of the rig are provided in the Appendix. A stress/strain curve for the material measured in a uniaxial tensile test is given in Figure 2. Material properties are summarised in Table 1.
Figure 3 shows the deformed blank after failure at the end of the test after a total travel of the punch of 12 mm. The DIC-measured out-of-plane displacement uz normal to the blank just before failure, and the strain component Exy, Exx, and Eyy maps just before and after failure are shown in Figures 4-7, respectively.
You are not required to have detailed knowledge of DIC procedures for this assignment. Modelling task
You are asked to produce a finite element model of this test and compare displacement and strain distributions with experimental results.
The steel blank should be approximated as an elastic-perfect plastic material, with parameters given in Table 1. The punch should be treated as rigid.
Interaction between the punch and the specimen should be captured using an appropriate contact formulation.
You are otherwise free to develop the model as you see fit. Model choices, including any simplifying assumptions, should be described and justified.