10. WORDS 2005: Sedona, AZ, USA

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA. IEEE Computer Society 2005, ISBN 0-7695-2347-1 BibTeX

Cover

Title.
Electronic Edition (link) BibTeX
Copyright.
Electronic Edition (link) BibTeX

Introduction

Message from the Workshop Chairs.
Electronic Edition (link) BibTeX
Message from the Program Chairs.
Electronic Edition (link) BibTeX
Workshop Committees.
Electronic Edition (link) BibTeX

Keynote Addresses

Raymond A. Paul:
DoD Towards Software Services. 3-6
Electronic Edition (link) BibTeX
Helen Gill:
Challenges for Critical Embedded Systems. 7-12
Electronic Edition (link) BibTeX

Security

Basit Shafiq, Ammar Masood, James Joshi, Arif Ghafoor:
A Role-Based Access Control Policy Verification Framework for Real-Time Systems. 13-20
Electronic Edition (link) BibTeX
Christof Fetzer, Gert Pfeifer, Trevor Jim:
Enhancing DNS Security using the SSL Trust Infrastructure. 21-27
Electronic Edition (link) BibTeX
Stephen S. Yau, Yisheng Yao, Zhaoji Chen, Luping Zhu:
An Adaptable Security Framework for Service-based Systems. 28-35
Electronic Edition (link) BibTeX
Smithi Piromruen, James B. D. Joshi:
An RBAC Framework for Time Constrained Secure Interoperation in Multi-domain Environments. 36-48
Electronic Edition (link) BibTeX

Resources Allocation and Scheduling

Joseph P. Loyall, Jamie Lawson, Gary Duzan:
Issues in Providing Quality of Service in a Joint Battlespace Infosphere. 49-58
Electronic Edition (link) BibTeX
Jiangyin Zhang, Lisa Cingiser DiPippo, Victor Fay Wolfe, Kevin Bryan, Matthew Murphy:
A Real-Time Distributed Scheduling Service For Middleware Systems. 59-65
Electronic Edition (link) BibTeX
Tomoya Enokido, Makoto Takizawa:
Concurrency Control on Distributed Objects using Role Ordering (RO) Scheduler. 66-73
Electronic Edition (link) BibTeX
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
Deterministic Scheduling for Multithreaded Replicas. 74-81
Electronic Edition (link) BibTeX
Uwe Brinkschulte, Mathias Pacher:
Improving the Real-time Behaviour of a Multithreaded Java Microcontroller by Control Theory and Model Based Latency Prediction. 82-96
Electronic Edition (link) BibTeX

Applications

George F. Hurlburt:
Development Of The Warfighting Architecture Requirements (War) Tool. 97-104
Electronic Edition (link) BibTeX
Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky:
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. 105-112
Electronic Edition (link) BibTeX
Tom Anderson, Mei Feng, Steve Riddle, Alexander Romanovsky:
Error Recovery for a Boiler System with OTS PID Controller. 113-120
Electronic Edition (link) BibTeX
Bojan Cukic, Martin Mladenovski, Dejan Desovski, Sampath Yerramalla:
Real-Time Data Fusion Technique for Validation of an Autonomous System. 121-128
Electronic Edition (link) BibTeX
K. H. (Kane) Kim, Emmanuel Henrich, Chansik Im, Moon-Cheol Kim, Sung-Jin Kim, Yuqing Li, Sheng Liu, Seung-Mok Yoo, Liangchen Zheng, Qian Zhou:
Distributed Computing Based Streaming and Play of Music Ensemble Realized Through TMO Programming. 129-138
Electronic Edition (link) BibTeX

Web Services and Service-Oriented Architecture I

Wei-Tek Tsai, Yinong Chen, Raymond A. Paul:
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems. 139-147
Electronic Edition (link) BibTeX
Y. S. Hong, J. H. No, In Han:
Evaluation of Fault-tolerant Distributed Web Systems. 148-151
Electronic Edition (link) BibTeX
Hong Zhu, Lijun Shan:
Agent-Oriented Modelling and Specification of Web Services. 152-159
Electronic Edition (link) BibTeX
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. 160-170
Electronic Edition (link) BibTeX

Web Services and Services-Oriented Architecture II

Nik Looker, Malcolm Munro, Binka Gwynne, Jie Xu:
An Ontology-Based Approach for Determining the Dependability of Service-Oriented Architectures. 171-178
Electronic Edition (link) BibTeX
Charles J. Colbourn, Yinong Chen, Wei-Tek Tsai:
Progressive Ranking and Composition of Web Services Using Covering Arrays. 179-185
Electronic Edition (link) BibTeX
Stephen J. H. Yang, Blue C. W. Lan, Jen-Yao Chung:
A Trustworthy Web Services Framework for Business Processes Integration. 186-196
Electronic Edition (link) BibTeX

