Date: May 2021
PRODUCT BRIEF – paceval.
mathematical engine, Version 4.01
Computing
Calculation Speed  Calculates ‘realtime’, 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.  
Accuracy  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. 
Supported terms in closedform expressions and interval arithmetic
+ Allows the definition of up to 1000 custom user functions.
Elementary arithmetic 
 
Logical operators returning Boolean values either 0 (for false) or 1 (for true) 
 
Relational operators 
 
Factorial 
 
Constants 
 
Brackets 
 
Variables 
 
Exponentiation 
 
Logarithm 
 
Trigonometric functions 
 
Inverse trigonometric functions 
 
Hyperbolic functions 
 
Inverse hyperbolic functions 
 
Numerical manipulations 
 
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 finitestate machine processed by paceval. 
Blackbox 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 selfcomputing (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.