| ARO Kickoff Meeting |
The ARO Kickoff Meeting at the Computer & Information Science Department at the University of Pennsylvania will be held on May 24 - 25, 2001. Room Reservations can be made at the Sheraton University City by calling 215-387-8000. Rooms are being offered at the government rate of $118.00 a night. The Sheraton is located at 36th & Chestnut Streets. The group name for reservation purposes is University of Pennsylvania, CIS Dept./ARO meeting.
Please inform me by email (kvenit@cis.upenn.edu) if you have already made your reservation. Also, please be sure to use the group name when you make your reservation.
The Kickoff Meeting will take place at the Terrace Room in Logan Hall at 249 S. 36th Street http://www.upenn.edu/perelmanquad/log14.html. The walk from the Sheraton to Logan Hall is brief and direct. You will walk straight down 36th Street and find Logan Hall between Spruce & Locust Walk. The Terrace Room is located on the Ground Floor Of Logan Hall, upon entering the building you will go downstairs. I will be there to greet you and assist you in finding your way to the conference room.
Please feel free to contact me if you have any questions about these arrangements.
Following is the agenda for the conference:
Thursday, May 24
8:00- 8:15 Breakfast
8:15- 8:30 Welcoming Remark, Dean Eduardo Glandt
8:30- 9:00 Program overview and expectations, Dr. Dave Hislop, ARO
9:00-10:00 Project overview (A, B, C) (20 mins per team)
| Team | Talks | Personnel |
| A | "Advanced Tool Integration for Embedded Systems Assurance" | Insup Lee, Penn |
| B | "Verification Tools for Embedded Systems" | Jeannette Wing, CMU |
| C | "Software Model Checking for Embedded Systems" | Matthew Dwyer, KSU |
10:00-10:15 Break
10:15-12:15 Team A - Technical Talks
| Talks | Personnel |
| 1. "Tools for Formal Modeling and Verification: Mocha, Hermes, and Charon" | Rajeev Alur, Penn |
| 2."Reference Model" | Elsa Gunter, NJIT |
| 3. "ACSR, PACSR and Power-aware ACSR" | Oleg Sokolsky, Penn |
| 4. "Program Checking" | Sampath Kannan, Penn |
12:15- 1:30 Lunch
1:30- 3:30 Team A - Technical Talks
| Talks | Personnel |
| 1. "Monitoring and Checking, Testing" | Insup Lee, Penn |
| 2. "Verism: Formal Analysis of Network Simulations" | Carl Gunter, Penn |
| 3. "End-to-end Design of Embedded Real-Time Systems" | Kang Shin, Michigan |
3:30- 3:45 Break
3:45- 5:45 Team B - Technical talks
The Rare Glitch Project -- Carnegie Mellon University
| Talks | Personnel |
| 1."Verifying Bus Protocol Standards for Embedded Systems" | Ed Clarke |
| 2."Model Checking for Hybrid Systems" | Bruce Krogh |
| 3."Scenario Graph Generation and MDP Based Analysis" | Jeannette Wing |
| 4."Model Checking Publish-Subscribe Software Architectures" | David Garlan |
Friday, May 25
8:00- 8:30 breakfast
8:30-10:00 Team C- Technical Talks
| Talks | Personnel |
| 1."A Temporal Specification Language for Java Source Code" | John Hatcliff |
| 2."Tool-supported Program Abstraction for Finite-state Verification" | Matthew Dwyer |
| 3."Evaluating Software Model Checking Tools" | George Avrunin |
10:00-10:15 Break
10:15-11:45 Caucus for board members
||
Working group meetings for PI's
11:45- 1:00 general discussion, feedback, future meeting
The List of PIs who plan to attend the meeting:
Team A: Penn, Mich, NJIT, GSU
Rajeev Alur
Robert P. Cook
Carl Gunter
Elsa Gunter
Sampath Kannan
Insup Lee
Kang G. Shin
Oleg Sokolsky
Team B: CMU
Ed Clarke
David Garlan
Bruce Krogh
Jeannette Wing
Team C: KSU, Mass
George Avrunin
Matthew Dwyer
John Hatcliff