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

in
   

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). The Tice formal model and hardware model are currently work in progress. 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

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.3