Fakultet tehničkih nauka

Predmet: Automobilski softver (17.CE822)

Matične organizacione jedinice predmeta:
Osnovne informacije:
 
Kategorija Stručno-aplikativni
Uža naučna oblast Računarska tehnika i računarske komunikacije
Multidisciplinarna Ne
ESPB 5
Cilj:

Osposobljavanje studenata za projektovanje i programiranje automobilskog softvera.

Ishod:

Osposobljenost za projektovanje i programiranje automobilskog softvera, sa akcentom na formalnim metodama u projektovanju i korišćenju standardizovanih programskih tehnologija u programiranju automobilskog softvera.

Sadržaj:

Uvod. Projektovanje automobilskog softvera (Osnove modernog automobila. Arhitektura sistema. Razvoj softvera zasnovan na modelima. Formalne metode. Vremenski automati. Alat UPPAAL. Primeri modela u formalizmu vremenskih automata. Provera svojstava modela. Okruženja za modelovanje softvera. UML. GME.). Programiranje automobilskog softvera (Programiranje automobilskih aplikacija na OS RTEMS i WxWorks. Automatsko generisanje softvera iz modela.). Testiranje automobilskog softvera (Model korišćenja softvera. Alat MaTeLo. Automatsko generisanje test slučaja. Procena pouzdanosti softvera. Testiranje kontinualnih sistema.).

Metodologija izvođenja nastave:

Predavanja. Tutorijali. Računarske vežbe. Konsultacije. Studenti u toku semestra najpre izrađuju laboratorijske vežbe a zatim svoj predmetni projekat; sve u terminima računarskih vežbi.

Literatura:
Autori Naziv Godina Izdavač Jezik
Miroslav Popović, Branislav Kordić, Vladimir Marinković Automobilski softver 2020 FTN Izdavaštvo Srpski jezik
Formiranje ocene:
Predmetna aktivnost Predispitna Obavezna Broj poena
Odbranjene računarske vežbe Da Da 20.00
Prisustvo na predavanjima Da Da 5.00
Teorijski deo ispita Ne Da 30.00
Predmetni projekat Da Da 40.00
Prisustvo na računarskim vežbama Da Da 5.00
Izvođači nastave:
Računarske vežbe
Predavanja
Računarske vežbe