Search Results for "physical"

Since the summer of 2010, the FSAE team High Speed Karlsruhe uses Infineon's XC878 to power its electronics. The XC878 is an 8052 compatible 8-bit µC. Our dedication is to 8-bit real time applications, guaranteed by the powerful peripherals of the XC878. This project aims to publish those portions of our code, which may be of use to a wider audience.

JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. ...

Gurux Data Refinery collects data directly from physical device or data stream, processes it, and presents the results, with easy-to-use components. All data is collected and saved with a timestamp, and the data is always time-bound. To release durin