Tice: C++ Real-Time Active Library - Summary
This project is not part of the GNU Project.
Tice as a C++ active library has a set of template meta-programs that allows for the specification of Tice formal model in C++ and for its correctness to be checked automatically at compile time. Tice formal model specifies a set of requirements that belongs to a particular class of real-time requirements. At compile time, Tice automatically maps Tice formal model to a set of real-time tasks and a scheduling policy on a set of processor cores such that both the tasks and scheduling policy preserve the model's real-time properties on the target hardware.
Tice uses namespace `tice' and within it, Tice uses version namespaces that use different kinds of Tice formal model and/or hardware model and/or C++ standard (ISO-IEC 14882). Tice has no external dependency other than the C++ standard libraries. The available version namespaces are as follows:
- Namespace `v1' that is made available by including header file `v1.hpp', uses C++14 standard (ISO-IEC 14882:2014). This version is presented to the public for the first time on October 4, 2018, at the 8th Embedded Operating System Workshop (EWiLi 2018) in Turin, Italy [6]. The prior art of this work is the work of [1] whose codebase is available at [2]. While [1] uses the hard-real-time (HRT) model proposed in the seminal work of [3], this work uses more general model based on the asynchrony idea of the Robot Operating System (ROS) [4] and the notion of time-constrained events [5].
If proper care is taken, different version namespaces can coexist in a single program.
Registration Date: Fri 20 Jul 2018 02:52:01 AM UTC
License: GNU General Public License v3 or later
Development Status: 2 - Pre-Alpha
posted by eus, Mon 22 Oct 2018 08:59:40 PM UTC - 0 replies
Tice makes its first public presentation on October 4, 2018, at the 8th Embedded Operating System Workshop (EWiLi 2018) in Turin, Italy.
[Submit News]
[1 news in archive]

