Type of studies | Title |
---|---|
Undergraduate Academic Studies | Software Engineering and Information Technologies (Year: 4, Semester: Winter) |
Category | Professional-applicative |
Scientific or art field | Computer Engineering and Computer Communication |
ECTS | 5 |
Educating students in desig and programming of automotive software.
Ability to design and implement automotive software with focus on formal methods in software design and usage of standardized technologies in programming of automotive software.
Introduction. Automotive software design (Modern automobile foundations. System architecture. Model-based software development. Formal methods. Timed automata. Tool UPPAAL. Examples of models in timed automata formalism. Checking method properties. Software modeling environments. UML. GME.). Automotive software programming (Programming automotive software on OS RTEMS and WxWorks. Generating software from models automatically.). Automotive software testing (Software usage model. Tool MaTeLo. Generating test-cases automatically. Estimating software reliability. Testing continuous systems.).
Lectures, tutorials, computer practice classes, consultations. During the semester students first complete laboratory practice tasks and then a course project. This is completed during the computer practice classes.
Authors | Title | Year | Publisher | Language |
---|
Course activity | Pre-examination | Obligations | Number of points |
---|---|---|---|
Project | Yes | Yes | 40.00 |
Computer exercise attendance | Yes | Yes | 5.00 |
Computer excersise defence | Yes | Yes | 20.00 |
Lecture attendance | Yes | Yes | 5.00 |
Theoretical part of the exam | No | Yes | 30.00 |
Full Professor
Assistant Professor
Associate Professor
© 2024. Faculty of Technical Sciences.
Address: Trg Dositeja Obradovića 6, 21102 Novi Sad
© 2024. Faculty of Technical Sciences.