Control-based operating system design