Cyber-physical operating systems — What are the right abstractions?

While the future importance of cyber-physical systems is widely acknowledged, there is surprisingly rare discussion about the design of operating systems for these kinds of systems. We present an extended view on the low-level abstractions to be offered by the operating system to applications. The central idea is the treatment of all relevant cyber-physical entities as task execution resource, which directly impacts the representation of tasks, communication and memory in the application programming interface. The resulting concept framework can serve as starting point for future research in this field.

[1]  Xiao-Zhou Du,et al.  The Design of Node Operating System for Cyber Physical Systems , 2012 .

[2]  John von Neumann,et al.  First draft of a report on the EDVAC , 1993, IEEE Annals of the History of Computing.

[3]  Daniel Graff,et al.  Distributed Active Objects -- A Systemic Approach to Distributed Mobile Applications , 2011, 2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems.

[4]  Wolfgang De Meuter,et al.  A survey on reactive programming , 2013, CSUR.

[5]  Arthur I. Rubin.  Analog/hybrid: what it was, what it is, what it may be , 1970, AFIPS '70 (Fall).

[6]  Luca Faust,et al.  Modern Operating Systems , 2016 .

[7]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[8]  Katrina Falkner,et al.  THE PROVISION OF RELOCATION TRANSPARENCY THROUGH A FORMALISED NAMING SYSTEM IN A DISTRIBUTED MOBILE OBJECT SYSTEM , 2000 .

[9]  Edward A. Lee.  Cyber-physical Systems -are Computing Foundations Adequate? Position Paper for Nsf Workshop on Cyber-physical Systems: Research Motivation, Techniques and Roadmap , 1998 .

[10]  Kaushik Velusamy,et al.  Modern Operating Systems , 2015 .

[11]  Jerome H. Saltzer,et al.  End-to-end arguments in system design , 1984, TOCS.

[12]  Butler W. Lampson,et al.  Hints for Computer System Design , 1983, IEEE Software.

[13]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[14]  Edward A. Lee,et al.  Distributed Real-Time Software for Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[15]  William Stallings,et al.  Operating Systems: Internals and Design Principles , 1991 .