search for books and compare prices
Tables of Contents for Real-Time Systems Education
Chapter/Section Title
Page #
Page Count
Real-Time Systems Education: An Introduction
vii
 
J. Zalewski
Chapter 1: Individual Courses and Tools
3
36
A Course in Real-Time Software Principles (with Practice)
3
3
A. Shaw
Courses on Software Design Methods for Concurrent and Real-Time Systems
6
7
H. Gomaa
Real-Time Instructional Technology: Experiences with Multi-User Real-Time Systems
13
7
K.H. Jacker
Graphical Programming and Real-Time Design Instruction
20
6
J.-J. Schwarz
J. Skubich
M. Maranzana
R. Aubry
Using ObjecTime to Teach Real-Time Software in the Undergraduate Curriulum
26
13
T. Shepard
C. Wortley
B. Selic
Chapter 2: Real-Time Curriculum Issues
39
34
A Model for Real-Time Systems Curriculum
39
10
W.A. Halang
J. Zalewski
Real-Time Systems Education at George Mason University
49
5
B.I. Sanden
A Curriculum Proposal for an Innovative BS/MS Degree in Computer Engineering Emphasizing Real-Time Embedded Systems
54
9
T.F. Piatkowski
G. Greenwood
X. Hu
J. Grantner
R. Taylor
Towards the Creation of the CIC's Real-Time Systems Laboratory
63
10
P. Mejia
B. Ferro
Chapter 3: Real-Time Systems Education at Embry-Riddle
73
38
Real-Time Laboratory in a Computer Science/Engineering Program
73
7
A.J. Kornecki
J. Zalewski
Projects for Real-Time Systems Classes
80
10
A.J. Kornecki
J. Zalewski
A Real-Time Systems Track in the Master of Software Engineering Program
90
8
A.J. Kornecki
J. Zalewski
A Course on Safety-Related Real-Time Computing Systems
98
13
W.A. Halang
J. Zalewski
Chapter 4: Teaching Formal Methods for Real-Time Systems
111
26
The Role of Integrated Specification Techniques in Teaching Complex System Modeling and Analysis
111
9
R.B. France
J.-M. Bruel
Process Activities for Student Projects Involving the Formal Specification of Real-Time Software
120
6
T.B. Hilburn
Design of Distributed Systems Using Petri Nets: A Graduate Computer Science Course
126
11
B. Mikolajczak
Chapter 5: Real-Time Systems in Systems and Control Engineering
137
22
Systems Engineering Education at Linkoping University
137
5
C. Krysander
A. Torne
Real-Time Systems Education: Emphasis on the System Level
142
5
T.J. Marlowe
A.D. Stoyenko
M.G. Hinchey
S. Baruah
A. Silberman
R. Scherl
P.A. Laplante
Laboratory for Distributed Real-Time Control
147
6
Z. Hanzalek
Using Matlab Real-Time Workshop in Teaching Control Design Techniques
153
6
C. Pous
A. Oller
J. Vehi
J.I. de la Rosa
Author Index
159