<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.uni-lj.si/IzpisGradiva.php?id=151719"><dc:title>Uporaba Rustovih tipov za varno krmiljenje naprav</dc:title><dc:creator>Drobnič,	Vid	(Avtor)
	</dc:creator><dc:creator>Pretnar,	Matija	(Mentor)
	</dc:creator><dc:subject>avtomat končnih stanj</dc:subject><dc:subject>asinhrono programiranje</dc:subject><dc:subject>sistem lastništva</dc:subject><dc:subject>Rust</dc:subject><dc:description>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.</dc:description><dc:date>2023</dc:date><dc:date>2023-10-18 08:15:03</dc:date><dc:type>Magistrsko delo/naloga</dc:type><dc:identifier>151719</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>