The Community for Technology Leaders
Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on (2005)
Sedona, Arizona
Feb. 2, 2005 to Feb. 4, 2005
ISSN: 1530-1443
ISBN: 0-7695-2347-1
TABLE OF CONTENTS
Introduction
Cover
Introduction
Keynote Addresses

DoD Towards Software Services (Abstract)

Raymond A. Paul , OSD NII, Department of Defense, Washington DC, U.S.A.
pp. 3-6

Challenges for Critical Embedded Systems (Abstract)

Dr. Helen Gill , National Science Foundation
pp. 7-12
Security

A Role-Based Access Control Policy Verification Framework for Real-Time Systems (Abstract)

Ammar Masood , Purdue University
James Joshi , Univ. of Pittsburgh
Arif Ghafoor , Purdue University
Basit Shafiq , Purdue University
pp. 13-20

Enhancing DNS Security using the SSL Trust Infrastructure (Abstract)

Christof Fetzer , Dresden University of Technology Department of Computer Science Institute for System Architecture, 01062 Dresden, Germany
Trevor Jim , AT&T Labs-Research 180 Park Ave., Florham Park, NJ, 07932, USA
Gert Pfeifer , Dresden University of Technology Department of Computer Science Institute for System Architecture, 01062 Dresden, Germany
pp. 21-27

An Adaptable Security Framework for Service-based Systems (Abstract)

Luping Zhu , Arizona State University, Tempe, AZ
Stephen S. Yau , Arizona State University, Tempe, AZ
Zhaoji Chen , Arizona State University, Tempe, AZ
Yisheng Yao , Arizona State University, Tempe, AZ
pp. 28-35

An RBAC Framework for Time Constrained Secure Interoperation in Multi-domain Environments (Abstract)

Smithi Piromruen , Department of Information Sciences and Telecommunications, University of Pittsburgh
James B. D. Joshi , Department of Information Sciences and Telecommunications, University of Pittsburgh
pp. 36-48
Resources Allocation and Scheduling

Issues in Providing Quality of Service in a Joint Battlespace Infosphere (Abstract)

Jamie Lawson , BBN Technologies, Cambridge, MA
Joseph Loyall , BBN Technologies, Cambridge, MA
Gary Duzan , BBN Technologies, Cambridge, MA
pp. 49-58

A Real-Time Distributed Scheduling Service For Middleware Systems (Abstract)

Victor Fay-Wolfe , University of Rhode Island, Department of Computer Science, Kingston, RI 02881 USA
Lisa DiPippo , University of Rhode Island, Department of Computer Science, Kingston, RI 02881 USA
Kevin Bryan , University of Rhode Island, Department of Computer Science, Kingston, RI 02881 USA
Jiangyin Zhang , University of Rhode Island, Department of Computer Science, Kingston, RI 02881 USA
Matthew Murphy , University of Rhode Island, Department of Computer Science, Kingston, RI 02881 USA
pp. 59-65

Concurrency Control on Distributed Objects using Role Ordering (RO) Scheduler (Abstract)

Makoto Takizawa , Department of Computers and Systems Engineering,Tokyo Denki University
Tomoya Enokido , Department of Computers and Systems Engineering,Tokyo Denki University
pp. 66-73

Deterministic Scheduling for Multithreaded Replicas (Abstract)

P. M. Melliar-Smith , Department of Electrical and Computer Engineering University of California, Santa Barbara, CA
L. E. Moser , Department of Electrical and Computer Engineering University of California, Santa Barbara, CA
Wenbing Zhao , Department of Electrical and Computer Engineering Cleveland State University, Cleveland, OH
pp. 74-81

Improving the Real-time Behaviour of a Multithreaded Java Microcontroller by Control Theory and Model Based Latency Prediction (Abstract)

Mathias Pacher , Institute for Process Control and Robotics University of Karlsruhe
Uwe Brinkschulte , Institute for Process Control and Robotics University of Karlsruhe
pp. 82-96
Applications

Development Of The Warfighting Architecture Requirements (War) Tool (Abstract)

George F. Hurlburt , WAR Principal Investigator Naval Air Warfare Center-Aircraft Division Patuxent River, Md
pp. 97-104

JavaMaC and Runtime Monitoring for Geoinformatics Grid Services (Abstract)

Ann Q. Gates , Department of Computer Science The University of Texas at El Paso
Oleg Sokolsky , Department of Computer and Information Sciences University of Pennsylvania
Steve Roach , Department of Computer Science The University of Texas at El Paso
Irbis Gallegos , Department of Computer Science The University of Texas at El Paso
Omar Ochoa , Department of Computer Science The University of Texas at El Paso
pp. 105-112

Error Recovery for a Boiler System with OTS PID Controller (Abstract)

Steve Riddle , School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK
Mei Feng , School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK
Alexander Romanovsky , School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK
Tom Anderson , School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK
pp. 113-120

