C++ hard-real-time active library
| Autor: | Tadeus Prastowo, Luca Abeni, Luigi Palopoli |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
C++ active library
Computer science Semantics (computer science) C++ programming C++ template meta-programming (TMP) Embedded domain-specific language (EDSL) Hard real-time (HRT) Real-time programming language Software engineering Static program analysis 02 engineering and technology computer.software_genre Consistency (database systems) 020204 information systems 0202 electrical engineering electronic engineering information engineering Computer Science (miscellaneous) Code (cryptography) MATLAB Engineering (miscellaneous) computer.programming_language Thesaurus (information retrieval) Syntax (programming languages) Programming language 020207 software engineering Compiler computer |
| Zdroj: | ACM SIGBED Review. 16:69-74 |
| ISSN: | 1551-3688 |
| Popis: | General-purpose programming languages C and C++ address only the functional aspect of programs. In contrast, real-time programming languages address not only the functional aspect but also the nonfunctional real-time aspect to automatically ensure the consistency of both aspects in the resulting code. Despite many real-time programming languages proposed in the literature, embedded and real-time programs for economical reasons have continued to be written in C/C++ with their real-time aspect being dealt separately using modeling tools (e.g., MATLAB/Simulink) and the consistency of both aspects being checked manually. As embedded and real-time systems permeate through people's lives, it becomes increasingly imperative that both aspects be kept consistent automatically to improve the reliability of the systems. To that end, we propose a real-time programming language called Tice with three novel features: (1) Tice programs are written as modern standard C++ programs. (2) Tice programs can be compiled using any modern off-the-shelf standard C++ compiler. (3) Tice programs compose with other C/C++ programs as C++ libraries. These novel features make Tice significantly more economical than other real-time programming languages proposed in the literature. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|