Modeling Timed Systems

摘要: This chapter is devoted to modeling timing in complex systems. We begin with a discussion of clocks, particular emphasis on multiform time. then illustrate how use time three problems. First, we consider clock synchronization, where network protocols are used correct clocks distributed systems ensure that the progress at approximately same rates. Second, problem assessing effect communication delays behavior And third, execution conclude an introduction programming model called Ptides makes possible whose unaffected by variations computation and networking, up point failure. The enables much more deterministic cyber-physical