Table of Contents

• Message from the Workshop Chairs [doi]
• Copyright [doi]
• Workshop Committees [doi]
• Title [doi]
• Message from the Program Chairs [doi]
• DoD Towards Software ServicesRaymond A. Paul. 3-6 [doi]
• Challenges for Critical Embedded SystemsHelen Gill. 7-12 [doi]
• A Role-Based Access Control Policy Verification Framework for Real-Time SystemsBasit Shafiq, Ammar Masood, James Joshi, Arif Ghafoor. 13-20 [doi]
• Enhancing DNS Security using the SSL Trust InfrastructureChristof Fetzer, Gert Pfeifer, Trevor Jim. 21-27 [doi]
• An Adaptable Security Framework for Service-based SystemsStephen S. Yau, Yisheng Yao, Zhaoji Chen, Luping Zhu. 28-35 [doi]
• An RBAC Framework for Time Constrained Secure Interoperation in Multi-domain EnvironmentsSmithi Piromruen, James B. D. Joshi. 36-48 [doi]
• Issues in Providing Quality of Service in a Joint Battlespace InfosphereJoseph P. Loyall, Jamie Lawson, Gary Duzan. 49-58 [doi]
• A Real-Time Distributed Scheduling Service For Middleware SystemsJiangyin Zhang, Lisa Cingiser DiPippo, Victor Fay Wolfe, Kevin Bryan, Matthew Murphy. 59-65 [doi]
• Concurrency Control on Distributed Objects using Role Ordering (RO) SchedulerTomoya Enokido, Makoto Takizawa. 66-73 [doi]
• Deterministic Scheduling for Multithreaded ReplicasWenbing Zhao, Louise E. Moser, P. M. Melliar-Smith. 74-81 [doi]
• Improving the Real-time Behaviour of a Multithreaded Java Microcontroller by Control Theory and Model Based Latency PredictionUwe Brinkschulte, Mathias Pacher. 82-96 [doi]
• Development Of The Warfighting Architecture Requirements (War) ToolGeorge F. Hurlburt. 97-104 [doi]
• JavaMaC and Runtime Monitoring for Geoinformatics Grid ServicesAnn Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky. 105-112 [doi]
• Error Recovery for a Boiler System with OTS PID ControllerTom Anderson, Mei Feng, Steve Riddle, Alexander Romanovsky. 113-120 [doi]
• Real-Time Data Fusion Technique for Validation of an Autonomous SystemBojan Cukic, Martin Mladenovski, Dejan Desovski, Sampath Yerramalla. 121-128 [doi]
• Distributed Computing Based Streaming and Play of Music Ensemble Realized Through TMO ProgrammingK. H. (Kane) Kim, Emmanuel Henrich, Chansik Im, Moon-Cheol Kim, Sung Jin Kim, Yuqing Li, Sheng Liu, Seung-Mok Yoo, Liangchen Zheng, Qian Zhou. 129-138 [doi]
• Specification-Based Verification and Validation of Web Services and Service-Oriented Operating SystemsWei-Tek Tsai, Yinong Chen, Raymond A. Paul. 139-147 [doi]
• Evaluation of Fault-tolerant Distributed Web SystemsY. S. Hong, J. H. No, In Han. 148-151 [doi]
• Agent-Oriented Modelling and Specification of Web ServicesHong Zhu, Lijun Shan. 152-159 [doi]
• A Multi-Granularity Energy Profiling Approach and a Quantitative Study of a Web BrowserChen-Ting Chuang, Chin-Fu Kuo, Tei-Wei Kuo, Ai-Chun Pang. 160-170 [doi]
• An Ontology-Based Approach for Determining the Dependability of Service-Oriented ArchitecturesNik Looker, Malcolm Munro, Binka Gwynne, Jie Xu. 171-178 [doi]
• Progressive Ranking and Composition of Web Services Using Covering ArraysCharles J. Colbourn, Yinong Chen, Wei-Tek Tsai. 179-185 [doi]
• A Trustworthy Web Services Framework for Business Processes IntegrationStephen J. H. Yang, Blue C. W. Lan, Jen-Yao Chung. 186-196 [doi]
• Specification, Analysis and Implementation of Architectural Patterns for Dependable Software SystemsStephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj. 197-204 [doi]
• Experiments with WCET-Oriented Programming and the Single-Path ArchitecturePeter P. Puschner. 205-210 [doi]
• Oparating Systems For Building Robust Embedded SDystemTatsuo Nakajima, Midori Sugaya, Shuichi Oikawa. 211-218 [doi]
• A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance EvaluationGilles Muller, Julia L. Lawall, Hervé Duchesne. 219-230 [doi]
• A Framework for Middleware Supporting Real-Time Wide-Area Distributed ComputingK. H. (Kane) Kim, Stephen F. Jenks, Larry Smarr, Andrew A. Chien, Liangchen Zheng. 231-240 [doi]
• Virtual Networks in an Integrated Time-Triggered ArchitectureRoman Obermaisser, Philipp Peti, Hermann Kopetz. 241-253 [doi]
• A Graph-Based Model for Component-Based Software DevelopmentSahra Sedigh-Ali, Arif Ghafoor. 254-262 [doi]
• Empirical Assessment of Machine Learning based Software Defect Prediction TechniquesVenkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul. 263-270 [doi]
• Reliable Monitoring of Network-related Performance Parameters inWireless EnvironmentsDomenico Cotroneo, Armando Migliaccio, Stefano Russo. 271-278 [doi]
• Object-Based Commutativity Analysis for Real-Time ApplicationsJohn Eberhard, Anand Tripathi. 279-286 [doi]
• Towards a Flow Analysis for Embedded System C ProgramsJan Gustafsson, Andreas Ermedahl, Björn Lisper. 287-300 [doi]
• A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSPVictor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach. 301-311 [doi]
• Model-Based Integration of Safety Analysis and Reliable Software DevelopmentMiguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernández Briones. 312-319 [doi]
• Towards a Dependable Component Technology for Embedded System ApplicationsMikael Åkerholm, Anders Möller, Hans Hansson, Mikael Nolin. 320-328 [doi]
• Design and Implementation of Fault-Tolerant Transactional Agents for Manipulating Distributed ObjectsYouhei Tanaka, Tomoya Enokido, Makoto Takizawa. 329-336 [doi]
• Towards Self-Healing Systems via Dependable Architecture andHong Mei, Gang Huang, Wei-Tek Tsai. 337-346 [doi]
• Dynamic Reconfiguration of Component-based Real-time SoftwareAndreas Rasche, Andreas Polze. 347-354 [doi]
• On Constructing Overlay Network to Support Distributed Real-Time Virtual Environment ApplicationsVana Kolageraki, Fang Chen. 355-362 [doi]
• Delay Analysis for Statistical Real-Time Channels in Mobile Ad-Hoc NetworksMin-Gu Lee, Sunggu Lee. 363-370 [doi]
• Autonomous Agents and Anticipative SystemsMarco A. Ramos, Félix F. Ramos. 371-377 [doi]
• Design Exploration in Hw/Sw Co-design of Real-Time Object-oriented Embedded Systems: the Scheduler ObjectElias Teodoro Silva Jr., Marco A. Wehrmeister, Leandro Buss Becker, Flávio Rech Wagner, Carlos Eduardo Pereira. 378-388 [doi]
• An FPGA-based Key-Store for Improving the Dependability of Security ServicesAlessandro Cilardo, Antonino Mazzeo, Luigi Romano. 389-396 [doi]
• Distributed Scalable Location Data Management System Based on the GALIS ArchitectureYunmook Nah, Joonwoo Lee, Woon Joo Lee, Ho Lee, Moon-hae Kim, Ki-Joon Han. 397-404 [doi]
• A Framework for Preparing Experimental Evaluation of Rerouting MechanismsReinaldo de Barros Correia, Luiz F. Rust da Costa Carmo, Luci Pirmez, Luiz F. Bacellar. 405-412 [doi]
• Functional and Non-Functional Properties in a Family of Embedded Operating SystemsDaniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk. 413-420 [doi]