CmpE 59D: Special Topics in CmpE: Design Automation for Embedded Systems

sanatoriumdrumElectronics - Devices

Nov 25, 2013 (3 years and 8 months ago)

83 views

CmpE 59D:
Special Topics in CmpE:
Design Automation for Embedded Systems

Motivation:

Embedded systems are computing platforms for processing
from surrounding systems/sub
-
systems
. With the advents in
silicon technology and computing platforms, embedded syst
ems have started to transform into cyber physical systems
which can be regarded as complex embedded systems

that have to interact with physical processes. They have hard
real
-
time constraints to respond to concurrent requests from the physical processes i
n a
robust,
deterministic manner.

In this graduate level course, basics of

design automation and embedded
/cyber
-
physical

systems

are presented
. It
presents basics of design automation whic
h can be used in
partially/fully

generating
application specific sy
stems like
embedded
/cyber physical

systems, FPGAs, ASICs.
Students who wants to make a scientific study on one of these topics
should take this course.

Catalog Description:

Basics of embedded systems.

System specification:

languages, models. Synthesis: har
dware/software co
-
synthesis,
mapping, allocation
,

scheduling

under embedded design constraints
.
Verification.

Course Book
s
:

In this course, there will be selected chapters from the following books:



Edward A. Lee and Sanjit A. Seshia,

Introduction to Embedd
ed Systems, A Cyber
-
Physical Systems Approach
,
2011,
http://LeeSeshia.org
.



D
.

D. Gajski, S
.

Abdi, A
.

Gerstlauer , Embedded System Design: Modeling, Synthesis and Verification,

Springer (26
Aug 2009)

available at BU Library



M. Qiu, J. Li, Real
-
Time Embedded Systems: Optimization, Control, and Networking, CRC Press (29 Jun 2011)



L.T. Wang, Y.W. Chang

, K.T. Cheng , Electronic Design Automation: Synthesis, Verification, and Test, Morgan
Kaufmann (5 Dec 2008),
available at BU Library

Tentative Course Outline

1.

Constraints and Design Consideration Issues in Embedded and Cyber
-
Physical Systems

2.

Fundamentals of Design Automation

a.

Levels
of abstraction: Models of computation for Embedded Systems

b.

Optimization

c.

Compilation and Synthesis

3.

System Level
Design Automation
Approach:

a.

Hardware/Software
Partitioning

b.

Placement, Mapping

c.

Synthesi
s: Allocation, Scheduling

d.

Misc. Issues: Processor Customiz
ation, Automatic Code Generation, Automation Issues for Multi
-
core
Embedded Systems …

4.

Verification

Grading

4 Homeworks : 70 pts

Final
Implementation/
Presentation: 30 pts.