CS 624: Topics in Embedded Systems
Current topics in the design, specifications and analysis of embedded systems. The course will have the contemporary coverage of topics such as specifications of embedded systems, analysis of embedded systems, interface to the real-time operating systems, design case studies, design methodologies, etc. Other topics may include verification of embedded systems like formal verification, co-simulation, etc., estimation of hardware and software costs, partitioning, synthesis (hardware, software, memory, bus), retargetable usage of the software, specification and verification of the OS schedules, hard and soft real-time operating systems, and fault tolerant systems.
Books and References:
D. Gajski, F. Vahid, S. Narayan, and J. Gong._Specification and Design of Embedded Systems,_Prentice Hall.
Jorgan Syaunstrup and W. Wolf._Hardware Software Co-design: Principles and Practice,_Kluwer Academic Publishers.
Articles in various journals and conference proceedings.