Real-Time Data Fusion Technique for Validation of an Autonomous System (Abstract)

Bojan Cukic , Lane Department of Computer Science and Electrical Engineering West Virginia University Morgantown, WV
Sampath Yerramalla , Lane Department of Computer Science and Electrical Engineering West Virginia University Morgantown, WV
Martin Mladenovski , Lane Department of Computer Science and Electrical Engineering West Virginia University Morgantown, WV
Dejan Desovski , Lane Department of Computer Science and Electrical Engineering West Virginia University Morgantown, WV
pp. 121-128

Distributed Computing Based Streaming and Play of Music Ensemble Realized Through TMO Programming (Abstract)

Emmanuel Henrich , DREAM Lab University of California, Irvine
Seung-Mok Yoo , DREAM Lab University of California, Irvine
Qian Zhou , DREAM Lab University of California, Irvine
K. H. (Kane) Kim , DREAM Lab University of California, Irvine
Sheng Liu , DREAM Lab University of California, Irvine
Chansik Im , DREAM Lab University of California, Irvine
Liang-Chen Zheng , DREAM Lab University of California, Irvine
Yuqing Li , DREAM Lab University of California, Irvine
Moon-Cheol Kim , DREAM Lab University of California, Irvine
Sung-Jin Kim , DREAM Lab University of California, Irvine
pp. 129-138
Web Services and Service-Oriented Architecture I

Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems (Abstract)

Ray Paul , Department of Computer Science and Engineering, Arizona State University, Tempe, AZ
Wei-Tek Tsai , Department of Computer Science and Engineering, Arizona State University, Tempe, AZ
Yinong Chen , Department of Computer Science and Engineering, Arizona State University, Tempe, AZ
pp. 139-147

Evaluation of Fault-tolerant Distributed Web Systems (Abstract)

In Han , Bank Town Co. Seoul, Korea
Y. S. Hong , Dongguk University, Seoul, Korea
J. H. No , Dongguk University, Seoul, Korea
pp. 148-151

Agent-Oriented Modelling and Specification of Web Services (Abstract)

Hong Zhu , Dept of Comp., Oxford Brookes Univ.Oxford , UK
Lijun Shan , Dept of Comp. Sci., National Univ. of Def. Tech. Changsha, China
pp. 152-159

A Multi-Granularity Energy Profiling Approach and a Quantitative Study of a Web Browser (Abstract)

Ai-Chun Pang , Institute of Networking and Multimedia National Taiwan University, Taipei, Taiwan, ROC
Chen-Ting Chuang , Department of Computer Science and Information Engineering
Tei-Wei Kuo , Institute of Networking and Multimedia National Taiwan University, Taipei, Taiwan, ROC
Chin-Fu Kuo , 1Department of Computer Science and Information Engineering
pp. 160-170
Web Services and Services-Oriented Architecture II

An Ontology-Based Approach for Determining the Dependability of Service-Oriented Architectures (Abstract)

Binka Gwynne , School of Computing,University of Leeds,Leeds, UK
Malcolm Munro , Department of Computer Science, University of Durham, Durham, UK
Jie Xu , School of Computing,University of Leeds,Leeds, UK
Nik Looker , Department of Computer Science, University of Durham, Durham, UK
pp. 171-178

Progressive Ranking and Composition of Web Services Using Covering Arrays (Abstract)

Wei-Tek Tsai , Department of Computer Science and Engineering, Arizona State University,Tempe, AZ.
Yinong Chen , Department of Computer Science and Engineering, Arizona State University,Tempe, AZ.
Charles J. Colbourn , Department of Computer Science and Engineering, Arizona State University,Tempe, AZ.
pp. 179-185

A Trustworthy Web Services Framework for Business Processes Integration (Abstract)

Stephen J. H. Yang , National Central University, Taiwan
Blue C. W. Lan , National Central University, Taiwan
Jen-Yao Chung , IBM T. J. Watson Research Center USA
pp. 186-196
System Design 1

Speci.cation, Analysis and Implementation of Architectural Patterns for Dependable Software Systems (Abstract)

Supratik Mukhopadhyay , West Virginia University, Morgantown, WV 26506 USA
Ramesh Bharadwaj , Naval Research Laboratory, Washington, DC 20375 USA
Stephen S. Yau , Arizona State University, Tempe, AZ 85287 USA
pp. 197-204

Experiments with WCET-Oriented Programming and the Single-Path Architecture (Abstract)

Peter Puschner , Department of Computer Science, nVienna University of Technology, Austria
pp. 205-210

Oparating Systems For Building Robust Embedded SDystem (Abstract)

Midori Sugaya , Department of Computer Science, Waseda University
Shuichi Oikawa , Graduate School of Systems and Information Engineering, University of Tsukuba
Tatsuo Nakajima , Department of Computer Science, Waseda University
pp. 211-218

