Uporaba Rustovih tipov za varno krmiljenje naprav : magistrsko delo

Drobnič, Vid (author), Pretnar, Matija (mentor)

V magistrskem delu je predstavljen razvoj nove metode za programiranje sistemov, zasnovanih na končnih avtomatih. Metoda se lahko uporabi pri programiranju vgrajenih sistemov, ki jih lahko predstavimo s končnimi avtomati, kot so pametne luči, robotske kosilnice in polnilnice za električna vozila. Razvita metoda omogoča pisanje končnega avtomata kot zaporedje akcij na srečni poti - to je privzet scenarij, kjer se ne zgodi nobena napaka - in izboljša varnost programske kode. To doseže s pomočjo programskega jezika Rust, njegovih tipov, asinhronega programiranja ter sistema lastništva. V delu je predstavljena tudi implementacija razvite metode v obliki odprtokodne knjižnice.

• Language: Slovenian
• Keywords: avtomat končnih stanj, asinhrono programiranje, sistem lastništva, Rust
• Work type: Master's thesis/paper
• Organization: FMF - Faculty of Mathematics and Physics
• Year: 2023
• PID: 20.500.12556/RUL-151719
• COBISS.SI-ID: 168904451
• Publication date in RUL: 18.10.2023

Secondary language

• Language: English
• Title: Using Rust types for safely controlling devices

Abstract

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.

• Keywords: finite-state machine, asynchronous programming, ownership system, Rust