The 2008 Lectures in Computer Science: Embedded networked Systems: Theory and Applications


Embedded Systems are electronic components with software, that are specifically designed to provideservices in various devices. The great majority (98%) of microprocessorsare embedded, and are used in industrial sectors such as transport(avionics, space, automotive, trains), electrical and electronicappliances, process control, telecommunications, e-commerce, ande-health. The extensive and increasing use of embedded systems and theirintegration in everyday products marks a significant evolution ininformation science and technology.

As opposed to other systems,embedded systems should meet requirements for autonomy and optimal useof their resources. This raises fundamental problems that call forenriching computer science with new concepts and paradigms, from controltheory and electrical engineering.

The lectures will cover a rangeof topics spanning both theoretical and practical aspects of embeddedsystems design. This includes Component-based Design Techniques,Multi-core Architectures and Supercomputing, Wireless Networks, FormalVerification, Security and Timing Analysis.

Joseph Sifakis
CNRS Research Director, Founder of VERIMAG Laboratory
Turing Award (2007)

Angelos Keromytis
Assoc. Professor, Computer Science Dept., Columbia University,
Director of the Network Security Lab

Edward Lee
Robert S. Pepper Distinguished Professor, Electrical Engineering and Computer Sciences Dept.,
University of California at Berkeley

Amir Pnueli
Professor, Computer Science Dept., Courant Institute, New York University
Turing Award (1996)

Constantine D. Polychronopoulos
Professor, Dept. of Electrical and Computer Engineering, University
of Illinois at Urbana-Champaign

Mateo Valero
Professor, Computer Architecture Dept.,
Technical University of Catalonia

Reinhard Wilhelm
Professor, Chair for Programming Languages and Compiler Construction,
Saarland University

Monday 21 July09:00 - 09:45 R e g i s t r a t i o n
09:45 - 10:00 Welcome speech
10:00-11:15

"Embedded Systems Challenges and Research Directions PART I" ; by Joseph Sifakis

11:15 - 11:45 B r e a k
11:45 - 13:00 "The evolution of computer security: attacks and defenses" by Angelos Keromytis
13:00 - 14:30L u n c h B r e a k
14:30 - 15:45 "von Neumann and the current computer security landscape" by Angelos Keromytis
Tuesday 22 July09:30 - 10:45 "Embedded Systems-Challenges and Research Directions" PART II byJoseph Sifakis
10:45 - 11:15 B r e a k
11:15 - 12:30 "Component Architectures for Time-Sensitive Systems" PART I by Edward Lee
12:30 - 14:00 L u n c h B r e a k
14:00 - 15:15 "Component Architectures for Time-Sensitive Systems" PART II I by Edward Lee
Wednesday 23 July09:30 - 10:45 "Next Generation Wireless Networks: Bringing Mass Appeal to 4G+"
by Constantine D. Polychronopoulos
10:45 - 11:15 B r e a k
11:15 - 12:30 2a "Network Optimization and Moore's Law"
2b "Network Optimization and Moore's Law"
by Constantine D. Polychronopoulos
12:30 - 14:00L u n c h B r e a k
20:00 "Η Έρευνα στην Πληροφορική: Νέες Προκλήσεις για την Επιστήμη και την Κοινωνία"
(H Ereuna stin Pliroforiki:Nees Prokliseis gia tin Epistimi kai tin Koinwnia.)
by Joseph Sifakis-PUBLIC LECTURE (in Greek)
Thursday 24 July09:30 - 10:45 "Verifications of Progress Properties" PART I
by Amir Pnueli
10:45 - 11:15 B r e a k
11:15 - 12:30 "Verifications of Progress Properties" PART II
by Amir Pnueli
12:30 - 14:00L u n c h B r e a k
14:00 - 15:15 "Timing Analysis and Timing Predictability" PART I
by Reinhard Wilhelm
Friday 25 July09:30-10:45 "Timing Analysis and Timing Predictability" PART II by Reinhard Wilhelm
10:45 - 11:15 B r e a k
11:15 - 12:30 "Overcoming the Memory Wall: Kilo-Instruction,
Run ahead and SMT Processors "by Mateo Valero
12:30 - 14:00 L u n c h B r e a k
14:00 - 15:15 "Supercomputing for the future, Supercomputing
from the Past" by Mateo Valero
15:15 - 15:30 Closing Remarks
This text will be replaced