Embedded software for critical real-time applications
1. |
Subject title |
Embedded software for critical real-time applications Вградлив софтвер за критични апликации во реално време |
||||||||||||||||||||||||||||
2. |
Code |
SVSS004 |
||||||||||||||||||||||||||||
3. |
Study program |
Cloud Computing, IT management, Bioinformatics, Security, Cryptography and Coding, Software for embedded systems, Еducation with ICT, Eco-informatics, Inteligent Systems, Internet Technologies and cyber security, Computer Science, Statistics and Data Analytics, Software Engineering, Cloud Computing, IT management, Bioinformatics, Security, Cryptography and Coding, Statistics and Data Analytics, Data science in computer science and engineering, Software Engineering, |
||||||||||||||||||||||||||||
4. |
Organizer of the study program (unit, institute, department, division) |
Faculty of Information Sciences and Computer Engineering |
||||||||||||||||||||||||||||
5. |
Study cycle (first, second, third) |
Втор циклус |
||||||||||||||||||||||||||||
6. |
Academic year / semester 5 / Летен |
7. Number of ECTS credits 6.0 |
||||||||||||||||||||||||||||
8. |
Instructor |
ворн. проф. д-р Моника Симјаноска Мишева проф. д-р Андреја Наумоски |
||||||||||||||||||||||||||||
9. |
Prerequisites for enrollment |
|
||||||||||||||||||||||||||||
10. |
Subject goals and competencies: After completing the course, the student is expected to know to build systems for modeling Physical systems with real -time problems. To integrate the calculations and Communication with the physical process. To monitor and control physical Real -time process through embedded systems.
|
|||||||||||||||||||||||||||||
11. |
Subject content: Principles, methods and techniques for building high -acting physical systems. Modeling, Mental models, qualitative analysis, risk analysis. Real -time programming and Communication, real -time deployment and virtual machines. Time constraints When programming. Rapid reconfiguration. Feedback in computer systems. Verification and validation and certification based on evidence. Formal methods for Specification and analysis. Model -based testing. Building embedded systems, Critical in terms of safety (eg pacemaker, infusion pump). |
|||||||||||||||||||||||||||||
12. |
Learning methods: Предавања поддржани со презентации преку слајдови, интерактивни предавања, вежби (користење на опрема и софтверски пакети), тимска работа, пример случаи, поканети гости предавачи, самостојна изработка и одбрана на проектна задача и семинарска работа, учење во електронско опкружување (форуми, консултации). |
|||||||||||||||||||||||||||||
13. |
Total available time fund |
6.0 ECTS x 30 hours = 180 hours |
||||||||||||||||||||||||||||
14. |
Time distribution |
30 + 15 + 0 + 0 + 0 = 180 hours
|
||||||||||||||||||||||||||||
15. |
Forms of teaching activities |
15.1. |
Lectures - theoretical teaching |
30 hours |
||||||||||||||||||||||||||
15.2. |
Exercises (laboratory, classroom), seminars, team work |
15 hours |
||||||||||||||||||||||||||||
16. |
Other forms of activities |
16.1. |
Project tasks |
0 hours
|
||||||||||||||||||||||||||
16.2. |
Independent tasks |
0 hours |
||||||||||||||||||||||||||||
16.3. |
Homework |
0 hours |
||||||||||||||||||||||||||||
17. |
Grading method |
|||||||||||||||||||||||||||||
17.1. |
Tests |
45 points |
||||||||||||||||||||||||||||
17.2. |
Seminar work / project (presentation: written and oral) |
0 points |
||||||||||||||||||||||||||||
17.3. |
Activities and learning |
10 points |
||||||||||||||||||||||||||||
17.4. |
Final exam |
0 points |
||||||||||||||||||||||||||||
18. |
Grading criteria (points / grade) |
up to 50 points |
5 (five) (F) |
|||||||||||||||||||||||||||
from 51 to 60 points |
6 (six) (E) |
|||||||||||||||||||||||||||||
from 61 to 70 points |
7 (seven) (D) |
|||||||||||||||||||||||||||||
from 71 to 80 points |
8 (eight) (C) |
|||||||||||||||||||||||||||||
from 81 to 90 points |
9 (nine) (B) |
|||||||||||||||||||||||||||||
from 91 to 100 points |
10 (ten) (A) |
|||||||||||||||||||||||||||||
19. |
Condition for signature and taking final exam |
реализирани активности 15.1 и 15.2 |
||||||||||||||||||||||||||||
20. |
Language of instruction |
македонски и англиски |
||||||||||||||||||||||||||||
|
21. |
Quality assurance method |
механизам на интерна евалуација и анкети
|
||||||||||||||||||||||||||||
22. |
Literature |
|||||||||||||||||||||||||||||
22.1. |
Mandatory literature |
|||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||
|
22.2. |
Additional literature |
|
||||||||||||||||||||||||||||
