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.
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.