Open AccessBook
Modeling Time in Computing
Carlo A. Furia,Dino Mandrioli,Angelo Morzenti,Matteo Rossi +3 more
- 19 Oct 2012
TL;DR: 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 nonspecialists, and provides a unifying framework.
read more
Abstract: 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 temporal 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 nonspecialists. 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.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Behavioral interface specification languages
TL;DR: This article surveys behavioral interface specification languages with a focus toward automatic program verification and with a view towards aiding the Verified Software Initiative—a fifteen-year, cooperative, international project directed at the scientific challenges of large-scale software verification.
Fundamental Limits of Cyber-Physical Systems Modeling
TL;DR: It is argued that the role that models play in engineering is different from the role they play in science, and that this difference should direct us to use a different class of models, where simplicity and clarity of semantics dominate over accuracy and detail.
89
Loop invariants: Analysis, classification, and examples
TL;DR: This article analyzes the patterns, as uncovered in this study, governing how invariants are derived from postconditions; it proposes a taxonomy of invariants according to these patterns; and it presents its application to the algorithms reviewed.
Validation of requirements for hybrid systems: A formal approach
TL;DR: A new, comprehensive approach for the validation of functional requirements of hybrid systems, where discrete components and continuous components are tightly intertwined, and is built on a new language, othello, which is expressive enough to represent various domains of interest, yet allowing efficient procedures for checking the satisfiability.
53
Fundamentals software engineering
Carlo {Et.Al} Ghezzi
- 28 Sep 2014
TL;DR: In this article, the authors provide a selective, in-depth coverage of the fundamentals of software engineering by stressing principles and methods through rigorous formal and informal approaches, and discuss principles such as design, specification, verification, production, management and tools.
43
References
•Book
Introduction to Automata Theory, Languages, and Computation
John E. Hopcroft,Rajeev Motwani,Rotwani,Jeffrey D. Ullman +3 more
- 01 Jan 1979
TL;DR: This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity, appropriate for upper-level computer science undergraduates who are comfortable with mathematical arguments.
14.5K
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
•Book
Communication and Concurrency
Robin Milner
- 01 Jan 1989
TL;DR: This chapter discusses Bisimulation and Observation Equivalence as a Modelling Communication, a Programming Language, and its application to Equational laws.
9K
•Book
Multivariable Feedback Control: Analysis and Design
Sigurd Skogestad,Ian Postlethwaite +1 more
- 01 Jan 1996
TL;DR: This book presents a rigorous, yet easily readable, introduction to the analysis and design of robust multivariable control systems and provides the reader with insights into the opportunities and limitations of feedback control.
Statecharts: A visual formalism for complex systems
TL;DR: It is intended to demonstrate here that statecharts counter many of the objections raised against conventional state diagrams, and thus appear to render specification by diagrams an attractive and plausible approach.
7.5K