Faculty Candidate, April 8th, 2008
By Doctorial Candidate Georgios E. Fainekos
Department of Computer and Information Sciences, University of Pennsylvania
Testing and Verification of Cyber-Physical Systems
The current trend in engineering is to embed microprocessors and sensors in almost every new or existing electromechanical system and critical infrastructure. Such systems have been recently referred to as Cyber-Physical Systems (CPSs) since they bridge the Cyber world of computation and communication with the Physical world of engineered systems. CPSs achieve enhanced functionality and performance for the users with ultimate goal the augmented system safety. At the same time, though, they increase the complexity of the engineered systems. The big challenge in CPSs is how to tame this complexity in order to guarantee correct and, most importantly, safe system operation. This talk addresses such emerging issues by presenting an innovative approach for the property based testing and verification of Cyber-Physical Systems.
Distinguished Speaker, April 21, 2008
By Dr. Jorg Henkel
Department of Computer Sciences, University of Karlsruhe, Germany
“RISPP: An Approach to Adaptive Embedded Processing”
The complexity and unpredictability of future embedded application require new approaches to embedded processing.
The talk reports on the challenges and status-quo of the RISPP processor, an embedded processing approach that allows changing the instruction set during run-tim depending on various constraints. A key research topic of this project deals with the question of what components of the processor should be fixed at design-time and what components should be left flexible for run-time decisions. The talk gives an overview of the whole project both from a software point of view but also from a hardware point of view. By means of a H.264 video encoder the advantages of the RISPP processor are demonstrated.
Guest Lecture, February 8, 2008
By Prof. Wayne Wolf
Rhesa “Ray” S. Farmer, Jr. Distinguished Chair in Embedded Computing Systems and Georgia Research Alliance Eminent Scholar
Distributed Smart Cameras
Our entire notion of cameras is being reinvented for the 21st century. This talk discusses two of those changes: a camera is no longer a box; and a camera no longer takes pictures. Smart Cameras perform embedded computer vision to analyze scenes in real time. The output of these systems is objects and events. We will describe the interplay of algorithms and architectures as an opening to distributed smart cameras, which analyze scenes using a collection of physically distributed cameras and using distributed computing algorithms. We will discuss two distributed smart cameras created by our group, one for gesture recognition and another for tracking.
|
Amit Goel, Sarma Vrudhula, Feroze Taraporevala and Praveen Ghanta receive Best Paper Award for “A Methodology for Characterization of Large Macro Cells and IP Blocks Considering Process Variations,” in Proceedings of the International Symposium on Quality Electronic Design (ISQED) San Jose, California, March 17-19, 2008
Prof. Sarma Vrudhula presents "A Unified Approach to Statistical Analysis of Full-Chip Leakage and Timing in the Presence of Process Variations." at PATMOS 2007 (Power And Timing Modeling, Optimization and Simulation) conference. [View Abstract | View Intro]
IEEE/ACM William J. McCalla ICCAD Best Paper Award for “Approximation Algorithm for the Temperature Aware Scheduling problem” at International Conference Computer-Aided Design (ICCAD), 2007, San Jose, California
National Science Foundation CAREER Award for “System-level Design of Network-on-Chip Architectures”, 2006
New course on Compilers for Embedded Systems in Spring 2008.
Best paper candidate SPKM: A Novel Graph Drawing based Algorithm for Application Mapping onto Coarse-Grained Reconfigurable Architectures, at ASPDAC (Asia South Pacific Design Automation Conference) 2008.
Generous grant from Microsoft Research on Low-Power Compilation
|
