WG TLC Programming 2025-11-06

[emiltin]

Participants

Rafael Figueiredo
Emil Tin

Previous Work

As Rafael is new to the working group, we reviewed previous work:

• activity plan frame for out work
• workflow, program, configurations
• fixed time programs
• stage-based programs
• constraint-based programs, ideas related to temporal logic
• policy-based programs

UPAAL

https://uppaal.org/ is a tool for modeling, validation and verification of real-time systems modeled as networks of timed automat. It used a type of temporal logic. It's developed by Aalborg and Uppsala Universities. We would like to get in touch with them, maybe they found find our work interesting and could perhaps guide us a bit in relation to e.g. temporal logic and other formal methodologies relevant to TLC programming.

Prototype tools

At the next meeting we plan to review the prototype tools for working with fixed-time programs, written in Elixir:
https://github.com/[rsmp-nordic/tlc_elixir](https://github.com/rsmp-nordic/tlc_elixir)