Lupremica - Lua Scripting for Supremica
Paper i proceeding, 2023

Supremica is a software tool that implements several state-of-the-art algorithms to manipulate discrete-event systems, such as different types of compositions and compositional supervisor synthesis. Lua is a light-weight programming language suitable as a scripting language embedded into other applications. This paper describes the use of Lua as a scripting language for Supremica. To this end, the LuaJ interpreter is added to Supremica as a bridge between the Java-based implementation of Supremica and the Lua scripts. In this way, Supremica's entire Java API is made available to Lua scripts. Thus, scripts can automatically create automata, and manipulate them with all the algorithms available in Supremica and further manipulate the result with new algorithms implemented by Lua scripts. This opens up a new world of possibilities to try out new ideas and to extend the power of Supremica.

Discrete-Event Systems

Synthesis

Verification

Scripting

Lua

Författare

Martin Fabian

Chalmers, Elektroteknik, System- och reglerteknik

Robi Malik

University of Waikato

Sahar Mohajerani

Chalmers, Elektroteknik, System- och reglerteknik

IFAC-PapersOnLine

24058971 (ISSN) 24058963 (eISSN)

Vol. 56 2 6099-6104
9781713872344 (ISBN)

22nd IFAC World Congress
Yokohama, Japan,

Systematisk testning av cyberfysiska system (SyTeC)

Vetenskapsrådet (VR) (2016-06204), 2017-01-01 -- 2022-12-31.

Ämneskategorier

Reglerteknik

Datavetenskap (datalogi)

DOI

10.1016/j.ifacol.2023.10.704

Mer information

Senast uppdaterat

2024-02-09