C++ hard-real-time active library

Prastowo, Tadeus; Palopoli, Luigi; Abeni, Luca

doi:10.1145/3373400.3373411

Cited by 3 publications

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Tice: A real‐time language compilable using C++ compilers

2020

Self Cite

View full text Add to dashboard Cite

Summary Model‐based development (MBD) holds the promise to capture potential timing problems in embedded software during the early phases of the development, securing the production of bug‐free embedded software. For most MBD approaches, the source code is just an intermediate artifact that can be generated automatically from the models. This assumption clashes with an undeniable fact: a large share of the commercial embedded software exploits existing libraries or is developed using C/C++ natively. A way to reconcile the ambitions of MBD with the use of a programming language is by offering new language constructs and an innovative compilation tool‐chain that prevents model error and timing problems “by construction.” However, the persistent popularity of C/C++ among embedded programmers and the limited availability of tools have severely limited the uptake of alternative programming languages for embedded software. Therefore, we propose an original route. Our language proposal, named Tice, has been shaped as a C++ active library. Tice retains full compatibility with existing C++ code, which can be integrated easily into new Tice‐based projects. The enforcement of Tice syntax and semantics can be made by a standard C++ compiler, forgoing the need for new tools. In this article, we describe Tice's syntax, semantics, and model of computation and communication. We demonstrate Tice's practical applicability on an industrial scale use‐case and give ample evidence for Tice's efficient compilation using off‐the‐shelf C++ compilers. Finally, we show Tice's code generation process.

show abstract

Tice: A real‐time language compilable using C++ compilers

2020

Self Cite

View full text Add to dashboard Cite

show abstract

Female education in post-reform Russia as a social lift

et al. 2021

View full text Add to dashboard Cite

A significant expansion of female education for the representatives of different classes was a progressive phenomenon of the “great reforms” of Emperor Alexander II. Against the background of social changes in Russia, women thus received additional opportunities for their socialization and work. The study of the use of female education as a social lift is of interest from the point of view of the history of social modernization. The study aims to study the experience of using female education as a social lift on the example of the Tver province of the Russian Empire. The study uses a set of methods of female and gender history and the local history approach, which collectively make it possible to focus on the regional specifics of the modernization of the female education system in the context of the individual’s everyday practices within the framework of an interdisciplinary field. Published statistical data are involved in the research; unpublished documents from the funds of regional archives are also introduced into scientific circulation. The novelty of the article lies in the recreation of the practices of using female education as a social lift in the second half of the 19th – early 20th centuries using the example of the Tver province. Various levels and forms of female education in Russia in the era of “great reforms” and the period that followed them have been studied. The mechanisms of socialization of Russian women of different classes are revealed, depending on the level of education received.

show abstract