Abstract
Real-time systems need to prove that all deadlines will be met. To enable this proof, the full stack of the system must be analyzable, and the right tools must be available. This includes the processor (execution platform), the runtime system, the compiler, and the WCET analysis tool.
This paper presents a combination of the time-predictable processor Patmos, the coordination language Lingua Franca, and the WCET analysis tool Platin. We show how carefully written Lingua Franca programs enable static WCET analysis to build safety-critical applications.
This paper presents a combination of the time-predictable processor Patmos, the coordination language Lingua Franca, and the WCET analysis tool Platin. We show how carefully written Lingua Franca programs enable static WCET analysis to build safety-critical applications.
| Original language | English |
|---|---|
| Article number | 4 |
| Journal | Open Access Series in Informatics |
| Volume | 121 |
| Number of pages | 13 |
| ISSN | 2190-6807 |
| DOIs | |
| Publication status | Published - 2024 |
| Event | 22nd International Workshop on Worst-Case Execution Time Analysis - Lille, France Duration: 9 Jul 2024 → 12 Jul 2024 |
Conference
| Conference | 22nd International Workshop on Worst-Case Execution Time Analysis |
|---|---|
| Country/Territory | France |
| City | Lille |
| Period | 09/07/2024 → 12/07/2024 |
Keywords
- Coordination language
- Lingua franca
- Real-time systems
- Worst-case execution time