A method of forming a bit line contact via. The production system further comprises a machine module mounted for longitudinal movement along the index member and operable to perform an operation, the machine module being operable to detect the position-indicating features on the index member and thereby determine a position of the machine module relative to the workpiece. Certificate information is registered with the database in association with the search key.