mainTice: C++ Real-Time Active Library - Summary

Membership Info
Project Admin:
1 active member

Group identification
Id: #11841
System Name: tice
Name: Tice: C++ Real-Time Active Library
Group Type: non-GNU software and documentation

Search in this Group


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


Latest News rss feed
First public presentation
     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]

Communication Tools
 Tech Support Manager (open items: 0, total: 0)
  - Browse open items
  - Submit a new item
 Mailing Lists (0 public mailing lists)

Back to the top

Powered by Savane 3.4