Der Programmstart erfolgt je nach Installationsvariante und Betriebssystem unterschiedlich.

Mit TIMi Verify können Daten im INSIKA-Exportformat verifiziert werden. Diese Daten müssen im XML Format vorliegen.
Dieses können einzelne XML-Dateien oder auch ganze Verzeichnisse mit diesen Dateien sein. Auch im zip-Format gepackte Daten werden unterstützt.

Im Startbildschirm des Programms kann sofort mit der Auswahl der Daten zu Verifikation begonnen werden.

Dafür stehen verschiedene Methoden zur Auswahl.

[1] Die Daten können per Drag & Drop direkt in dieses Fenster gezogen wird. Sobald die Dateien abgelegt werden, startet die Verifikation automatisch.

[2] Auch dieses Fenster unerstützt Drag & Drop Funktionen. Im Unterschied zu Methode [1] kann hier erst eine Liste von INSIKA Daten auch aus unterschiedlichen Quellen zusammengestellt werden, bevor man mit [5] "Verifikation" die Verifikation startet.

[3] Mit dem Betätigen von "Datei(en) öffnen" bzw. "Datei(en) hinzufügen" öffnet sich ein Fenster zur Auswahl der Dateien.
Mit [5] "Verifikation" wird die Verifikation gestartet.
Auch hier besteht, wie in [2], erst einmal eine Liste der zu verifizierenden Daten zusammenzustellen. Es gilt zu beachten, dass "Datei(en) öffnen" die bis dahin erstellte Liste zurücksetzt.

[4] Die Dateien in der Liste können noch einmal einzeln für Verifikation ausgewählt oder von dieser ausgeschlossen werden.
Hierzu ist der Haken vor dem Dateinamen zu setzten oder zu entfernen. Die Auswahl kann auch mit den Schaltern "Alles auswählen" oder "Auswahl umkeheren"  gesteuert werden.

[5] Mit Betätigen von "Verifikation" wird die Verifikation der INSIKA Daten gestartet. Während der Verifikation ist eine Fortschrittsanzeige zusehen.
Alle anderen Eingaben (außer [6]) sind gesperrt.

[6] Mit "Reset" kehrt man jeder Zeit zu diesem Startbildschirm zurück.

Nach dem automatischen Bearbeiten aller vorliegender INSIKA - Daten ist die weitere Analyse in dem folgenden Fenster möglich:

[1] Die zur Analyse ausgewählten Dateien sind jetzt farblich hinterlegt.

• grün - alle Signaturen konnten erfolgreich verifiziert werden
• rot - bei der Verifikation der Signatur ist mindestens ein Fehler aufgetreten

Falls die Datei nicht farblich hinterlegt ist, dann war keine Analyse der Datei möglich. Die Datei liegt nicht im benötigten INSIKA Exportformat vor.

[2] Eine Liste aller in den Dateien vorkommenden TIM, gekennzeichnet durch die Steuerpflichtigen-ID und der fortlaufenden Nummer des TIM des Steuerpflichtigen.

[3] Eine Liste aller Buchungen und Berichte für das in [2] ausgewählte TIM.

[4] Das Analysefenster. Wird in [2] ein TIM selektiert, zeigt es die Daten zum Besitzer und zum Aussteller des TIM an. Hier erhält man auch Information zur Qualität der vorgelegten Daten. Enthalten die Daten das Profil Taxameter, so werden hier die Generalzahlen angezeigt. Eine detailliertere Beschreibung erfolgt in ....

[5] Eine Reihe von Filterfunktionen, die eine gezielte Betrachtung der Daten nach einem bestimmten Zeitbereich und anderen Parametern erlauben.

In der TIM Liste [2] werden alle in den vorgelegten INSIKA Daten gefundenen TIM ausgeführt. Dabei spielt es keine Rolle ob die Daten für ein TIM in mehreren Dateien aufgesplittet sind oder in einer Datei mehrere TIM vorkommen.

