|
Home
Bio Sketch
Teaching
Research
|
|
|
Advanced Embedded System
Design
|
|
Course Code:
|
EE-821
|
Semester:
|
Spring 2014
|
|
Credit Hours:
|
3+0
|
Prerequisite:
|
Basic
Digital Systems
Basic
C Programming
|
|
Instructor:
|
Dr. Awais M. Kamboh
|
Discipline:
|
MS-DSSP-5
|
|
Office:
|
Room
# A-311
|
Telephone:
|
+92-(0)51-90852119
|
|
Lecture Days:
|
Tuesday, Thursday
|
E-mail:
|
awais.kamboh@seecs.edu.pk
|
|
Class Room:
|
CR-9
|
Consulting Hours:
|
Tue
5:30pm-6:20pm,
Wed
6:30pm-8:20pm
|
|
Knowledge Group:
|
Digital Systems & Signal Processing
|
Updates on LMS:
|
After Lecture
|
|
|
|
|
|
|
Course Description:
|
|
|
This introductory graduate level course
on Advanced Embedded Systems covers the Modeling, Design and Analysis of embedded
systems and cyber physical systems. The course is about a principled
approach to designing and implementing such system. Modeling is the
process of gaining a deeper understanding of a system through imitation.
Models specify what a system does. Design is the structured creation of
artifacts. It specifies how a system does what it does. Analysis is the
process of gaining a deeper understanding of a system through dissection.
It specifies why a system does what it does, or fails to do what a model says
it should do.
|
|
Course Outcomes/Objectives:
|
|
|
·
Introduction to the basic concepts of the
Embedded System Design from both the hardware and software viewpoints.
·
Students will learn the primary approaches
and technologies used in the modeling and design of Embedded Systems and
apply them to analyze systems that solve real-world problems.
·
Students will be able to design basic
systems incorporating sensors, processors, actuators and communication.
·
Students will learn how to approach the
of design large systems handling multiple tasks with critical
functionality.
|
|
Books:
|
|
Textbook:
|
·
Frank Vahid, and Tony Givargis,
Embedded System Design: A unified Hardware/Software Introduction,
2002.
|
|
Reference
:
|
·
Wayne Wolf, Computer
as Components, 2005
|
|
Week
|
Topic
|
Description
|
|
1
|
Introduction
|
Course Introduction
|
|
2
|
Embedded
Processors
|
Processor
architectures specialized for embedded systems
|
|
3
|
Memory Architectures
|
Memory models in programming, memory
technologies, memory architectures
|
|
4
|
Continuous
Dynamics
|
Constructing
differential equations to describe the dynamics of the system
Appendix
A: Sets and Functions
|
|
5
|
Discrete Dynamics
|
Build state machines that model modes of
operation
Appendix B: Complexity and Computability
|
|
6
|
One
Hour Test – 1
|
-
|
|
7
|
Hybrid Systems
|
Transitions between states and modes of
operation
|
|
8
|
Input
and Output
|
Interface
between software and physical world, digital/analog interface
|
|
9
|
Composition of State Machines
|
Semantics of concurrent composition of
state machines
|
|
10
|
Concurrent
Models of Computation
|
Different
ways to model concurrent computations
|
|
11
|
Invariants and Temporal Logic
|
Precise description of dynamic properties
of systems
|
|
12
|
One
Hour Test – 2
|
-
|
|
13
|
Multitasking
|
Labour Day Holiday
Pitfalls of using low-level mechanisms
and threads
|
|
14
|
Equivalence
and Refinement
|
Relationships
between different models
|
|
15
|
Reachability Analysis and Model Checking
|
Analyzing the large number of possible
dynamic behaviours a model may exhibit
|
|
16
|
Scheduling
|
Real
time systems and task scheduling
|
|
17
|
Quantitative Analysis
|
Finding bounds on resources consumed,
execution time analysis
|
|
18
|
End
Semester Exam
|
-
|
|
Weightages:
|
|
|
Quizzes:
|
5%
|
|
Assignments:
|
10%
|
|
OHT1
+ OHT2:
|
30%
|
|
Final
Exam:
|
40%
|
|
Project:
|
15%
|
|
|
|
