|
ECTS:
|
3
|
Lecturers in charge:
|
Prof. dr. sc.
Nikola Bogunović
Prof. dr. sc.
Slobodan Ribarić
Prof. dr. sc.
Vlado Sruk
Doc. dr. sc.
Leonardo Jelenković
|
Lecturers:
|
Dr. sc.
Igor Grudenić - Laboratory exercises
Mr. sc.
Marko Horvat - Laboratory exercises
dipl. ing.
Danko Ivošević - Laboratory exercises
dipl. ing.
Marijo Maračić - Laboratory exercises
|
Take exam:
|
Studomat
|
English level:
1,0,0
|
All teaching activities will be held in Croatian. However, foreign students in mixed groups will have the opportunity to attend additional office hours with the lecturer and teaching assistants in English to help master the course materials. Additionally, the lecturer will refer foreign students to the corresponding literature in English, as well as give them the possibility of taking the associated exams in English.
|
|
Load:
|
| Lecture type | Total |
| Lectures |
15 |
| Laboratory exercises |
30 |
* Load is given in academic hour (1 academic hour = 45 minutes)
|
Description:
|
The laboratory assignments grouped in 4 areas, designed to complement the material covered in lectures. Computer Systems reliability: Fault modeling and digital system testing. Reliability evaluation and analysis. Digital System Design:design and test simple to moderately complex digital circuits by using VHDL environment and programmable devices. Formal methods in computing systems design: Automated theorem proving, hardware verification, formal verification of critical OS communication protocols. Real time systems: system modeling, program structures, task and resource allocation. Static and dynamic scheduling. Real-time communication.
|
Literature:
|
- Lecture notes and recommended literature for the courses; Lecturers; FER; 2006
- VHDL-Analysis and Modeling of Digital Systems; Z. Navabi; McGraw-Hill; 1997; ISBN: 978-0070464797
- Reliable Computer Systems: Design and Evaluation; D.P. Siewiorek, R.S. Swarz; A K Peters/CRC Press; 1998; ISBN: 978-1568810928
- Logic in Computer Science; Michael Huth, Mark Ryan; Cambridge University Press; 2004; ISBN: 978-0521543101
- Real-Time Systems; J.W.S. Liu; Prentice Hall; 2000; ISBN: 978-0130996510
|
|
2. semester
|
Full time study
course for
profile
Computer Engineering
|
|
