Guest Editors' Introduction to the Special Section on Programming Architectures for Embedded Systems
• semantic foundations of various programming models,
• interaction between alternative architectural models and programming models,
• case studies of design of verifiable or correct-by-construction embedded systems,
• optimization and design-space exploration techniques based on domain specific models and architectures,
• comparative study of models and architectures for embedded system specification and design,
• model-driven design and verification of embedded systems, etc.
• S.K. Shukla is with the Electrical and Computer Engineering Department, 302 Whittemore Hall, Virginia Polytechnic and State University, Blacksburg, VA 24061. E-mail: email@example.com.
• J.-P. Talpin is with INRIA Rennes-Bretagne-Atlantique, Campus de Beaulieu, 35042 Rennes Cedex, France.
For information on obtaining reprints of this article, please send e-mail to: firstname.lastname@example.org.
Sandeep K. Shukla received the bachelor's degree in 1991 from Jadavpur University, Calcutta, and the master's and PhD degrees in computer science in 1995 and 1997, respectively, from the State University of New York at Albany. He is an associate professor of computer engineering at Virginia Polytechnic and State University in Blacksburg (Virginia Tech), where he has been a faculty member since 2002. He is also a founder and deputy director of the Center for Embedded Systems for Critical Applications (CESCA) and director of the FERMAT research lab. He has published more than 100 articles in journals, books, and conference proceedings, and has published four books. He was awarded the PECASE (Presidential Early Career Award for Scientists and Engineers) award for his research in design automation for embedded systems design, which in particular focuses on system level design languages, formal methods, formal specification languages, probabilistic modeling and model checking, dynamic power management, application of stochastic models and model analysis tools for fault-tolerant nano-scale system design, reliability measurement of fault-tolerant nano-systems, and embedded software engineering. Professor Shukla was elected a College of Engineering Faculty Fellow at Virginia Tech in 2004. He is a distinguished visitor of the IEEE Computer Society, a distinguished speaker of the ACM, and a senior member of the IEEE. He worked at GTE labs and Intel Corporation between 1997 and 2001. He was a researcher at the Center for Embedded Computer Systems at the University of California at Irvine. In 2007, Professor Shukla received a Distinguished Alumni award from the State University of New York at Albany for Excellence in Science and Technology. Recently, he received the Friedrich Wilhelm Bessel Research Award from the Humboldt Foundation in Germany.
Jean-Pierre Talpin received the PhD degree in 1993 from the University of Paris VI Pierre et Marie Curie. He is the director of research at INRIA Rennes-Bretagne-Atlantique. He worked at the European Computer-Industry Research Centre in Munich as a research associate prior to joining INRIA in 1995. He is the scientific leader of the Espresso project-team whose main area of research is embedded software design. He is also the coordinator of the ANR project OpenEmbeDD developing an open-source, model-driven, embedded system design platform. He served eight years as an elected member of INRIA's evaluation commission. In 2005, he received the ACM SIGPLAN Award for the most influential POPL paper for his article with Mads Tofte.