The master's thesis presents the development of a new method for programming finite-state machine based systems. The method can be used for programming embedded systems that can be represented by finite-state machines, such as smart lights, robotic lawn mowers and electric vehicle charging stations. The developed method allows writing a finite-state machine as a sequence of actions on happy path scenario - that is, the default scenario where no errors occur - and improves the security of the code. This is achieved with the help of the Rust programming language, its types, asynchronous programming and the ownership system. The work also presents the implementation of the developed method in the form of an open-source library.
|
