PRODUCT BRIEF – paceval.
Version 4
Date: 22nd of January 2018
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. Limits are set by the hardware system or development environment you use.  
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. Limits are set by the hardware system or development environment you use. 
Supported terms in closedform expressions>> and interval arithmetic>>
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  Big hardware systems with many small subsystems and processors or sensors (e.g. cars, automation,..) can be connected monitored through a mathematical model implemented by a finitestate machine being processed by paceval. 
Blackbox testing, Boundary and Stress testing 
To identify and quickly solve anomalies in system and software/hardware applications paceval. can be used to define and create blackbox 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 changing more and more to self computing (intelligent) things. Fast and trusted calculations will help you to improve your development cycles and overall timelines leading to lower costs and broad support of diverse (hardware) systems. 
Pattern matching algorithms  You can easily create your own pattern matching algorithms identifying patterns and regularities in data. 
Safety Concept  With a special technique, we are able to monitor quickly if data manipulation, i.e. hacking, of your mathematical models takes 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 
Supported development environment  Any; you just need a suitable compiler for the integration in your target development environment, e.g. C++, Python, Object Pascal, Fortran, Visual Basic, Java, C#, Perl, Ruby or PHP. 
Integration concept  Integrate a paceval. library simply with text files into your software. 
Commands  Just use the standard mathematical notations when using paceval. 
Copyright © 2018 paceval.® All rights reserved.