A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation (Abstract)

Herve Duchesne , Obasco Group, EMN-INRIA, LINA 44307 Nantes Cedex 3, France
Julia L. Lawall , DIKU, University of Copenhagen 2100 Copenhagen, Denmark
Gilles Muller , Obasco Group, EMN-INRIA, LINA 44307 Nantes Cedex 3, France
pp. 219-230
System Design II

A Framework for Middleware Supporting Real-Time Wide-Area Distributed Computing (Abstract)

Stephen Jenks , Electrical Eng. and Computer Science Dept. University of California, Irvine
Andrew Chien , Dept. of Computer Science and Engineering University of California, San Diego
Larry Smarr , Dept. of Computer Science and Engineering University of California, San Diego
Liang-Chen Zheng , Dept. of Computer Science and Engineering University of California, San Diego
K. H. (Kane) Kim , Electrical Eng. and Computer Science Dept. University of California, Irvine
pp. 231-240

Virtual Networks in an Integrated Time-Triggered Architecture (Abstract)

R. Obermaisser , Vienna University of Technology, Austria
P. Peti , Vienna University of Technology, Austria
H. Kopetz , Vienna University of Technology, Austria
pp. 241-253

A Graph-Based Model for Component-Based Software Development (Abstract)

Arif Ghafoor , Purdue University School of Electrical and Computer Engineering, West Lafayette, IN, USA
Sahra Sedigh-Ali , University of Missouri-Rolla Department of Electrical and Computer Engineering Rolla, MO, USA
pp. 254-262
Dependability, Reliability and Robustness I

Empirical Assessment of Machine Learning based Software Defect Prediction Techniques (Abstract)

Farokh B. Bastani , Department of Computer Science, University of Texas at Dallas, TX
Venkata U.B. Challagulla , Department of Computer Science, University of Texas at Dallas, TX
Raymond A. Paul , OASD/C31/Y2K Department of Defense
I-Ling Yen , Department of Computer Science, University of Texas at Dallas, TX
pp. 263-270

Reliable Monitoring of Network-related Performance Parameters inWireless Environments (Abstract)

Domenico Cotroneo , Dipartimento di Informaticae Sistemistica Universita di Napoli Federico II Via Claudio,Napoli, Italy
Armando Migliaccio , Dipartimento di Informaticae Sistemistica Universita di Napoli Federico II Via Claudio,Napoli, Italy
Stefano Russo , ITEM - Laboratorio nazionale per l?Informatica e la Telematica Consorzio Interuniversitario Nazionale per l?Informatica, Napoli, Italy
pp. 271-278

Object-Based Commutativity Analysis for Real-Time Applications (Abstract)

Anand Tripathi , Department of Computer Science and Engineering University of Minnesota, Minneapolis MN
John Eberhard , Department of Computer Science and Engineering University of Minnesota, Minneapolis MN
pp. 279-286

Towards a Flow Analysis for Embedded System C Programs (Abstract)

Jan Gustafsson , Mälardalen University
Björn Lisper , Mälardalen University
Andreas Ermedahl , Mälardalen University
pp. 287-300
Dependability, Reliability and Robustness II

A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP (Abstract)

Azamatbek Mametjanov , University of Nebraska at Omaha Department of Computer Science
Steve Roach , University of Texas at El Paso Department of Computer Science
Jason Beranek , University of Nebraska at Omaha Department of Computer Science
Fares Fraij , University of Texas at El Paso Department of Computer Science
Victor L. Winter , University of Nebraska at Omaha Department of Computer Science
pp. 301-311

Model-Based Integration of Safety Analysis and Reliable Software Development (Abstract)

Miguel A. de Miguel , E.T.S.I. Telecomunicaci?n Ciudad Universitaria, Madrid Spain
Thierry Person , Thales-ATM
Javier Fernandez , E.T.S.I. Telecomunicaci?n Ciudad Universitaria, Madrid Spain
Bernard Pauly , Thales-ATM
pp. 312-319

Towards a Dependable Component Technology for Embedded System Applications (Abstract)

Mikael ?kerholm , M?lardalen Real-Time Research Centre, M?lardalen University, Sweden
Mikael Nolin , M?lardalen Real-Time Research Centre, M?lardalen University, Sweden
Anders M?ller , M?lardalen Real-Time Research Centre, M?lardalen University, Sweden
Hans Hansson , M?lardalen Real-Time Research Centre, M?lardalen University, Sweden
pp. 320-328

Design and Implementation of Fault-Tolerant Transactional Agents for Manipulating Distributed Objects (Abstract)

Makoto Takizawa , Tokyo Denki University, Japan
Tomoya Enokido , Tokyo Denki University, Japan
Youhei Tanaka , Tokyo Denki University, Japan
pp. 329-336

