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.
CNRS Research Director, Founder of VERIMAG Laboratory
Turing Award (2007)
Assoc. Professor, Computer Science Dept., Columbia University,
Director of the Network Security Lab
Robert S. Pepper Distinguished Professor, Electrical Engineering and Computer Sciences Dept.,
University of California at Berkeley
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
Professor, Computer Architecture Dept.,
Technical University of Catalonia
Professor, Chair for Programming Languages and Compiler Construction,
This text will be replaced