rtsys is dual-licensed under the GPLv3 and a commercial license. If you require the commercial license, please contact me "Fabrice Triboix" ftriboix@gmail.com.
This set of software modules is meant to help software developer write software for high-integrity and safety-critical applications. They are primarily meant to run bare-metal, altough they can easily be used in the context of an RTOS or even Linux.
Everything in rtsys has been design to run on very small platforms. Even an 8-bit PIC should be able to run it.
To build and install on Linux, a Makefile is provided. For other targets, you will have to come up with your own build system.
Steps to build and install:
$ vim Makefile # Adjust your settings
$ make # Build
$ make test # Run unit tests
$ make install PREFIX=/your/path # Install into PREFIX
The Makefile will use ccache if available. You can disable it by adding
CCACHE= on the command line, like so:
$ make CCACHE=
Read the doxygen documentation to learn how to use rtsys.
I wrote these pieces of code on my spare time in the hope that they will be useful. I make no warranty at all on their suitability for use in software application, whether safety-critical or not.
This software is dual-licensed under the GPLv3 and a commercial license. The text of the GPLv3 is available in the LICENSE file.
A commercial license can be provided if you do not wish to be bound by the terms of the GPLv3, or for other reasons. Please refer to the introduction above.
This project is regularily scanned through Coverity. Click here for its status.
This module provides some interface to your architecture, be it hardware (eg: BSP for bare metal execution) or software (eg: running as a task in an RTOS or Linux).
Please refer to the rtplf readme file for more information.
A simple FIFO implementation.
Please refer to the rtfifo readme file for more information.
This module implements a hierarchical state machine engine. This is based on UML2.0, but has a signficant number of restrictions.
Please refer to the rthsm readme file for more information.
This module is a test harness. It can be used to run unit tests on very small systems.
Please refer to the rttest readme file for more information.