OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Modeling Timed Systems

Cardoso, Janette and Derler, Patricia and Eidson, John and Lee, Edward A. and Matic, Slobodan and Zhao, Yang and Zou, Jia Modeling Timed Systems. (2013) In: System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, 2014., Berkeley, 357-393. ISBN 978-1304421067

(Document in English)

PDF (Publishe's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://ptolemy.eecs.berkeley.edu/books/Systems/chapters/


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

Item Type:Book Section
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Center for Hybrid and Embedded Software Systems - CHESS (USA)
Laboratory name:
Deposited On:09 Sep 2014 13:44

Repository Staff Only: item control page