chronovise is a framework to perform Measurement-Based Probabilistic Timing Analyses (MBPTA). MBPTA is a recent proposed technique in the field of probabilistic real-time computing, that relies on execution time observations to infer the probabilistic Worst-Case Execution Time (pWCET). The framework has been developed to be easily customizable and adaptable by the researcher for both testing new MBPTA algorithms and evaluating the pWCET of a certain system/software.
| Branch | Description | Status |
|---|---|---|
| master | Stable |  |
| master-next | Development |  |
| master | Coverage |  |
| - | Paper |  |
- A modern compiler with C++14 support (gcc >= 5.0 or clang/LLVM >= 4.0) and the CMake building tool.
- The code should be cross-platform because we do not use any Linux-specific feature. However, we usually test it only on Linux. Please fill a bug if it does not work with other operating systems.
Dependencies:
- [optional]
ceres-solverinstalled (both libraries and header files). You can use one of the distribution package -- e.g. Ubuntu*, Fedora, Arch Linux -- or build it from the source. Please check the ceres-solver documentation. This package is needed if you want to run Maximum Likelihood Estimation routines. - [optional]
Google Testif you want to run the test suite.
* Be aware that the current Ubuntu package has a dependency bug.
To build the main library and the examples, perform the standard git and cmake sequence of commands:
$ git clone https://github.com/federeghe/chronovise.git
$ cd chronovise
$ mkdir build
$ cd build
$ cmake ..If you do not have access to ceres-solver you can disable modules that depends on it specifying the
appropriate macro in cmake command (default: CERES_SOLVER is ON):
$ cmake -DCERES_SOLVER=OFF ..
You can also enable OpenMP to speedup the EVT process (default: USE_OPENMP is OFF):
$ cmake -DUSE_OPENMP=ON ..
In case that you have multiple complilers installed in your system, you can specify a compatible compiler as follows:
$ CC=gcc-5 CXX=g++-5 cmake ..
Then, to compile:
$ make
(you can also specify the appropriate -j option to make to decrease the compilation time).
The test suite is based on Google Test, so you need to install it in your machine before proceeding. If you are not going to develop the chronovise framework you don't probably need the test suite and you can skip this section.
Building the test suite (pay attention to tests):
make tests
and run it:
make check
This may take some minutes to complete. Please note that occasionally the test suite can fail: some tests are based on random samples and it can infrequently happen that an unlikely configuration occurs. This is typical of statistical tests that fails with a probability of 5%. If the test suite provides you a failure, please re-run it a couple of times to check that is not a random spot.
The framework is shipped with two examples automatically compiled with the framework: HelloWorld
and SimpleHelloWorld. The source files are located under the samples/ directory. The
HelloWorld sample application is available only if ceres-solver is available.
You can run them inside the build directory via:
./samples/hello_world
and
./samples/simple_hello_world
If you do not plan to use it as a library, you may also want to check some ready-to-use applications in the directory apps.
Please read the documentation for further details.
Goto the documentation index file.
Can I contribute? Sure!
The code is hosted in mirroring on GitHub and on a private university server. All bug reports and pull requests must be open on the GitHub repository. If you need support or you want to discuss new contributions please ask directly to the head developer: Federico Reghenzani <federico[dot]reghenzani(at)polimi[dot]it>.
This code is licensed under Apache-2.0, please refer to the LICENSE file.
The logo is a derivative work of the following original images:
