Real Time Theory in Practice

Problems , promises and performance : some questions for real - time system specification Mathai Joseph * University of Warwick Abstract . This paper considers how different views of real - time program specification and verification ...

Author: REX Workshop

Publisher: Springer Science & Business Media

ISBN: 3540555641

Category: Computers

Page: 740

View: 681

DOWNLOAD →

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions.

Operational Semantics for Timed Systems

Semantics of reactive systems in abstract time. In J. de Bakker, C. Huizing, W. de Roever, and G. Rozenberg, editors, Real Time: Theory in Practice, LNCS 600, pages 291–314, 1992. [HHWT95] T. A. Henzinger, P.-H. Ho, and H. Wong-Toi.

Author: Heinrich Rust

Publisher: Springer Science & Business Media

ISBN: 9783540255765

Category: Computers

Page: 223

View: 813

DOWNLOAD →

This monograph is dedicated to a novel approach for uniform modeling of timed and hybrid systems. The author introduces a time model that allows for both the description of discrete time steps and continuous processes with a discrete time model with infinitesimal step widths. The underlying mathematical structure of this time model is based on the concepts of non-standard analysis. The discrete modeling, i.e., the description of sequential discrete algorithms at different abstraction levels, is done using the abstract state machines formalism. The presentation is well balanced between theoretical elaboration and critical discussion of the applicability of the theoretical results by means of appropriate case studies. The new temporal semantics proposed helps theoreticians as well as practitioners in gaining a better understanding of time models and in building better notations, models, and tools for the formal treatment of systems where time matters.

Algebraic Methodology and Software Technology

In J.W. de Bakker , C. Huizing , W.P. de Roever , and G. Rozenberg , editors , Real - Time : Theory in Practice , number 600 in Lect . Notes Comp . Sci . , pages 226–251 . Springer , Berlin , 1992 . 7. M.W. Hirsch and S. Smale .

Author: Martin Wirsing

Publisher: Springer Science & Business Media

ISBN: 354061463X

Category: Computers

Page: 640

View: 912

DOWNLOAD →

Content Description #Includes bibliographical references and index.

Modeling Time in Computing

Pan Macmillan, London (1980) Alur, R., Henzinger, T.A.: Logics and models of real time: a survey. In: Real Time: Theory in Practice. Lecture Notes in Computer Science, vol. 600, pp. 74–106. Springer, Berlin/New york (1992) 3.

Author: Carlo A. Furia

Publisher: Springer Science & Business Media

ISBN: 9783642323324

Category: Computers

Page: 424

View: 370

DOWNLOAD →

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common “ancestors”; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and “dual-language approaches” combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.

Multimedia Transport and Teleservices

Real - Time : Theory in Practice , Editor : J.W. de Bakker , C. Huizing , W.P. de Roever and G. Rozenberg , Springer - Verlag , pp : 74-106 , 1991 . [ Ostroff92 ] Ostroff , J.S. " StateTime - a Diagrammatic Toolset for the Design and ...

Author: David Hutchison

Publisher: Springer Science & Business Media

ISBN: 3540587594

Category: Technology & Engineering

Page: 384

View: 780

DOWNLOAD →

This volume presents the proceedings of the International COST 237 Workshop, held in Vienna in November 1994 in the framework of the CEC COST 237 Multimedia Telecommunications Services Projects. The 24 papers presented in revised version were selected from 46 submissions; they are organized in sections on teleservices, multimedia mail, archiving and retrieving; teleservice support; quality of service and synchronization; multipeer communication; broadband network transport issues; and variable bit rate video coding transport.

Computer Aided Verification

... Real - time Symbolic Model Checking for Discrete Time Models , in T. Rus and C. Rattray ( Eds . ) , Theories and ... in J.W. de Bakker et al ( Eds . ) , Real - Time : Theory in Practice , LNCS 600 , 226-251 , Springer , 1992 .

Author: Orna Grumberg

Publisher: Springer Science & Business Media

ISBN: 3540631666

Category: Computers

Page: 486

View: 106

DOWNLOAD →

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997. The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

DSP for Embedded and Real Time Systems

During our years in DSP systems development, we have found that there exists a gap between developments in real-time theory and engineering practice: in many cases, the development of DSP systems would be based on ad hoc utilization of ...

Author: Robert Oshana

Publisher: Elsevier

ISBN: 9780123865359

Category: Technology & Engineering

Page: 621

View: 373

DOWNLOAD →

This book includes a range of techniques for developing digital signal processing code; tips and tricks for optimizing DSP software; and various options available for constructing DSP systems from numerous software components.

Computer Aided Verification

Model checking for real - time systems . ... In J.W. de Bakker , C. Huizing , W.P. de Roever , and G. Rozenberg , editors , Proceedings of the REX Workshop " Real - Time : Theory in Practice “ , volume 600 of Lect . Notes in Comp .

Author: Costas Courcoubetis

Publisher: Springer Science & Business Media

ISBN: 3540569227

Category: Computers

Page: 504

View: 959

DOWNLOAD →

This volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in Crete, Greece, in June/July 1993. The objective of the CAV conferences is to bring together researchers and practitioners interested in the development anduse of methods, tools, and theories for the computer-aided verification of concurrent systems. The conferences provide an opportunity for comparing various verfication methods and tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing methods to real verification problems. The volume contains abstracts of three invited lectures and full versions of 37 contributed papers selected from 84 submissions.The contributions are grouped into sections on hardware verification with BDDs, methods and tools, theorem proving, analysis of real-time systems, process algebras and calculi, partial orders, and exploiting symmetry.

Formal Methods in Programming and Their Applications

M.R. Hansen , Zhou Chaochen : Semantics and Completeness of Duration Calculus , J.W. de Bakker , C. Huizing , W.-P. de Roever , G. Rozenberg , ( Eds ) Real - Time : Theory in Practice , REX Workshop , LNCS 600 ...

Author: Dines Bjorner

Publisher: Springer Science & Business Media

ISBN: 354057316X

Category: Computers

Page: 438

View: 874

DOWNLOAD →

This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences and was the first forum organized by the Institute which was entirely dedicated to formal methods. The main scientific tracks of the conference were centered around formal methods of program development and program construction. The papers in the book are grouped into the following parts: - formal semantics methods - algebraic specification methods - semantic program analysis and abstract interpretation - semantics of parallelism - logic of programs - software specification and verification - transformational development and program synthesis.