Reliable systems on unreliable networked platforms

InhaltsverzeichnisReinventing Computing for Real Time.Applying Service-Oriented Development to Complex Systems: BART Case Study.Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study.The GridLite DREAM: Bringing the Grid to Your Pocket.DARX - A Self-healing Framework for Agents.Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN).A Factory to Design and Build Tailorable and Verifiable Middleware.A Concurrency Abstraction for Reliable Sensor Network Applications.Outdoor Distributed Computing with Split Smart Messages.Towards a Real-Time Coordination Model for Mobile Computing.Dynamic System Reconfiguration Via Service Composition for Dependable Computing.A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems.Providing Dependable Services with Unreliable SoCs—The DECOS Approach.Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems.Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems.Approaches for Inheritance in the TMO Programming Scheme.