The FV version - This version has the core module developed by the company FormalV.com and is formally verified with the PCSS method.
PCSS is the most important standard for formally verifying software.
DSRC
"Dedicated Short-Range Communication"
Connection module to DSRC devices for Dynamic or Static analysis, notifying the controller if it needs to be stopped and analyzed.
A versatile tool for all areas of control
Suitable for both novice and expert users, as well as for departments specializing in accident reconstruction.
WHO WE ARE
Police Controller was designed by a multidisciplinary team of expert developers, mathematicians, and lawyers, making it the leading software in its sector.
The constant evolution and improvement of our software allows us to meet the needs of users, from beginners to experts.
Our solutions are present in police forces and administrations throughout Europe.
Versions
We have 2 versions available
1| .Net Version
La versión .NET - where time management is done by Microsoft on UNIX. Microsoft does not have UTC time management.
2| FV Version
This module has 2 parts:
- FV-Time manager. Where all times are managed in UTC as required by the European Regulation.
- FV-Hours of Service of Drivers 561-395. Where violations are managed in a transparent, verifiable, interpretable, and bug-free manner. And all of this is mathematically and publicly demonstrable.
PCSS
Public Certification of a Specification and its Software
The PCSS method is a formal verification method developed by INRIA and Formal Vindications.
It is based on the use of Rcoq and the interpretability of Certicɸ Studio
The result of this method is a software:
Perfectly interpretable and demonstrable interpretation
Error Free
Publicly verifiable
FUNCTIONALITIES
ROADSIDE CONTROL
- Issuance of control and violation reports in multiple languages and with graphics.
- Access to EU regulations and documentation templates for each country to facilitate monitoring.
ACCIDENT RECONSTRUCTION
- It allows you to overlay graphics of speed, acceleration, and distance between the vehicles involved to detect the driver's reaction by seconds.
COMPANY CONTROL
- Analysis of the integrity of the inspected data, generation of detailed reports, and identification of involved drivers.
- Information on the use of dual cards by driver.
CENTRALIZED DATABASE
- Sending instructions, configurations, and protocols to each control unit from the central unit.
- Access from each control/inspection unit to alarms generated from the central unit or from any control/inspection unit for drivers, vehicles, companies, or workshops.
MANIPULATIONS AND FRAUDULENT USES
- Specific reports for data comparison, examining inconsistencies between the structures of the analyzed files, revealing the disparity in activities between the two files.
GNSS
- The vehicle's GNSS records are displayed on a map with the tachograph's own data: date, time, and mileage.
- It allows for the reconstruction of vehicle routes, facilitating the monitoring of activities, mileage, and coastal travel.
DSRC
- Connection to DSRC that enables dynamic and static analysis, allowing for reading and interpretation of received data.
- It allows for practical and convenient detection of recorded anomalies by displaying the information in alphanumeric format.
SCANDISK
- It allows you to conveniently interpret analog record logs, allowing you to modify and add activities while viewing the record in a linear fashion.
- Records are automatically compared with the database to detect activity overlaps between analog and digital information.
Contact Us
If you would like more information or to take a test, please contact:
