Abstract
Real-time embedded systems demand higher reliability than any other computer systems. These systems require special modeling paradigms to satisfy time constraints. This paper introduced a design method by combining T-CREST, a time-predictable multi-core hardware, with Lingua Franca, a coordination framework that generates deterministic time-predictable code. We executed a Lingua Franca piece of software on T-CREST platform and performed preliminary experiments demonstrating its correct functionality.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 2024 IEEE 27th International Symposium on Real-Time Distributed Computing (ISORC) |
| Number of pages | 5 |
| Publisher | IEEE |
| Publication date | 2024 |
| ISBN (Print) | 979-8-3503-7129-1 |
| ISBN (Electronic) | 979-8-3503-7128-4 |
| DOIs | |
| Publication status | Published - 2024 |
| Event | 2024 IEEE 27th International Symposium on Real-Time Distributed Computing - Tunis, Tunisia Duration: 22 May 2024 → 25 May 2024 |
Conference
| Conference | 2024 IEEE 27th International Symposium on Real-Time Distributed Computing |
|---|---|
| Country/Territory | Tunisia |
| City | Tunis |
| Period | 22/05/2024 → 25/05/2024 |
Keywords
- T-CREST
- Lingua Franca
- Real-time systems
- Time-predictable computer architecture
- WCET analysis