ABSTRACT
CONTENTS 15.1 Introduction 396 15.2 CPS and Cloud Computing Fault Tolerance 399
15.2.1 Physical Cloud Layout 400 15.2.2 Software-Dened Network 401 15.2.3 Critical Services of the CPS Cloud 402 15.2.4 Fault Tolerant Design Patterns 404
15.2.4.1 Phases of Fault Tolerance 404 15.2.5 Infrastructural Patterns 405
15.2.5.1 IaaS Aspects 405 15.2.5.2 CPS Aspects 406 15.2.5.3 Pattern Context 407
15.3 Model-Driven Complex Event Processing for CPS 407 15.3.1 Property Denition 410 15.3.2 Model-Driven Rule Denition 411 15.3.3 Event Patterns 412
15.4 Runtime Verication for CPS Components 412 15.4.1 Specication of Properties 413 15.4.2 Timing Extensions 414 15.4.3 Context Related Extensions 414 15.4.4 The Elements of CaTL 415 15.4.5 Synthesis of Checking Automata 416
15.4.6 Time and Context Related Expressions 417 15.5 Conclusions 418 References 418
As described in Chapter 14, one of the core challenges in the evolving category of cloudbased cyber-physical systems (CPS) is the assurance of a proper service over dynamic, and aordability of common-quality clouds.
