A mathematical model must be transparent traceable and demonstrably continuously improvable, without having to be entirely re-qualified.
[EU legal requirement]
A mathematical model must be easy to integrate on any hardware and software, and consistently deliver mathematically correct results.
[simplicity and quality requirement]
Date: May 2021
PRODUCT BRIEF – paceval.
mathematical engine, Version 4.01
|Calculation Speed||Calculates ‘real-time’, in milliseconds. In repeated calculations even faster as we use caching methods. Exact speed is dependent on hardware capacities and function complexity.|
|Data Volume||No limits by paceval. The limit values are determined by the hardware system or development environment used.|
Dependent on Compiler:
|Accuracy optimization||Trusted Interval Computation, TINC™ (paceval. specific Interval arithmetic) putting bounds on rounding errors and measurement errors of the computation system to yield reliable results.|
|Formula length and numbers of variables||No limits by paceval. The limit values are determined by the hardware system or development environment used.|
|Logical operators returning Boolean values either 0 (for false) or 1 (for true)
|Inverse trigonometric functions||
|Inverse hyperbolic functions||
|Other Numerical manipulations (paceval. specific)||
Use cases, security and size
|Watchdog and System monitoring applications||
Large hardware systems with many small subsystems and processors or sensors (e.g. cars, automation, etc.) can be monitored by a mathematical model that is implemented by a finite-state machine processed by paceval.
|Black-box testing, Boundary and Stress testing
To identify and quickly fix anomalies in system and software / hardware applications, paceval. can be used to define and create black box test cases based on a mathematical model. Usually this mathematical model is derived from the specification or is already part of the specification for the application.
|Internet of Things applications||Calculations on computers and servers are increasingly changing into self-computing (intelligent) things. Fast and trustworthy calculations help you to improve your development cycles and overall schedules, which leads to lower costs and broad support for various (hardware) systems.|
|Pattern matching algorithms||You can easily create your own pattern matching algorithms that identify patterns and regularities in data.|
|Safety Concept||With a special technique we can quickly monitor whether data manipulation, i. H. Hack, your mathematical models will take place.|
|Object code footprint||Only a few hundred of kilobytes in size; exact size depends on your compiler, development environment and operating system.|
|Memory usage footprint||Only a few hundred kilobytes in size; exact size depends on your compiler, development environment and mathematical model.|
Handling and integration
|Programming language||Written in standard C/C++ as defined per ISO|
|Supported operating system||Any; operates best on 16bit and above, e.g. Linux, Windows, iOS, macOS, Android, as well as
proprietary or specialized operating systems
|Supported development environment||Any; you just need a suitable compiler for the integration in your target development environment, e.g. Golang, C++, Python, Object Pascal, Fortran, Visual Basic, Java, C#, Perl, Ruby or PHP, see https://github.com/paceval. Enables a low code/no code approach.|
|Integration concept||Integrate a paceval. library simply with text files into your software.|
|Commands||Just use the standard mathematical notations when using paceval.|
Copyright © 2021 paceval.® All rights reserved.
Trademark and patent protected.