Finite Automata for Specification and Code Generation in Real-Time Systems

Abstract

The development of reliable real-time systems can be facilitated by using precise models for time- and event-driven behavior. Existing tools such as Yakindu, itemis CREATE or UPPAAL offer simulation and verification capabilities, but have limitations in terms of textuality, integrability or traceability of the generated code. This thesis introduces FACET-Lang, a domain-specific language that combines finite automata with temporal constructs, deterministic execution and a hybrid action model. An associated code generator produces lean, statically analyzable C code and allows easy integration into common build and version control environments. An evaluation on case studies shows that FACET-Lang can be used to model reactive real-time systems precisely and consistently. The generated code is compact, suitable for worst-case execution time analyses and makes long-term maintenance easier. Compared to manual implementation, FACET-Lang reduces development effort and ensures consistent artifacts. FACET-Lang and the code generation tool FACET position themselves as a pragmatic middle ground between text-based modeling and practical code generation. The work concludes with a discussion of its limitations and how future extensions could mitigate some of its current shortcomings.

Date of Award	2025
Original language	English
Supervisor	Gerhard Jahn (Supervisor)