Towards Self-Healing Systems via Dependable Architecture and (Abstract)

Wei-Tek Tsai , Department of Computer Science and Engineering, Arizona State University, Tempe, AZ
Hong MEI , School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China.
Gang HUANG , School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China.
pp. 337-346
Real-Time Systems

Dynamic Reconfiguration of Component-based Real-time Software (Abstract)

Andreas Rasche , Hasso-Plattner-Institute at University of Potsdam Potsdam, Germany
Andreas Polze , Hasso-Plattner-Institute at University of Potsdam Potsdam, Germany
pp. 347-354

On Constructing Overlay Network to Support Distributed Real-Time Virtual Environment Applications (Abstract)

Vana Kolageraki , Department of Computer Science and Engineering, University of Californai, Riverside, CA
Fang Chen , Department of Computer Science and Engineering, University of Californai, Riverside, CA
pp. 355-362

Delay Analysis for Statistical Real-Time Channels in Mobile Ad-Hoc Networks (Abstract)

Min-Gu Lee , Electrical and Computer Engineering Division Pohang Univ. of Science and Technology (POSTECH) Dong Pohang, South Korea
Sunggu Lee , Electrical and Computer Engineering Division Pohang Univ. of Science and Technology (POSTECH) Dong Pohang, South Korea
pp. 363-370

Autonomous Agents and Anticipative Systems (Abstract)

Marco A. Ramos , UT1/IRIT, All?es de Brienne, 31042 Toulouse cedex, France
F?lix Ramos , CINVESTAV GDL., Guadalajara, M?xico
pp. 371-377

Design Exploration in Hw/Sw Co-design of Real-Time Object-oriented Embedded Systems: the Scheduler Object (Abstract)

Carlos Eduardo Pereira , Electrical Engineering Department, Federal University of Rio Grande do Sul, Brazil
Fl?vio Rech Wagner , Computer Science Inst., Federal University of Rio Grande do Sul, Brazil
Elias Teodoro Jr Silva , Computer Science Inst., Federal University of Rio Grande do Sul, Brazil
Leandro Buss Becker , Automation and Control Systems Department, Federal University of Santa Catarina, Brazil,
Marco A. Wehrmeister , Computer Science Inst., Federal University of Rio Grande do Sul, Brazil
pp. 378-388
Embedded and Distributed Systems

An FPGA-based Key-Store for Improving the Dependability of Security Services (Abstract)

Alessandro Cilardo , Universita? degli Studi di Napoli Federico II Dipartimento di Informatica e Sistemistica via Claudio, Napoli, Italy
Luigi Romano , Universita? Parthenope Dipartimento per le Tecnologie Via Amm. Napoli, Italy
Antonino Mazzeo , Universita? degli Studi di Napoli Federico II Dipartimento di Informatica e Sistemistica via Claudio, Napoli, Italy
pp. 389-396

Distributed Scalable Location Data Management System Based on the GALIS Architecture (Abstract)

Moon Hae Kim , Konkuk University, Seoul, Korea
Ho Lee , Dankook University, Seoul, Korea
Woon Joo Lee , Dankook University, Seoul, Korea
Yunmook Nah , Dankook University, Seoul, Korea
Joonwoo Lee , Dankook University, Seoul, Korea
Ki-Joon Han , Konkuk University, Seoul, Korea
pp. 397-404

A Framework for Preparing Experimental Evaluation of Rerouting Mechanisms (Abstract)

Reinaldo de B. Correia , N?cleo de Computa??o Eletr?nica Universidade Federal do Rio de Janeiro, Rio de Janeiro ? RJ, Brasil
Luiz F. Rust Carmo , N?cleo de Computa??o Eletr?nica Universidade Federal do Rio de Janeiro, Rio de Janeiro - RJ, Brasil
Luci Pirmez , N?cleo de Computa??o Eletr?nica Universidade Federal do Rio de Janeiro, Rio de Janeiro - RJ, Brasil
Luiz F. H. Bacellar , United Technologies Research Center 411 Silver Lane, East Hartford, CT, USA
pp. 405-412

Functional and Non-Functional Properties in a Family of Embedded Operating Systems (Abstract)

Olaf Spinczyk , Friedrich-Alexander University of Erlangen-Nuremberg Department of Computer Sciences Martensstr. Erlangen, Germany
Daniel Lohmann , Friedrich-Alexander University of Erlangen-Nuremberg Department of Computer Sciences Martensstr. Erlangen, Germany
Wolfgang Schroder-Preikschat , Friedrich-Alexander University of Erlangen-Nuremberg Department of Computer Sciences Martensstr. Erlangen, Germany
pp. 413-420
Author Index

Author Index (Abstract)

pp. 421-423
88 ms
(Ver 3.3 (11022016))