Abstract Spot is a C++17 library for LTL and $$\omega $$ ω -automata manipulation, with command-line utilities, and Python bindings. This paper summarizes its evolution over the past six years, since the release of Spot 2.0, which was the first version to support $$\omega $$ ω -automata with arbitrary acceptance conditions, and the last version presented at a conference. Since then, Spot has been extended with several features such as acceptance transformations, alternating automata, games, LTL synthesis, and more. We also shed some lights on the data-structure used to store automata. Artifact: https://zenodo.org/record/6521395 .

Renewable energies are at the heart of discussions and wind energy even more. A wind turbine is composed of more than 9 000 parts each having a low or high level of criticality. In this work, we are interested in a study of a critical system of wind turbines: the Signal Transfer System, also commonly call slip ring: it is an electromechanical system whose function is to transmit information/data (sensors and actuators) between a stator and a rotor, by sliding contact. Requiring periodic maintenance to relubricate the system, and using noble materials, this system is getting more and more expensive, thus alternatives are seeked. The aim of CONTACTLESS is to suppress this sliding contact (an increase in the costs of raw materials) by an embedded system using wireless technology. A first demonstrator has been realized in 2011. It presents the first work realized allowing grouping and the transfer of information in wireless mode from a high data rate wire protocol (CAN bus) to a low data rate wireless technology (Zigbee) to validate our approach of level operational phase of OSI layer model (encapsulation/decapsulation).