Reliable systems on unreliable networked platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers /
Reliable systems on unreliable networked platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers /
Fabrice Kordon, Janos Sztipanovits (eds.).
- Berlin ; New York : Springer, ©2007.
- 1 online resource (xiv, 316 pages) : illustrations
- Lecture notes in computer science ; 4322 .
- Lecture notes in computer science ; 4322. .
Includes bibliographical references and index.
Cover -- Table of Contents -- Reinventing 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 -- Author Index -- Last Page.
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.
9783540711568 3540711562 3540711554 9783540711551 6610935785 9786610935789
10.1007/978-3-540-71156-8 doi
978-3-540-71155-1 Springer http://www.springerlink.com
982970463 DE-101
Computer software--Development--Congresses.
Software architecture--Development--Congresses.
Computer systems--Reliability--Congresses.
Architecture logicielle--Développement--Congrès.
Systèmes informatiques--Fiabilité--Congrès.
COMPUTERS--Programming--Open Source.
COMPUTERS--Software Development & Engineering--Tools.
COMPUTERS--Software Development & Engineering--General.
Informatique.
Computer software--Development
Computer systems--Reliability
programmeren programming systeemanalyse systems analysis computerwetenschappen computer sciences computernetwerken computer networks programmeertalen programming languages software engineering Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.76.D47 / R46 2007eb
005.1
Includes bibliographical references and index.
Cover -- Table of Contents -- Reinventing 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 -- Author Index -- Last Page.
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.
9783540711568 3540711562 3540711554 9783540711551 6610935785 9786610935789
10.1007/978-3-540-71156-8 doi
978-3-540-71155-1 Springer http://www.springerlink.com
982970463 DE-101
Computer software--Development--Congresses.
Software architecture--Development--Congresses.
Computer systems--Reliability--Congresses.
Architecture logicielle--Développement--Congrès.
Systèmes informatiques--Fiabilité--Congrès.
COMPUTERS--Programming--Open Source.
COMPUTERS--Software Development & Engineering--Tools.
COMPUTERS--Software Development & Engineering--General.
Informatique.
Computer software--Development
Computer systems--Reliability
programmeren programming systeemanalyse systems analysis computerwetenschappen computer sciences computernetwerken computer networks programmeertalen programming languages software engineering Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.76.D47 / R46 2007eb
005.1