DEMBSY Embedded systems

Faculty of Informatics
Autumn 2011
Extent and Intensity
3/0. 3 credit(s). Type of Completion: z (credit).
Teacher(s)
prof. Ing. Václav Přenosil, CSc. (lecturer)
Ing. Dana Komárková (lecturer)
Guaranteed by
prof. RNDr. Antonín Kučera, Ph.D.
Faculty of Informatics
Course Enrolment Limitations
The course is only offered to the students of the study fields the course is directly associated with.
fields of study / plans the course is directly associated with
Course objectives
The course is led by tutor and particular topics by experts from Design and Architecture Digital System Laboratory. Main aim of this course is merge both grant and individual investigative activities and basic research bearing on embedded systems design. Students will work individualy. Topic of the work will cohere with actual investigative and experimental activities of the laboratory. Concrete topic will select in discussion (tutor and lab. expert). Example of topics - design of the real-time embedded systems, HW modelling, fault tolerant system design, reliability the the digital systems and design and dependability of the distributed systems.
Syllabus
  • Analýza zadání Přehled stávajícího stavu řešení problému Návrh řešení problému Realizace navrhovaného řešení Ověření vlastností realizovaného řešení Návrh dalšího postupu řešení problému
Literature
  • alote P.: Fault Tolerant in Distributed Systems. Prentice Hall. 1994.
  • Trivedi K.: Probability and Statistics with Reliability, Queuing, and Computer Science Applications. John Wiley and Sons, new edition, 2001.
  • ALTERA: Advanced VHDL Design Techniques. WEB sources ALTERA company.
  • Shooman M.L.: Reliability of Computer Systems and Networks - Fault Tolerance, Analysis and Design. Wiley Interscience, 2002.
  • Lala P.: Self-Checking and Fault Tolerant Digital Design. Morgan Kaufmann, 2000.
  • Siewiorek D., Swartz R.: The Theory and Practice of Reliable System Design. A. K. Peters, third edition. 1999.
  • Pradhan D.K.: Fault-Tolerant Computer System Design. Prentice-Hall, first edition, 1996.
  • Thomas D.E., Moorby P.R.: The Verilog hardware description language. Springer, 2002.
  • Li Q., YaoC.: Real Time Concepts for Embeded Systems, CMP Books, 2006.
Assessment methods
Main methods of the tuition is individual work on concrete problem solution of the embedded systems design. Completion of the course is credit.
Language of instruction
English
Further comments (probably available only in Czech)
The course is taught each semester.
The course is also listed under the following terms Autumn 2009, Spring 2010, Autumn 2010, Spring 2011, Spring 2012, Autumn 2012, Spring 2013, Autumn 2013, Spring 2014, Autumn 2014, Spring 2015, Autumn 2015, Spring 2016, Autumn 2016, Spring 2017, Autumn 2017, Spring 2018, Autumn 2018, Spring 2019, Autumn 2019, Spring 2020, Autumn 2020.
  • Enrolment Statistics (Autumn 2011, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2011/DEMBSY