|
Monday,
October 7, 2002
|
|
| 8:00 - 9:00 | Registration |
| 9:00 - 10:30 | Amir Pnueli (Weizmann
Institute) Embedded Systems: Challenges in Specification and Verification pdf Nancy Leveson (MIT) An Approach to Designing Safe Embedded Software David Harel (Weizmann Institute) Can Behavioral Requirements be Executed? (And why would we want to do so?) |
| 10:30 - 11:00 | Coffee break |
| 11:00 - 12:30 | T. John Koo, Judith
Liebman, Cedric Ma, Benjamin Horowitz, Alberto Sangiovanni-Vincentelli,
Shankar Sastry (University of California, Berkeley) Platform-based Embedded Software Design for Multi-Vehicle Multi-Modal System pdf Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger (University of California, Berkeley), Wolfgang Pree (University of Salzburg, Austria) A Giotto-based Helicopter Control System pdf Christoph M. Kirsch (University of California, Berkeley) Principles of Real-Time Programming pdf |
| 12:30 - 14:00 | Lunch |
| 14:00 - 15:30 | Thomas A. Henzinger,
Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic (University of California,
Berkeley) Time Safety Checking for Embedded Programs ppt Gregor Goessler, Alberto Sangiovanni-Vincentelli (University of California, Berkeley) Compositional Modeling in Metropolis Luca de Alfaro (University of California, Santa Cruz), Thomas A. Henzinger (University of California, Berkeley), Marielle Stoelinga (University of California, Santa Cruz), Timed Interfaces ppt |
| 15:30 - 16:00 | Coffee break |
| 16:00 -17:00 | Stavros Tripakis,
Verimag Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System ppt Darren Cofer, Murali Rangarajan (Honeywell) Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS pdf |
| 18:00 - | Cocktail and visit at Grenoble Museum |
|
Tuesday,
October 8, 2002
|
|
| 9:00 - 10:30 | Giorgio Buttazzo
(University of Pavia) Scalable Applications for Energy-aware Processors pdf Lui Sha (University of Illinois, Urbana-Champaign) Upgrading Embedded Software in the Field: Dependability and Survivability ppt Al Mok (University of Texas, Austin) Real-Time Virtual Resource: a Timely Abstraction for Embedded Systems ppt |
| 10:30 - 11:00 | Coffee break |
| 11:00 - 12:30 | Bertrand Delsart,
Vania Joloboff, Eric Paire (Silicomp) JCOD: A Leightweight Modular Compilation Technology for Embedded Java ppt Tobias Ritzau, Peter Fritzson (Linköping University) Decreasing Memory Overhead in Hard Real-Time Garbage Collection ppt Vincent Colin de Verdière, Sebastien Cros, Christian Fabre, Romain Guider (Silicomp), Sergio Yovine (Verimag) Speedup Prediction for Selective Compilation of Embedded Java Programs ppt pdf |
| 12:30 - 14:00 | Lunch |
| 14:00-15:30 |
Nicolas Halbwachs (Verimag)
|
| 15:30 - 16:00 | Coffee break |
| 16:00-17:00 | Douglas C. Schmidt
(DARPA/IXO) Adaptive and Reflective Middleware for Distributed, Real-time, and Embedded Systems ppt Paul Caspi (Verimag), Albert Benveniste (IRISA/INRIA) Toward an Approximation Theory for Computerised Control pdf |
| 20:00 - | Gala Banquet |
|
Wednesday,
October 9, 2002
|
|
| 9:00 - 10:30 | Paolo
Faraboschi (Hewlett Packard Laboratories) A New Facility for Dynamic Control of Program Execion: DELI pdf Sharad Malik (Princeton University) Design Tools for Application Specific Embedded Processors pdf Jakob Engblom and Bengt Jonsson (Uppsala University) Processor Pipelines and Their Properties for Static WCET Analysis pdf |
| 10:30 - 11:00 | Coffee break |
| 11:00-12:30 | Henrik
Theiling (Universität des Saarlandes) ILP-based Interprocedural Path Analysis Joseph A. Zambreno (Northwestern University) Mahmut Taylan Kandemir (Pennsylvania State University) Alok Choudhary (Northwestern University) Enhancing Compiler Techniques for Memory Energy Optimizations Valérie Bertin, Jean-Marc Daveau, Philippe Guillaume, Thierry Lepley, Denis Pilat, Claire Richard, Miguel Santana and Thomas Thery (ST Microelectronics) FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors ppt |
| 12:30 - 14:00 | Lunch |
| 14:00-15:30 | Giovanni
De Micheli (Stanford University) - joint talk EMSOFT'02 - CASES'02 John Rayfield (ARM Ltd.) - joint talk EMSOFT'02 - CASES'02 |
| 15:30 - 16:00 | Coffee break |
| 16:00-17:30 | Bran Selic (Rational)
Physical Programming: Beyond Mere Logic pdf Luciano Lavagno (Politecnico di Torino and Cadence Labs) Processes, interfaces and platforms. Embedded software modeling in Metropolis ppt Jens Palsberg (Purdue University) - joint talk EMSOFT'02 - CASES'02 |