WORDS 2005  Final Program
		Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005)
		Feb 2nd through 4th, 2005, Sedona, Arizona
		Wednesday, February 2, 2005
7:30 - 8:15		Registration (Registration also opens on Tuesday from 6pm - 8pm, and in the breaks)
8:15 - 8:30		Welcome and Opening Remarks by Workshop and Program Chairs (W.T. Tsai and C. Gill)
8:30 AM	Number	Session I: Security (Session Chair: Makoto Takizawa)
8:30 - 8:52	1	Basit Shafiq, Ammar Masood, and Arif Ghafoor, A Role-Based Access Control Policy Verification Framework for Real-Time Systems
8:52 - 9:14	2	Christof Fetzer, Gert Pfeifer, Trevor Jim, Enhancing DNS Security using the SSL Trust Infrastructure
9:14 - 9:36	3	Stephen S. Yau, Yisheng Yao, Zhaoji Chen, Luping Zhu An Adaptable Security Framework for Service-based Systems
9:36 - 9:48	4	Smithi Piromruen, James Joshi, An RBAC Framework for Time Constrained Secure Interoperation in Multi-Domain Environments
9:48 - 10:10		Brainstorming: Each presentation should be kept in 20 minutes plus 2 minutes of short questions. Other questions can be asked in brainstorming period.
10:10 - 10:30		Tea Break (including cookies or Muffins, or Pretzels)
10:30 AM		Session II: Resource Allocation and Scheduling  (Session Chair: Ann Gates)
10:30 - 10:52	5	Joseph Loyall, Jamie Lawson, Gary Duzan, Issues in Providing Quality of Service in a Joint Battlespace Infosphere
10:52 - 11:14	6	Jiangyin Zhang, Lisa DiPippo, Victor Fay-Wolfe, Kevin Bryan, Matthew Murphy, A Real-Time Distributed Scheduling Service For Middleware Systems
11:14 - 11:36	7	Tomoya Enokido, Makoto Takizawa, Concurrency Control on Distributed Objects using Role Ordering (RO) Scheduler
11:36 - 11:48	8	Wenbing Zhao, L. E. Moser, P. M. Melliar-Smith, Deterministic Scheduling for Multithreaded Replicas
11:48 - 12:20	9	Uwe Brinkschulte, Mathias Pacher, Improving the Real-time Behaviour of a Multithreaded Java Microcontroller by Control Theory and Model Based Latency Prediction
12:20 - 12:35		Brainstorming: Each presentation should be kept in 20 minutes plus 2 minutes of short questions. Other questions can be asked in brainstorming period.
12:35 - 1:30		Lunch
1:30 PM		Session III: Applications   (Session Chair: Stefano Russo)
1:30 - 1:52	10	George F. Hurlburt, Development of the Warfighting Architecture Requirements (WAR) Tool
1:52 - 2:14	11	Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky JAVAMAC AND RUNTIME MONITORING FOR GEOINFORMATICS GRID SERVICES
2:14 - 2:36	12	Tom Anderson, Mei Feng, Steve Riddle, Alexander Romanovsky, Error Recovery for a Boiler System with OTS PID Controller
2:36 - 2:58	13	Bojan Cukic, Martin Mladenovski, Dejan Desovski, Sampath Yeramalla, REAL-TIME DATA FUSION TECHNIQUES FOR MULTI-SENSOR BASED AUTONOMOUS SYSTEMS
2:58 - 3:20	14	K. H. (Kane) Kim, Emmanuel Henrich, Chansik Im, Moon-Cheol Kim, Sung-Jin Kim, Yuqing Li, Sheng Liu, Seung-Mok Yoo, Liang-Chen Zheng, Qian Zhou, Distributed Computing Based Streaming and Play of Ensemble Music Realized Through TMO Programming
3:20 - 3:35		Brainstorming: Each presentation should be kept in 20 minutes plus 2 minutes of short questions. Other questions can be asked in brainstorming period.
3:35 - 4:00		Tea Break (including cookies or Muffins, or Pretzels)
4:00 PM		Session IV: Web Services   (Session Chair: Bojan Cukic)
4:00 - 4:22	15	Wei-Tek Tsai, Yinong Chen, Ray Paul, Specification-Based Web Services Verification and Validation
4:22 - 4:44	17	Y. S. Hong, J. H. No, In Han, Evaluation of Fault-tolerant Distributed Web Systems
4:44 - 5:06	18	Hong Zhu, Lijun Shan, Agent-Oriented Modelling and Specification of Web Services
5:06 - 5:28	19	Chen-Ting Chuang, Chin-Fu Kuo, Tei-Wei Kuo, Ai-Chun Pang, A Multi-Granularity Energy Profiling Approach and a Quantitative Study of a Web Browser
5:28 - 5:40		Brainstorming: Each presentation should be kept in 20 minutes plus 2 minutes of short questions. Other questions can be asked in brainstorming period.
		Thursday February 3, 2005
