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 include 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.
Author(s): Edward A. Lee, Yang Zhao (auth.), Fabrice Kordon, Janos Sztipanovits (eds.)
Series: Lecture Notes in Computer Science 4322 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2007
Language: English
Pages: 320
Tags: Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Computer Communication Networks; System Performance and Evaluation
Front Matter....Pages -
Reinventing Computing for Real Time....Pages 1-25
Applying Service-Oriented Development to Complex Systems: BART Case Study....Pages 26-46
Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study....Pages 47-69
The GridLite DREAM: Bringing the Grid to Your Pocket....Pages 70-87
DARX - A Self-healing Framework for Agents....Pages 88-105
Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN)....Pages 106-120
A Factory to Design and Build Tailorable and Verifiable Middleware....Pages 121-142
A Concurrency Abstraction for Reliable Sensor Network Applications....Pages 143-160
Outdoor Distributed Computing with Split Smart Messages....Pages 161-183
Towards a Real-Time Coordination Model for Mobile Computing....Pages 184-202
Dynamic System Reconfiguration Via Service Composition for Dependable Computing....Pages 203-224
A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems....Pages 225-247
Providing Dependable Services with Unreliable SoCs—The DECOS Approach....Pages 248-257
Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems....Pages 258-280
Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems....Pages 281-303
Approaches for Inheritance in the TMO Programming Scheme....Pages 304-316
Back Matter....Pages -
