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 2022
PRODUCT BRIEF – paceval.
mathematical engine, Version 4.04
|Calculation Speed||Calculates “real time” in milliseconds. Even faster for repeated calculations because we use caching methods. The exact speed depends on the hardware capacity and the functional complexity.|
No limits through paceval. The limit values are determined by the hardware system used or the development environment used.
Depending on the compiler:
Trusted Interval Computation, TINC™ (paceval. specific Interval arithmetic), limits rounding errors and measurement errors of the calculation system to achieve reliable results.
|Formula length and numbers of variables||No limits through paceval. The limit values are determined by the hardware system used or the development environment used.|
Supported terms in closed-form expressions and interval arithmetic
+ Allows the definition of up to 1000 custom user functions.
|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 implemented by a finite-state machine processed by paceval.
|Black-box testing, Boundary and Stress testing
In order to detect anomalies in system and software/hardware applications and quickly fix them, 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 becoming self-calculating (intelligent) things. Fast and reliable calculations with paceval. help you to improve your development cycles and overall schedules, resulting in lower costs and broad support of different (hardware) systems.
|Pattern matching algorithms||You can easily create your own pattern matching algorithms that identify patterns and regularities in data processed by paceval.|
|Safety Concept||Using a special technique, we can quickly monitor whether data manipulation, i.e. hacking of your mathematical models, has taken place.|
|Object code footprint||Only a few hundred kilobytes in size; The exact size depends on your compiler, development environment, and operating system.|
|Memory usage footprint||A few hundred kilobytes to several gigabytes in size; The exact size depends on your compiler, development environment, and mathematical model.|
Handling and integration
|Programming language||The source code of paceval is based on the ISO Standard (ISO/IEC 14882:1998) and therefore runs on any compiler since the 1990s.|
|Supported operating system||Any; Works best with 16-bit and higher, e.g. B. Linux, Windows, iOS, macOS, Android, as well proprietary or specialized operating systems|
|Supported development environment||Any; All you need is a Foreign function interface (FFI) for integration into 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 into your software easily with text files.|
|Commands||Just use the standard mathematical notations with paceval.|
Copyright © 2023 paceval.® All rights reserved.
Trademark and patent protected.