8:00 AM		Session V: System Design I   (Session Chair: Joe Loyall)
8:00 - 8:22	20	Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj, Specification, Analysis, and Implementation of Architectural Patterns for Dependable Software Systems
8:22 - 8:44	21	Peter Puschner Experiments with WCET-Oriented Programming and the Single-Path Architecture
8:44 - 9:06	22	Tatsuo Nakajima, Midori Sugayay, Shuichi Oikawa, Operating Systems for Building Robust Embedded Systems
9:06 - 9:28	23	Gilles Muller, Julia L. Lawall, Herve Duchesne, A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation
9:28 - 9:40		Brainstorming: Each presentation should be kept in 20 minutes plus 2 minutes of short questions. Other questions can be asked in brainstorming period.
9:40 - 10:00		Tea Break (including cookies or Muffins, or Pretzels)
10:00AM		Session VI: System Design II   (Session Chair: Tatsuo Nakajima)
10:00 - 10:22	24	K. H. (Kane) Kim, Stephen Jenks, Liang-Chen Zheng, Andrew Chien, and Larry Smarr,  A Framework for Middleware Supporting Real-Time Wide-Area Distributed Computing
10:22 - 10:44	25	R. Obermaisser, P. Peti, H. Kopetz Virtual Networks in an Integrated Time-Triggered Architecture
10:44 - 11:06	29	Sahra Sedigh-Ali, Arif Ghafoor, A Graph-Based Model for Component-Based Software Development
11:06 - 11:15		Brainstorming: Each presentation should be kept in 20 minutes plus 2 minutes of short questions. Other questions can be asked in brainstorming period.
11:15 - 11:20		Short Break
11:10 AM		Session VII:  Dependability, Reliability and Robustness I   (Session Chair: Peter Puschner)
11:20 - 11:42	26	Venkata Udaya B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul, Empirical Assessment of Machine Learning based Software Defect Prediction Techniques
11:42 - 12:04	27	Domenico Cotroneo, Armando Migliaccio, Stefano Russo, Reliable Monitoring of Network-related Performance Parameters in Wireless Environments
12:04 - 12:26	30	John Eberhard, Anand Tripathi, Object-Based Commutativity Analysis for Real-Time Applications
12:26 - 12:48	45	Jan Gustafsson, Andreas Ermedahl, Bjorn Lisper, Towards a Flow Analysis for Embedded System C Programs
12:48 - 1:00		Brainstorming: Each presentation should be kept in 20 minutes plus 2 minutes of short questions. Other questions can be asked in brainstorming period.
1:00 - 2:00		Lunch
	50	Banquet speaker: Raymond Paul (DoD OSD NII), DoD: Towards Software Services
2:10 PM		Get ready to board the Jeeps
2:30 - 5:00		Pink Jeep Tour: 2.5 hour Diamondback Gulch tour at http://www.pinkjeeptours.com/diamond.html (or 2 hour tour at : http://www.pinkjeeptours.com/scenic.html)
		Please wear your warm jacket
6:00 - 8:00 PM		Banquet in the hotel
	49	Banquet Speaker: Helen Gill (NSF)
		Friday February 4, 2005
