#!/usr/local/bin/php HCES 2004 @ Penn


High-Confidence Embedded Systems (HCES)
Annual Research Review and Workshop
April 26 - 27, 2004
Supported by ARO (Army Research Office)
 
 

Question or Comment
Contact: Valentina Sokolskaya
Last updated: April 21, 04

Schedule

Day 1:

8:30 - 9:00 continental breakfast and introductory remarks
9:00 - 11:00 Software analysis I
     Ed Clarke (CMU) TBD
Rajeev Alur (Penn) "Synthesis of interface specifications for Java classes"
John Hatcliff (KSU) "Checking Strong Specifications of Concurrent Systems"
Matt Dwyer (KSU) "Checking Cadena Designs with Quasi-cyclic Search"
11:00 - 11:20 break
11:20 - 12:55 Software analysis II
George Avrunin (UMass) "Heuristic-based Model Refinement for FLAVERS"
P. Madhusudan (Penn) "A temporal logic of nested calls and returns"
Oleg Sokolsky (Penn) "Run-time verification with regular expressions"
Scott Smolka (Stony Brook) "Monte Carlo model checking"
12:55 - 1:50 lunch
1:50 - 3:20 System design
Insup Lee (Penn) "Compositional real-time scheduling framework"
Carl Gunter (Penn) "Power-aware routing"
Elsa Gunter (NJIT) "Correspondence Assertions for Process Synchronization in Concurrent Communications"
3:20 - 3:50 break
3:50 - 5:00 Security
Jeannette Wing (CMU) "Automatic Generation and Analysis of Attack Graphs"
Michael McDougall (Penn) "Composing Security Policies on Java Cards"
Alwyn Goodloe (Penn) "Symbolic Simulation of Tunneling Protocols"
5:00 - 5:30 Planning session

Day 2:

8:30 - 9:00 continental breakfast
9:00 - 10:20 Hybrid and stochastic systems
Bruce Krogh (CMU) "Hybrid Embedded Control Systems"
Jesung Kim (Penn) "Code generation from CHARON"
Haakan Younes (CMU) "Statistical Probabilistic Model Checking"
10:20 - 10:50 break
10:50 - 12:00 Industry concerns
Bruce Lewis (Honeywell) "The Emerging SAE AADL Standard: An Architecture Analysis & Design Language for Building Embedded Real-Time Systems"
12:00 - 1:00 lunch
1:00 - 2:30 Discussion

Possible discussion topics:

  • Bridging the gap: from requirements to models to code to platforms
  • Industry and government needs