Interoperation and Adaptation for Real-World Computing

ABSTRACT This paper discusses a consumer centric view of cyber physical systems and its requirements. It proposes using adaptation through observation based predictions to achieve predictable time and reliability. It proposes new directions in security research that is based on consumer electronics needs. It stipulates that interoperation is crucial and new methods for programming what happens between machines rather than within machines, are required. Finally, systems and theory must meet and verification and online model checking is proposed to achieve an increase in robustness.