8:00 AM		VIII.A: Dependability, Reliability and Robustness II   (Session Chair: Charles Colbourn)
8:00 - 8:22	31	Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach, Greg Wickstrom, A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP
8:22 - 8:44	32	Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernandez, Model-Based Integration of Safety Analysis and Reliable Software Development
8:44 - 9:06	33	Mikael Akerholm, Anders Moller, Hans Hansson, Mikael Nolin Towards a Dependable Component Technology for Embedded System Applications
9:06 - 9:28	34	Youhei Tanaka, Tomoya Enokido, and Makoto Takizawa, Design and Implementation of Fault-Tolerant Transactional Agents for Manipulating Distributed Objects
9:28 - 9:50	35	Hong MEI, Gang HUANG, W.T. TSAI, Towards Self-Healing Systems via Dependable Architecture and Reflective Middleware
9:50 - 10:05		Brainstorming: Each presentation should be kept in 20 minutes plus 2 minutes of short questions. Other questions can be asked in brainstorming period.
8:00 AM		Session VIII.B: Real-Time Systems   (Session Chair: Uwe Brinkschulte)
8:00 - 8:22	39	Andreas Rasche, Andreas Polze, Dynamic Reconfiguration of Component-Based Real-time Software
8:22 - 8:44	41	Vana Kalogeraki, Fang Chen, On Constructing Overlay Networks to Support Distributed Real-Time Virtual Environment Applications
8:44 - 9:06	42	Min-Gu Lee and Sunggu Lee Delay Analysis for Statistical Real-Time Channels in Mobile Ad-Hoc Networks
9:06 - 9:28	43	Marco A. Ramos and Felix Ramos Autonomous Agents and System Anticipative
9:28 - 9:50	44	Elias SILVA Jr, Marco A. Wehrmeister, Carlos E. PEREIRA, Flavio R. WAGNER, Leandro B. BECKER, Design Exploration in Hw/Sw Co-design of Real-Time Objectoriented Embedded Systems: the Scheduler Object
9:50 - 10:05		Brainstorming: Each presentation should be kept in 20 minutes plus 2 minutes of short questions. Other questions can be asked in brainstorming period.
10:05 - 10:30		Tea Break (including cookies or Muffins, or Pretzels)
10:30 AM		Session IX.A: Service-Oriented Architecture and Software Development   (Session Chair: Victor Winter)
10:30 - 10:52	36	Nik Looker, Binka Gwynne, Jie Xu, Malcolm Munro, An Ontology-Based Approach for Determining the Dependability of Service-Oriented Architectures
10:52 - 11:14	37	Robert Chi Tau Lai, Ontology Support for Object Oriented Concurrent Programming
11:14 - 11:36	38	Charles J. Colbourn, Yinong Chen, Wei-Tek Tsai, Progressive Ranking and Composition of Web Services Using Covering Arrays
11:36 - 11:48	16	Stephen J. H. Yang, Blue C. W. Lan, Jen-Yao Chung, A Trustworthy Web Services Framework for Business Processes Integration
11:48 - 12:10		Brainstorming: Each presentation should be kept in 20 minutes plus 2 minutes of short questions. Other questions can be asked in brainstorming period.
10:30 AM		Session IX.B: Embedded and Distributed Systems   (Session Chair: Vana Kalogeraki)
10:30 - 10:52	28	A. Cilardo, A. Mazzeo, L. Romano, G. P. Saggese, An FPGA-based Key-Store for Improving the Dependability of Security Services
10:52 - 11:14	46	Yunmook Nah, Joonwoo Lee, Woon Joo Lee, Ho Lee, Moon Hae Kim, Ki-Joon Han, Distributed Scalable Location Data Management System based on the GALIS Architecture
11:14 - 11:36	47	Reinaldo de B. Correia, Luiz F. Rust Carmo, Luci Pirmez, Luiz F. H. Bacellar, A Framework for Preparing Experimental Evaluation of Rerouting Mechanisms
11:36 - 11:48	48	Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk, Functional and Non-Functional Properties in a Family of Embedded Operating Systems
11:48 - 12:10		Brainstorming: Each presentation should be kept in 20 minutes plus 2 minutes of short questions. Other questions can be asked in brainstorming period.
12:20 - 1:30		Lunch
1:30 PM		ISORC Meeting