The 2008 Lectures in Computer Science: Embedded networked Systems: Theory and ApplicationsEmbedded 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
 This text will be replaced
|
