Let’s Get Physical: Computer Science Meets Systems

摘要: In cyber-physical systems (CPS) computing, networking and control (typically regarded as the “cyber” part of system) are tightly intertwined with mechanical, electrical, thermal, chemical or biological processes (the “physical” part). The increasing sophistication heterogeneity these requires radical changes in way sense-and-control platforms designed to regulate them. this paper, we highlight some design challenges due complexity CPS. We argue that such can be addressed by leveraging concepts have been instrumental fostering electronic automation while dealing VLSI system design. Based on concepts, introduce a methodology whereby platform-based is combined assume-guarantee contracts formalize process enable realization CPS architectures software hierarchical compositional manner. demonstrate our approach prototype an aircraft electric power system.