Alle, in den weiteren Fenstern "Buchungsliste" und "Analysedaten" angezeigten Daten, hängen davon ab, welches TIM ausgewählt wurde. Die Auswahl erfolgt durch Selektieren des TIM mit einem Mausklick.

Transaktionen sind alle Buchungen und Berichte die vom TIM signiert bzw. erstellt wurden. Diese sind im folgenden Fenster aufgeführt:

Es werden die folgenden Typen (erste Spalte) unterschieden:

T    Buchung (Transaction), die Ausgangsdaten liegen in der XML-Datei im Klartext vor.

R    Bericht (Report), die Ausgangsdaten liegen in der XML-Datei im Klartext vor.

Te   Buchung (Transaction), die Ausgangsdaten liegen in der XML-Datei in kodierter Form vor.

Re  Bericht (Report), die Ausgangsdaten liegen in der XML-Datei in kodierter Form vor.

In den folgenden Spalten erfolgt die Angabe der Sequenznummern der Transaktionen und der Zeitpunkt der Transaktion.
Bei Buchungen wird zusätlich der Bediener angezeigt.

In der letzten Spalte steht das Verifikationsergebnis.

"ok" steht für eine erfolgreiche Verifikation der Signatur "error" für eine Fehler in der Signatur. Optional können hier auch fehlende Sequenznummern mit "fehlt" angezeigt werden. Eine nähere Erläuterung erfolgt bei den Filtereinstellungen.

Die Daten im Analysefenster [4] hängen vom gewählten TIM oder der Transaktion ab. Dabei verändern sich die im Fenster angezeigten Elemente.

Zu den festen Bestandteilen des Fensters gehören die Informationen zum TIM und dem zugehörigen Zertifikat.

In dem Fenster mit den Informationen zum Zertifikat des TIM steht in der Kopfzeile die TIMversion. Gefolgt wird sie mit den Angaben über die Steuerpflichtigen-ID und der fortlaufenden Nummer des TIM des Steuerpflichtigen.

In der nächsten Zeile werden die Angaben zum Steuerpflichtigen weiter konkretisiert.
Unter "Ausgestellt von" wird angezeigt, von wem das TIM ausgestellt wurde. Als nächstes wird der Zeitraum der Gültigkeit des Zertifikats (bei der Ausstellung) angegeben.
In der letzten Zeile ist das Ergebnis der Überprüfung der Gültigkeit der Zertifikatskette zu sehen. Dabei wird getestet ob das vorgelegte Zertifikat des TIM von einer zugelassennen Instanz ausgestellt wurden und ob die Zertifikate aktuell gültig sind oder in Sperrlisten eingetragen wurden.
Für ein Überprüfen der Sperrlisten ist eine Onlineverbindung notwendig.

Folgende Ergebnisse sind möglich:

• "gültig"  die gesamte Zertifikatskette einschließlich aller Sperrlisteneinträge konnte online überprüft werden
• "gültig (nur offline überprüft)" die Zertifikatskette konnte nur ohne Berücksichtigung der Sperrlisteneinträge überprüft werden. Ursache dafür könnte ein fehlender Internetzugang sein, oder dass der Zertifikatsaussteller keine Sperrlisten zur Verfügung stellt
• "ungültig" die Zertifikatskette ist fehlerhaft. Dem in den Daten enthaltenem Zertifikat kann nicht vertraut werden.

Im Folgenden sollen die einzelnen Varianten der Analysefenster näher beschrieben werden. Die möglichen Varianten werden nach dem Schema "selektierter Eintrag" : "Profil" unterschieden.

"TIM" : "beliebiges Profil"

Wird ein TIM selektiert (s. ..[2]) so gehört zu den festen Bestandteilen des Analysefensters immer eine Tabelle zu der Qualität der vorgelegten Exportdateien.

Es wird angezeigt wieviel Datensätze analysiert wurden und wieviele davon Buchungengen bzw. Berichte sind. Die Anzahl der Verifikationsfehler wird angegeben.
Bei der Beantwortung der Frage, ob die vorgelegten Daten vollständig sind, hilft die Angabe der Anzahl der fehlenden Sequenznummern.
Die Tabelle enthält auch Angaben zu mehrfach vorhandenen Squenznummern.

