This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: 6 Modeling Time in Computing: A Taxonomy and a Comparative Survey CARLO A. FURIA ETH Zurich and DINO MANDRIOLI, ANGELO MORZENTI, and MATTEO ROSSI Politecnico di Milano The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a growing attention to the tempo- ral aspects of computing, not only in the computer science domain, but also in more traditional fields of engineering. This article surveys various approaches to the formal modeling and analysis of the temporal features of computer-based systems, with a level of detail that is also suitable for nonspets. In doing so, it provides a unifying framework, rather than just a comprehensive list of formalisms. The article first lays out some key dimensions along which the various formalisms can be evaluated and compared. Then, a significant sample of formalisms for time modeling in computing are presented and discussed according to these dimensions. The adopted perspective is, to some extent, historical, going from traditional models and formalisms to more modern ones. Categories and Subject Descriptors: D.2.1 [ Software Engineering ]: Requirements/Specifications Lan- guages ; D.2.4 [ Software Engineering ]: Software/Program Verification; F.4.3 [ Mathematical Logic and Formal Languages ]: Formal Languages; F.4.1 [ Mathematical Logic and Formal Languages ]: Math- ematical Logic; F.1.1 [ Computation by Abstract Devices ]: Models of Computation; J.7 [ Computers in Other Systems ] General Terms: Languages, Theory, Verification Additional Key Words and Phrases: Temporal aspects of computing, dynamic systems, time modeling ACM Reference Format: Furia, C. A., Mandrioli, D., Morzenti, A., and Rossi, M. 2010. Modeling time in computing: A taxonomy and a comparative survey. ACM Comput. Surv. 42, 2, Article 6 (February 2010), 59 pages. DOI = 10.1145/1667062.1667063. http://doi.acm.org/10.1145/1667062.1667063 1. INTRODUCTION In many fields of science and engineering, the term dynamics is intrinsically bound to a notion of time. In fact, in classical physics a mathematical model of a dynamical system most often consists of a set of equations that state a relation between a time variable and other quantities characterizing the system, often referred to as system state . C. A. Furia was affilited with Politecnico di Milano when this work was done. Authors address: email@example.com. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies show this notice on the first page or initial screen of a display along with the full citation. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted....
View Full Document