Prover iLock Documenter

Automated generation of tables and other documentation

Prover iLock Documenter generates documentation for Specific Applications. The documentation generation capabilities are configurable, making it easy to adapt to documentation needs. Typical documentation of Specific Applications include:

  • Lists of wayside objects
  • Tables of the routes and their protection areas
  • Logical formulae detailing the interlocking conditions used
  • Specifications of required testing activities at the site
  • Checklists adapted to the Specific Application configuration

With Prover iLock Documenter you generate these documents and more automatically, by the push of a button, as soon as the Specific Application has been configured. While in a traditional process the production of documentation requires substantial effort, it is quick and easy in a Prover iLock Process, as Prover iLock Documenter does it for you.

Prover iLock Documenter is highly customizable to your personal needs. You can include data from any step in the development and V&V process and present it different file formats such as:

  • Text (.txt)
  • Comma separated spreadsheet (.csv)
  • Microsoft Office Excel (.xls or .xlsx)
  • Microsoft Office Word (.doc or .docx)

Contact Prover