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

 
 
Membership Info
Group 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 group 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: 4 - Beta

 

Latest News rss feed
Third public presentation
     posted by eus, Wed 09 Dec 2020 02:28:44 PM UTC

Tice makes its third public presentation on October 5, 2020, by being printed in the journal Software: Practice and Experience, volume 50, issue 12 (the draft is freely accessible at http://luigipalopoli.disi.unitn.it/wp-content/uploads/2020/09/SPE2020.pdf).

Second public presentation
     posted by eus, Sun 05 Apr 2020 08:59:15 PM UTC

Tice makes its second public presentation on April 2, 2020, at the 35th Annual ACM Symposium on Applied Computing (ACM SAC 2020), which was planned to take place in Brno, Czech Republic, but subsequently moved to an online platform due to COVID-19 pandemic.  The program used for [...]

Beta version released
     posted by eus, Mon 16 Sep 2019 06:43:54 AM UTC

After starting its alpha version a year ago, Tice has reached its beta version on September 15, 2019, at 23:43:51 CEST (UTC+02) with commit 28fe6ac76a5.  The active library is testable on a target machine running a Linux kernel that has the SCHED_DEADLINE scheduling policy.  If the host and target machines are the same machine, an automated test [...]

First public presentation
     posted by eus, Mon 22 Oct 2018 08:59:40 PM UTC

Tice makes its first public presentation on October 4, 2018, at the 8th Embedded Operating System Workshop (EWiLi 2018) in Turin, Italy.

Quick Overview
 Memberlist (1 member)

Communication Tools
 Mailing Lists (0 public mailing lists)

Back to the top

Powered by Savane 3.13-4448.
Corresponding source code