Studentprosjektforslag - Implementing Lingua-Franca programs on real-time operating systems

Sverres home


Introduksjon

SW development projects:

Programmeringsprosjekt (Flere oppgaver)

Elevator automatic FAT for TTK4145

Procedural Generation: Game Worlds

Procedural Generation: Music

Programvare design av simulator

Dynamic deployment system for real-time tasks

Measurement-based real-time system

Bibliotek for meldingssending

Teoretical projects:

Implementing Lingua-Franca programs on real-time operating systems

Models of Computation

Salvaging XC features

Schedulability proof for message passing systems

Dynamic deployment system for real-time tasks

Bruk av online eksekveringstidsestimater

Real-time systems not based on timing requirements

Programering av tunge tråder ved nonpreemptive scheduling.

Deling av CPU og Nettverk

Morsomme sensorer og applikasjoner:

Døvehørsel

Blindesyn

Bike trainer app

Eksterne oppgaver:

Implementing Lingua-Franca programs on real-time operating systems

I got the following project from a PhD student, Erling Rennemo Jellum, and was very uncertain whether to classify as "SW development" or "Theoretical project". It can be both. Interesting and relevant for ongoing research. We may aim for an academic pulication if the work stretches into the masters project.

Abstract: Lingua Franca is a coordination language for implementing real-time concurrent and distributed systems. Lingua Franca is based on the Reactor model of computation. A reactor is a unit of computation containing ports, state, actions and reactions. It solves the problem of non-determinism which is endemic to many concurrent and distributed systems. Lingua Franca includes run-times for bare-metal applications and multi-threaded applications. But neither of these are a good match for a real-time operating system like FreeRTOS or Zephyr.

Tasks:

  • Develop a Lingua Franca run-time targeting real-time operating systems. The goal will be to have it upstreamed into the open source Lingua Franca project.
  • Evaluate the implementation on a (distributed) real-time sensor-fusion application

References:

  • Towards a Lingua Franca for Deterministic Concurrent Systems (2021): https://www.researchgate.net/publication/351695273_Toward_a_Lingua_Franca_for_Deterministic_Concurrent_Systems
  • Reactors: A Deterministic Model of Concurrent Computation for Reactive Systems (2020): https://www.researchgate.net/publication/348155409_Reactors_A_Deterministic_Model_of_Concurrent_Computation_for_Reactive_Systems

Editor: Associate Professor Sverre Hendseth Contact Address: Sverre.Hendseth...ntnu.no Last Modified: 18/3-2022