Embedded Systems Architecture Course

1
Embedded Systems Architecture Course

• Rajesh K. Gupta
• University of California, Irvine
• Ki-Seok Chung and Ali Dasdan
• University of Illinois at Urbana-Champaign
• Interstate Electronics Corporation, Anaheim, CA
• 3-5 December 1997
• 21-23 January 1998

2
Overview

• Software Design and Modeling
• Sections 4., 5., 13.
• 4 hours
• Scheduling Theory
• Sections 11.
• 4 hours
• Real-Time Operating Systems
• Sections 10.
• 4 hours
• Timing Issues
• 2 hours
• Performance Analysis
• 2 hours
• Design Automation for Embedded Systems
• 1 hour

3
Overview

• (Also discuss
• complexity theory - just a little to give the
  concepts needed during the discussion of
  scheduling theory
• trends in embedded systems
• trends for languages
• trends for compilers - give them a list of things
  that they can do as users to take more advantage
  of their compilers
• trends for processors
• trends for architectures
• trends for everything )

4
Scheduling Theory
5
Real-Time Operating Systems
6
Timing Issues
7
Two Sad Comments

• Despite the importance of timing constraints in
  real-time systems, it is a characteristics (and
  limitations) of most software design methods for
  real-time systems that the methods tend to
  emphasize structural and behavioral aspects of
  real-time systems and generally pay significantly
  less attention to timing constraints. Gomaa in
  1993, the designer of the software design methods
  DARTS, ADARTS, CODARTS and their various
  extensions.
• Paradoxically, one can verify that the current
  so-called real-time programming languages do
  not provide any explicit means of correctly
  expressing time constraints. A fortiori, they
  provide no insurance that the constraints would
  be respected when executing the program. Berry in
  1983, referenced again in 1993 in a book on
  synchronous languages, the designer of Esterel.

8
Time as Points or Intervals?
9
Performance Analysis
10
Design Automation for Embedded Systems
11
References

• KrSh Krishna and Shin, Real-Time systems,
  McGraw Hill, 1997.
• Ko Kopetz, Real-Time Systems, Kluwer, 1997.
• Li, Liem, Retargetable Compilers for Embedded
  Core Processors, Kluwer, 1997.
• YeWo, Yen and Wolf, Hardware-Software
  Co-Synthesis of Distributed Embedded Systems,
  Kluwer, 1997.
• Ba Balarin et al., Hardware-Software Co-Design
  of Embedded Systems, Kluwer, 1997.
• Gu Gupta, Co-Synthesis of Hardware and Software
  for Digital Embedded Systems, Kluwer, 1995.
• Pr Protopapas, Microcomputer Hardware Design,
  Prentice-Hall, 1988.
• La Lapsley, DSP Processor Fundamentals,
  Berkeley Design Tech., 1996.
• Ly Lyons, Understanding Digital Signal
  Processing, Addison-Wesley, 1997.
• St Stallings, Data and Computer Communication,
  MacMillan, 1985.

12
References (contd)

• Cl, Clements, Microprocessor Systems Design,
  PWS, 1997.
• XuPa, Xu and Parnas, On Satisfying Timing
  Constraints in Hard-Real-Time Systems, IEEE
  T-Software Engineering, Jan. 1993.
• El Ellison, Developing Real-Time Embedded
  Software, Wiley, 1994.
• Al Allworth, Introduction to Real-Time Software
  Design, Springer-Verlag, 1984.
• La Laplante, Real-Time Systems Design and
  Analysis, IEEE, 1997.
• Kl Klein, RTOS Design How is Your Application
  Affected, Wind River Systems, 1997.
• Go1 Gomaa, Software Design Methods for
  Concurrent and Real-Time Systems, Addison-Wesley,
  1993.
• Go2 Gomaa, Software Design Methods for
  Real-Time Systems, CMU SEI Technical Report
  SEI-CM-22-1.0, 1989.
• Bu Budgen, Introduction to Software Design, CMU
  SEI Technical Report SEI-CM-2-2.1, 1989.
• Kle Klein et al., A Practitioners Handbook for
  Real-Time Analysis, Kluwer, 1993.

13
References (contd)

• Re Rechtin, Systems Architecting,
  Prentice-Hall, 1991.
• Ree Rechtin et al., The Art of Systems
  Architecting, CRC Press, 1996.
• Ha Hatley et al., Strategies for Real-Time
  System Specification, Dorset House, 1987.
• WWW Pointers
• Carnegie Mellon Univ. Engineering Design Research
  Center http//www.edrc.cmu.edu
• Embedded Systems Conference East/West (Miller
  Freeman Publishing) http//www.mfi.com)
• Embedded Systems http//www.compapp.dcu.ie/cdaly
  /embed/embedsys.html
• Safety-Critical Systems http//www.comlab.ox.ac.u
  k/archive/safety.html
• Design Automation for Embedded Systems journal
  http//www.ee.princeton.edu/wolf/daes.html
• Embedded Systems Programming trade magazine
• Embedded Hardware/Software Codesign
  http//www.cs.washington.edu/homes/ortega/embedded
  .html