PSG Run-File Environment implementation, see Formal Problem Statement :

 

Problem 1
Problem 2
Problem 3
Problem 4