"TIM" : "Taxameter"

Es werden die sogenannten Generalzahlen angezeigt. Diese werden einmal aus den Schichtdaten und zum anderen aus den aufgezeichneten Einzelfahrten gebildet.


Außerdem wir angegeben aus wieviel unterschiedlichen Taxametern die Daten stammen und über welchen Zeitraum sie gesammelt wurden.

"Buchung Typ Te" : "Taxameter"

Die Daten einer einzelnen (Besetzt) Fahrt.

In der Tabelle "Buchungsposition Transaktion" sind im Tabellenkopf Angaben zur verwendeten Währung, der Sequenznummer, dem Datum, der Zeit und dem Bediener zu finden.

Anschließend werden die Daten einer Fahrt mit der zurückgelegten Strecke, dem Datum, der Zeit und dem Umsatz pro Umsatzsteuerklassen aufgeführt.

In der Tabelle TIM-Container werden für jeden in der Buchung verwendeten Container der Umsatzsteuersatz, Umsatz und die Umsatzsteuer angezeigt.

Zum Abschluss wird aufgeführt ob ddie Verifikation erfolgreich war oder nicht, sowie in welcher der Dateien die konnkrete Buchung enthalten ist.

"Bericht Typ Re" : "Taxameter"

Im Profil Taxameter werden die Berichte zur Schichtan- und abmeldung benutzt. In der Abbildung sind die Daten beim Beenden einer Schicht dargestellt.

Außerdem enthält dieser Teil des Analysefensters noch die Elemente eines jeden Berichtes, so wie sie noch im Abschnitt "Bericht Typ R" : "kein Profil" /
"Bericht Typ Re" : "kein Profil" erläutert werden.

"Buchung Typ T" : "kein Profil"

In der Tabelle "Buchungsposition Transaktion" sind im Tabellenkopf Angaben zur verwendeten Währung, der Sequenznummer, dem Datum, der Zeit und dem Bediener zu finden.

Außerdem wird hier angezeigt, ob die Buchung im Trainingsmode durchgeführt wurde.
Anschließend werden die einzelnen Buchungspositionen mit den Merkmalen Anzahl, Einheit, Bezeichnung und dem Preis entsprechend den einzelnen Umsatzsteuerklassen aufgeführt. In der letzten Spalte können einzelne Merkmale der Buchungsposition, wie Lieferschein oder Agenturgeschäft zu sehen sein.

In der Tabelle TIM-Container werden für jeden in der Buchung verwendeten Container der Umsatzsteuersatz, Umsatz und die Umsatzsteuer angezeigt.

Zum Abschluss wird aufgeführt ob ddie Verifikation erfolgreich war oder nicht, sowie in welcher der Dateien die konnkrete Buchung enthalten ist.

"Buchung Typ Te" : "kein Profil"

Wie vorher, nur dass die Artikelbezeichnung schon nach den Regeln der Zeichenersetzung dargestellt werden.

"Bericht Typ R" : "kein Profil"
"Bericht Typ Re" : "kein Profil"

Die auf dem TIM gespeicherten summaren Daten zum Zeitpunkt der Erstellung des Berichtes.

Es stehen verschiedene Filterfunktionen zur Verfügung um einzelne Daten oder Datenbereiche auzuwählen und zu untersuchen. So ist es leichter Probleme zu erkennen oder summare Daten wie die Taxameter Stammdaten nur über ausgesuchte Zeiträume zu bilden.

Die Daten können spaltenweise sortiert werden. Dazu muss nur im Tabellenkopf die entsprechende Spalte angeklickt werden.

Basierte die Verifikation auf der Basis von Dateien, so besteht im Dateiauswahlmenü die Möglichkeit, verschiedene Dateien ein- bzw. auszublenden.

 Mit dem Filterblock in der folgenden Abbildung kann die Ansicht auf Datensätze mit den angezeigten speziellen Merkmalen eingeschränkt werden.