CSDL - Proceedings I

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-viii

Message from the Symposium Co-Chairs (PDF)

pp. ix

Message from the Program Co-Chairs (PDF)

pp. x

Conference Committees (PDF)

pp. xi-xiii

Secondary Reviewers (PDF)

pp. xiv

Fundamental Design Principles for Embedded Systems: The Architectural Style of the Cross-Domain Architecture GENESYS (Abstract)

pp. 3-11

PDF

Delivering Sustainable Capability on Evolutionary Service-oriented Architecture (Abstract)

Lu Liu

Jie Xu

pp. 12-19

PDF

Towards an Open Dependable Operating System (Abstract)

Lei Sun

pp. 20-27

PDF

JEOPARD -- Java Environment for Parallel Real-Time Development (Abstract)

Fridtjof Siebert

pp. 28-36

PDF

Towards Configurable Real-Time Hybrid Structural Testing: A Cyber-Physical System Approach (Abstract)

pp. 37-44

PDF

Fault-Tolerance for Component-Based Systems - An Automated Middleware Specialization Approach (Abstract)

pp. 47-54

PDF

Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems (Abstract)

pp. 55-62

PDF

Embedded JIT Compilation with CACAO on YARI (Abstract)

pp. 63-70

PDF

A Document Centric Framework for Building Distributed Smart Object Systems (Abstract)

Fahim Kawsar

Tatsuo Nakajima

pp. 71-79

PDF

A Reconfigurable Virtual Storage Device (Abstract)

pp. 80-87

PDF

Model-Driven Design and Organic Computing - Contradictory or Synergetic Approaches to Overcome the Embedded Software Crisis (Abstract)

Uwe Brinkschulte

pp. 91-92

PDF

Model-Driven Design and Organic Computing -- Two Different but Possibly Accordable Concepts for the Design of Embedded Systems (Abstract)

Dietmar Fey

pp. 93-94

PDF

Organic Computing and Model-Driven Engineering in Embedded Systems (Abstract)

Mike Hinchey

Roy Sterritt

pp. 95-96

PDF

Model Driven Design and Organic Computing -- From the Viewpoint of Application Production (Abstract)

Tomoji Kishi

pp. 97-98

PDF

Model Driven Engineering versus Organic Computing, Two Complementary Approaches (Abstract)

Fabrice Kordon

pp. 99-100

PDF

Model-Driven Design and Organic Computing -- Combinable Strategies? (Abstract)

Peter Puschner

Raimund Kirner

pp. 101

PDF

Project Report: Toward the Realization of Highly Reliable Embedded Systems (Abstract)

pp. 105-111

PDF

HELISCOPE Project: Research Goal and Survey on Related Technologies (Abstract)

pp. 112-118

PDF

Fieldwork and the 4:6 Principle - Introduction to the Research Center for Verification and Semantics, AIST (Abstract)

Yoshiki Kinoshita

pp. 119-124

PDF

Property Preservation and Composition with Guarantees: From ASSERT to CHESS (Abstract)

Tullio Vardanega

pp. 125-132

PDF

Intelligent Resource Management and Dynamic Adaptation in a Distributed Real-time and Embedded Sensor Web System (Abstract)

pp. 135-142

PDF

Real-Time Scheduling of Weighted Jobs with Multiple Feasible Intervals (Abstract)

Jun Wu

Jian-Jia Chen

pp. 143-147

PDF

Achieving High-Level QoS in Multi-Party Video-Conferencing Systems via Exploitation of Global Time (Abstract)

pp. 151-160

PDF

Extended RT-Component Framework for RT-Middleware (Abstract)

pp. 161-168

PDF

Quality of Service Composition and Adaptability of Software Architectures (Abstract)

pp. 169-173

PDF

New Methods and Tools for Developing Real-Time Software (Abstract)

Bran Selic

pp. 177-178

PDF

Robust Mesh-Based Data Delivery over Multiple Tree-Shaped Routes in P2P Overlay Network (Abstract)

Suphakit Awiphan

Su Zhou

Jiro Katto

pp. 181-187

PDF

Realization of Fault-Tolerant Home Network Management Middleware with the TMO Structuring Approach and an Integration of Fault Detection and Reconfiguration Mechanisms (Abstract)

pp. 188-197

PDF

Multimedia Chat for Helpdesks: A Requirements Study, a Practical SOA Architecture, and an Interface Prototype (Abstract)

pp. 198-205

PDF

Communication Primitives for Real-Time Distributed Synchronization over Small Area Networks (Abstract)

Sang-Hun Lee

Hyun-Wook Jin

pp. 206-210

PDF

An Efficient TCP/IP Offload Embedded System with Deterministic Buffering Processes (Abstract)

pp. 211-215

PDF

RealSpec: An Executable Specification Language for Modeling Control Systems (Abstract)

Amir A. Khwaja

Joseph E. Urban

pp. 219-227

PDF

From Requirements to Code Revisited (Abstract)

pp. 228-235

PDF

Component Based Middleware-Synthesis for AUTOSAR Basic Software (Abstract)

pp. 236-243

PDF

Estimation of Real-Time Software Code Size using COSMIC FSM (Abstract)

Kenneth Lind

Rogardt Heldal

pp. 244-248

PDF

Marie-Agnès Peraldi-Frati

Marte CCSL to Execute East-ADL Timing Requirements (Abstract)

Frédéric Mallet

Charles André

pp. 249-253

PDF

A Lightweight Anomaly Detection System for Information Appliances (Abstract)

pp. 257-266

PDF

Extending Component-Based Approaches for Multithreaded Design of Multiprocessor Embedded Software (Abstract)

pp. 267-274

PDF

Thread-Local Scope Caching for Real-time Java (Abstract)

Andy Wellings

Martin Schoeberl

pp. 275-282

PDF

Online Self-Healing Support for Embedded Systems (Abstract)

Lei Sun

pp. 283-287

PDF

Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach (Abstract)

pp. 288-292

PDF

Resource Scopes: Toward Language Support for Compositional Determinism (Abstract)

Madhukar Anand

Sebastian Fischmeister

Insup Lee

pp. 295-304

PDF

On the Semantics of UML/MARTE Clock Constraints (Abstract)

Frédéric Mallet

Charles André

pp. 305-312

PDF

From AADL Architectural Models to Petri Nets: Checking Model Viability (Abstract)

pp. 313-320

PDF

How to Model a Real-Time Database? (Abstract)

pp. 321-325

PDF

Detecting and Analyzing State Inconsistencies in Multi-task Software (Abstract)

pp. 326-330

PDF

Author Index (PDF)

pp. 331-332

Roster Page (PDF)

pp. 334