NETB302 Системи за реално време
Анотация:
In this course real-time systems are discussed in the context of embedded systems. The discussion begins with models relevant for embedded computing. Finite state machines, data-flow graphs and processor models are in focus. Along with the timing properties, energy aware algorithms and incremental design opportunities are considered. Scheduling is introduced via rate-monotonic, earliest-deadline-first and priority-ceiling algorithms. Scheduling for distributed systems and wireless ad hoc networks extend the content of the course into the domain of high-performance embedded computing.
Преподавател(и):
проф. Здравко Каракехайов д.н.
Описание на курса:
Компетенции:
Students successfully finished this course will:
1) know:
" basic structure of real-time computing machines
" real-time scheduling
" real-time communication
" I/O in real-time systems
" principles of operation of real-time operating systems
" fault-tolerance in real-time systems
" real-time object structures
" advanced issues in real-time scheduling and fault-tolerance
2) be able to:
" to evaluate different real-time operating systems
" to use adopted principles in building applications under real-time operating systems
Предварителни изисквания:
• Students should have basic understanding of computer architectures.
Форми на провеждане:
Редовен
Учебни форми:
Лекция
Език, на който се води курса:
Български
Теми, които се разглеждат в курса:
- Real-time applications
- Embedded systems
- Specification
- Mapping
- Rate-monotonic scheduling
- Earliest-deadline-first scheduling
- Priority-ceiling scheduling
- Test
- Scheduling for distributed systems
- Low-power scheduling
- Scheduling for wireless ad hoc networks
- Scheduling for incremental design
- Real-time OS
- Test
- Overall discussion
Литература по темите:
• 1. Phillip Laplante, Real-time Systems Design and Analysis, IEEE Press, 2004.
• 2. William Stallings, Operating Systems: Internals and Design Principles, Prentice-Hall, 2011.
• 3. Jane W.S. Liu, Real-Time Systems, Prentice Hall, 2000.
• 4. Jean J. Labrosse and Freddy Torres, uC/OS-III: The Real-Time Kernel and the NXP LPC1700, Micrium, 2010.
• 5. Loic P. Briand and Daniel M. Roy, Meeting deadlines in hard real-time systems, IEEE Computer Society Press, 1999.
• 6. Wayne Wolf, High-performance embedded computing, Morgan Kaufmann, 2007.