Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

by Kordon, Fabrice; Sztipanovits, Janos

• ISBN13: 9783540711551
• ISBN10: 3540711554
• Format: Paperback
• Copyright: 2007-04-03
• Publisher: Springer Verlag

Summary

This book constitutes the thoroughly refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with special focus on realization of reliable systems on top of unreliable networked platforms, held in Laguna Beach, CA, USA, in September 2005. The 6 revised full papers presented together with 10 papers contributed by the invited speakers were carefully selected during two rounds of reviewing and improvement from numerous submissions. Major issues covered by the workshop contributions are model-based software development of network-centric system-of-systems, foundations of future design and programming abstractions, active fault management in network-centric systems, intelligent and robust middleware, as well as model-based development of certifiable systems.

Table of Contents

Reinventing Computing for Real Time	p. 1
Applying Service-Oriented Development to Complex Systems: BART Case Study	p. 26
Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study	p. 47
The GridLite Dream: Bringing the Grid to Your Pocket	p. 70
DARX - A Self-healing Framework for Agents	p. 88
Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN)	p. 106
A Factory to Design and Build Tailorable and Verifiable Middleware	p. 121
A Concurrency Abstraction for Reliable Sensor Network Applications	p. 143
Outdoor Distributed Computing with Split Smart Messages	p. 161
Towards a Real-Time Coordination Model for Mobile Computing	p. 184
Dynamic System Reconfiguration Via Service Composition for Dependable Computing	p. 203
A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems	p. 225
Providing Dependable Services with Unreliable SoCs-The DECOS Approach	p. 248
Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems	p. 258
Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems	p. 281
Approaches for Inheritance in the TMO Programming Scheme	p. 304
Author Index	p. 317
Table of Contents provided by Ingram. All Rights Reserved.