The SIMulator of PROCedures (SIMPROC)  was designed to analyze Emergency Operating Procedures (EOPs) and  Severe Accident Management Guidelines (SAMGs). The project was funded by the Ministry of Industry of Spain, and lasted for two years, between 2007 and 2008 with a PROFIT program.

SIMPROC theoretical basis are fully exposed in the doctoral thesis of Antonio Exposito, and its “father” from the computational point of view is COPMA III, developed in the Halden Reactor Project (HRP).

SIMPROC is developed in C++ language and is connected to Babieca driver as a library. Its inputs are XML objects. It can model reactor and turbine operator  skills performing actions representing different workloads with delays in carrying out the actions. SIMPROC models this by using several types of tasks;

  • ACTION. Specifies an action or manipulation to be performed on a component.
  • AUTOCHECK: Specifies a condition that must be automatically assessed based on the value of a variable. GOSUB, GOTO or INITIATE can be executed depending on the condition of process verification.
  • INITIATE: Begins an action in a procedure or subprocedure.
  • FINISH: End action.
  • GOSUB: Jump ago what the operator is doing at the time to a specific statement in the procedure, allowing the back to the point where if it was called a RETURN statement.
  • GOTO: Causes the operator to jump to a specific instruction without having the option of returning to the starting point.
  • MONITOR: Similar to a AUTOCHECK but the condition is monitored in background for a specific time interval.
  • RETURN: Causes the flow of control returns to the first statement after the GOSUB continuing.
  • WAIT: Paralyzes the execution of the next instruction until the defined time interval expires or a specific process condition is met.

SIMPROC has a different time step Babieca’s one, so communicating with it is carried out when both codes have completed its time steps. One of the most important features is the stack of SIMPROC actions that must be modeled so the procedure can be done in a credible way, although it is interesting to see the problems of poor management of the process.

After developing SIMPROC, several applications have been carried out with its capabilities, and currently is considering expanding its capacity to introduce reliability to the code, introducing into it the probability associated with the complexity and stress of procedures and operators respectively, is to say Human Reliability Assessment (HRA).