20.500.12556/RUL-151719 Uporaba Rustovih tipov za varno krmiljenje naprav magistrsko delo Using Rust types for safely controlling devices 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. 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. avtomat končnih stanj asinhrono programiranje sistem lastništva Rust finite-state machine asynchronous programming ownership system Rust true false false Slovenski jezik Angleški jezik Magistrsko delo/naloga 2023-10-18 08:15:03 2023-10-18 08:15:07 2024-05-29 12:39:32 0000-00-00 00:00:00 2023 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 138390 168904451 10346.pdf 10346.pdf 1 673225161C879D4C1D0D630DB20D8108 10684c0b7640de1095670622aab8a76588bb686e64e66ef2d2059068eecc4e9f af451824-6d7d-11ee-8bea-0050569b8976 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=176763 Fakulteta za matematiko in fiziko Fakulteta za računalništvo in informatiko 0 0 0