|
|  |
| Laboratory of Computer Engineering 2 |
| Abbreviation: | Load: 15(L)
+ 0(E)
+ 30(LE)
+ 0(CE)
|
| Lecturers in charge: | Prof. dr. sc. Nikola Bogunović
Prof. dr. sc. Slobodan Ribarić
Prof. dr. sc. Vlado Sruk
Doc. dr. sc. Leonardo Jelenković |
| Lecturers: | mr. sc. Igor Grudenić
(
Laboratory exercises
)
mr. sc. Marko Horvat
(
Laboratory exercises
)
Danko Ivošević dipl.ing.
(
Laboratory exercises
)
Marijo Maračić
(
Laboratory exercises
)
|
| Course 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. |
| Compulsory literature: |
| 1. | 1.Lecture notes and recommended literature for the courses. Lecturers FER 2006
2.VHDL-Analysis and Modeling of Digital Systems Z. Navabi McGraw-Hill 1998
3.Reliable Computer Systems: Design and Evaluation D.P. Siewiorek, R.S. Swarz AK Peters, Ltd. 1998
4.Logic in Computer Science Michael Huth, Mark Ryan Cambridge University Press 2004
5.Real-Time Systems J.W.S. Liu Prentice Hall 2000
|
| 2. | Electronic Instrumentation Laboratories (Student Reference Manual) S. Wolf, R.F.M. Smith Prentice Hall 2004 |
| 3. | Signal Processing in Communications, Practicum M. Vučić, G. Molnar FER-ZESOI 2005 |
| Recommended literature: |
| 4. | MATLAB User Manual The MathWorks Inc. 2005 |
| |