System Design 1

Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj:
Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. 197-204
Electronic Edition (link) BibTeX
Peter P. Puschner:
Experiments with WCET-Oriented Programming and the Single-Path Architecture. 205-210
Electronic Edition (link) BibTeX
Tatsuo Nakajima, Midori Sugaya, Shuichi Oikawa:
Oparating Systems For Building Robust Embedded SDystem. 211-218
Electronic Edition (link) BibTeX
Gilles Muller, Julia L. Lawall, Hervé Duchesne:
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. 219-230
Electronic Edition (link) BibTeX

System Design II

K. H. (Kane) Kim, Stephen F. Jenks, Larry Smarr, Andrew A. Chien, Liangchen Zheng:
A Framework for Middleware Supporting Real-Time Wide-Area Distributed Computing. 231-240
Electronic Edition (link) BibTeX
Roman Obermaisser, Philipp Peti, Hermann Kopetz:
Virtual Networks in an Integrated Time-Triggered Architecture. 241-253
Electronic Edition (link) BibTeX
Sahra Sedigh-Ali, Arif Ghafoor:
A Graph-Based Model for Component-Based Software Development. 254-262
Electronic Edition (link) BibTeX

Dependability, Reliability and Robustness I

Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul:
Empirical Assessment of Machine Learning based Software Defect Prediction Techniques. 263-270
Electronic Edition (link) BibTeX
Domenico Cotroneo, Armando Migliaccio, Stefano Russo:
Reliable Monitoring of Network-related Performance Parameters inWireless Environments. 271-278
Electronic Edition (link) BibTeX
John Eberhard, Anand Tripathi:
Object-Based Commutativity Analysis for Real-Time Applications. 279-286
Electronic Edition (link) BibTeX
Jan Gustafsson, Andreas Ermedahl, Björn Lisper:
Towards a Flow Analysis for Embedded System C Programs. 287-300
Electronic Edition (link) BibTeX

Dependability, Reliability and Robustness II

Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach:
A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP. 301-311
Electronic Edition (link) BibTeX
Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernández Briones:
Model-Based Integration of Safety Analysis and Reliable Software Development. 312-319
Electronic Edition (link) BibTeX
Mikael Åkerholm, Anders Möller, Hans Hansson, Mikael Nolin:
Towards a Dependable Component Technology for Embedded System Applications. 320-328
Electronic Edition (link) BibTeX
Youhei Tanaka, Tomoya Enokido, Makoto Takizawa:
Design and Implementation of Fault-Tolerant Transactional Agents for Manipulating Distributed Objects. 329-336
Electronic Edition (link) BibTeX
Hong Mei, Gang Huang, Wei-Tek Tsai:
Towards Self-Healing Systems via Dependable Architecture and. 337-346
Electronic Edition (link) BibTeX

Real-Time Systems

Andreas Rasche, Andreas Polze:
Dynamic Reconfiguration of Component-based Real-time Software. 347-354
Electronic Edition (link) BibTeX
Vana Kolageraki, Fang Chen:
On Constructing Overlay Network to Support Distributed Real-Time Virtual Environment Applications. 355-362
Electronic Edition (link) BibTeX
Min-Gu Lee, Sunggu Lee:
Delay Analysis for Statistical Real-Time Channels in Mobile Ad-Hoc Networks. 363-370
Electronic Edition (link) BibTeX
Marco A. Ramos, Félix F. Ramos:
Autonomous Agents and Anticipative Systems. 371-377
Electronic Edition (link) BibTeX
Elias Teodoro Silva Jr., Marco A. Wehrmeister, Leandro Buss Becker, Flávio Rech Wagner, Carlos Eduardo Pereira:
Design Exploration in Hw/Sw Co-design of Real-Time Object-oriented Embedded Systems: the Scheduler Object. 378-388
Electronic Edition (link) BibTeX

Embedded and Distributed Systems

Alessandro Cilardo, Antonino Mazzeo, Luigi Romano:
An FPGA-based Key-Store for Improving the Dependability of Security Services. 389-396
Electronic Edition (link) BibTeX
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. 397-404
Electronic Edition (link) BibTeX
Reinaldo de Barros Correia, Luiz F. Rust da Costa Carmo, Luci Pirmez, Luiz F. Bacellar:
A Framework for Preparing Experimental Evaluation of Rerouting Mechanisms. 405-412
Electronic Edition (link) BibTeX
Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk:
Functional and Non-Functional Properties in a Family of Embedded Operating Systems. 413-420
Electronic Edition (link) BibTeX