Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected PapersFabrice Kordon, Janos Sztipanovits Springer, 2007. gada 21. jūn. - 320 lappuses This book constitutes the 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 in September 2005. Coverage includes model-based software development of network-centric system-of-systems, foundations of future design and programming abstractions, and intelligent and robust middleware. |
Saturs
| 1 | |
BART Case Study | 26 |
A Train Controller Case Study | 47 |
Bringing the Grid toYour Pocket | 70 |
DARX A Selfhealing Framework for Agents | 88 |
Nautical Predictive Routing Protocol NPRPfor the Dynamic AdHoc Nautical NetworkDANN | 106 |
A Factory to Design and BuildTailorable and Verifiable Middleware | 121 |
A Concurrency Abstraction for Reliable SensorNetwork Applications | 143 |
Towards a RealTime Coordination Model for MobileComputing | 184 |
Dynamic System Reconfiguration Via ServiceComposition for Dependable Computing | 203 |
A ComponentBased Approach for ConstructingHighConfidence Distributed RealTime andEmbedded Systems | 225 |
Providing Dependable Services withUnreliable SoCsThe DECOS Approach | 248 |
Modeling and Verification of CooperativeSelfadaptive Mechatronic Systems | 258 |
Architectural Design Behavior Modeling andRunTime Verification of Network EmbeddedSystems | 281 |
Approaches for Inheritancein the TMO Programming Scheme | 304 |
Author Index | 317 |
Citi izdevumi - Skatīt visu
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop ... Fabrice Kordon,Janos Sztipanovits Priekšskatījums nav pieejams - 2007 |
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop ... Fabrice Kordon,Janos Sztipanovits Priekšskatījums nav pieejams - 2009 |
Bieži izmantoti vārdi un frāzes
AADL abstraction acceleration actions active adaptation agent allows analysis application approach architecture assertions behavior blocks called commands communication complex components computing concurrency configuration connectivity consists constraints contains context coordination corresponding create defined dependencies described devices discovery distributed domain DRS agent dynamic elements embedded Engineering environment event example execution express failure fault Figure formal function future given graph grid implementation input integrated interaction interface International language mechanisms methods middleware mobile nodes object operation pattern performance platform possible present problem programming properties proposed protocol real-time receive reconfiguration replication represent request requirements role rules safety sensors sequence server space specification statechart step structure tasks techniques thread tion track train transition tuple variables vehicle verification
Populāri fragmenti
301. lappuse - The US Government is authorized to reproduce and distribute reprints for Government purposes notwithstanding any copyright notation thereon.
91. lappuse - This model stipulates that, for every execution, there are bounds on process speeds and on message transmission times. However, these bounds are not known and in our model they hold only after some unknown time: the global stabilization time.
308. lappuse - The TMO incorporates deadlines in the most general form. Basically, for output actions and method completions of a TMO, the designer guarantees and advertises execution time-windows bounded by start times and completion times. In addition, deadlines can be specified in the client's calls for service methods for the return of the service results.
307. lappuse - SpM executions are triggered upon reaching of the real-time clock at specific values determined at the design time whereas the SvM executions are triggered by service request messages from clients. Moreover, actions to be taken at real times which can be determined at the design time can appear only in SpMs. (c) Basic concurrency...
105. lappuse - Kalbarczyk. RK Iyer. S. Bagchi, K. Whisnant, "Chameleon: A Software Infrastructure for Adaptive Fault Tolerance", IEEE Transactions on Parallel and Distributed Systems, vol.
307. lappuse - SpM appear in the first clause of an SpM specification called the autonomous activation condition (AAC) section. An example of an AAC is "for t = from 10am to 10:50am every 30min start -during (t, t+5min) finish-by t+lOmin...
257. lappuse - Impact of CMOS technology scaling on the atmospheric neutron soft error rate," IEEE Transactions on Nuclear Science, vol.
24. lappuse - E. Kohler, R. Morris, B. Chen, J. Jannotti, and MF Kaashoek. The click modular router.
182. lappuse - In Proceedings of the 29th Annual ACM Symposium on Theory of Computing (STOC), pages 654-663, 1997. [17] B. Karp and HT Kung. GPSR: greedy perimeter stateless routing for wireless networks. In Proceedings of the 6th annual international conference on Mobile computing and networking, pages 243-254. ACM Press, 2000. [18] G. Karumanchi, S. Muralidharan, and R. Prakash. Information dissemination in partitionable mobile ad hoc networks.
25. lappuse - J. Pino, S. Ha, EA Lee, and JT Buck. Software synthesis for DSP using Ptolemy.