Efsane Soyer

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2024-131

May 17, 2024

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2024/EECS-2024-131.pdf

Precise timing, reproducibility, and concurrency play an important role in cyber-physical systems. Lingua Franca, or LF, is a reactor-based coordination language that can exploit parallelism while preserving determinism and exposes time-based semantics. These features make LF a suitable choice for real-time systems. By conducting experiments and analyzing the results, this study seeks to provide valuable insights into the real-time capabilities of Lingua Franca. We introduced two case studies: timer utilization and periodic tasks. The study on timer utilization investigated the relationship between timing behavior and task execution time, showing that LF can achieve high utilization rates of up to 95\% on a Linux operating system while effectively keeping lags under 20 microseconds using the lag controller. The periodic tasks study explored various scheduling scenarios, examining how task orders, periods, and offsets affect meeting deadlines. This case highlighted the need for further efforts in implementing deadline monotonic and earliest deadline first schedulers. By leveraging these insights, we have developed future optimization strategies. The results of this thesis will kickstart the empirical timing analysis of Lingua Franca and offer valuable information for enhancing its real-time capabilities in the future.

Advisors: Edward A. Lee

---

BibTeX citation:

@mastersthesis{Soyer:EECS-2024-131,
    Author= {Soyer, Efsane},
    Title= {Dealing with Time: Measuring Real-Time Capabilities of Lingua Franca},
    School= {EECS Department, University of California, Berkeley},
    Year= {2024},
    Month= {May},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2024/EECS-2024-131.html},
    Number= {UCB/EECS-2024-131},
    Abstract= {Precise timing, reproducibility, and concurrency play an important role in cyber-physical systems. Lingua Franca, or LF, is a reactor-based coordination language that can exploit parallelism while preserving determinism and exposes time-based semantics. These features make LF a suitable choice for real-time systems. By conducting experiments and analyzing the results, this study seeks to provide valuable insights into the real-time capabilities of Lingua Franca. We introduced two case studies: timer utilization and periodic tasks. The study on timer utilization investigated the relationship between timing behavior and task execution time, showing that LF can achieve high utilization rates of up to 95\% on a Linux operating system while effectively keeping lags under 20 microseconds using the lag controller. The periodic tasks study explored various scheduling scenarios, examining how task orders, periods, and offsets affect meeting deadlines. This case highlighted the need for further efforts in implementing deadline monotonic and earliest deadline first schedulers. By leveraging these insights, we have developed future optimization strategies. The results of this thesis will kickstart the empirical timing analysis of Lingua Franca and offer valuable information for enhancing its real-time capabilities in the future.},
}

EndNote citation:

%0 Thesis
%A Soyer, Efsane 
%T Dealing with Time: Measuring Real-Time Capabilities of Lingua Franca
%I EECS Department, University of California, Berkeley
%D 2024
%8 May 17
%@ UCB/EECS-2024-131
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2024/EECS-2024-131.html
%F Soyer:EECS-2024-131