Home
Bio Sketch
Teaching
Research


Advanced Embedded System
Design

Course Code:

EE821

Semester:

Spring 2014

Credit Hours:

3+0

Prerequisite:

Basic
Digital Systems
Basic
C Programming

Instructor:

Dr. Awais M. Kamboh

Discipline:

MSDSSP5

Office:

Room
# A311

Telephone:

+92(0)5190852119

Lecture Days:

Tuesday, Thursday

Email:

awais.kamboh@seecs.edu.pk

Class Room:

CR9

Consulting Hours:

Tue
5:30pm6:20pm,
Wed
6:30pm8: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 realworld 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 lowlevel 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%



