![Theories And Experiences For Real-time System Development](https://img.perlego.com/books/RM_Books/world_scientific_pub_rlpceeul/9789812831583_300_450.webp)
Theories And Experiences For Real-time System Development
Charles Rattray, Teodor Rus, Amast-fund
- 444 «pägés»
- English
- «PÐF»
- «Äväïläblé öñ ïÖS & Äñdřöïd Ü ü Ä»
Theories And Experiences For Real-time System Development
Charles Rattray, Teodor Rus, Amast-fund
«Äböüt Thïs Böök ö ñ»
Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra with the theory and practice of real-time system development. This interplay between algebraic methodology and software technology (AMAST) for real-time systems is the theme for this text.Each chapter, derived from papers presented at the all-invitation 1st AMAST International Workshop on Real-Time Systems (Iowa, 1993), is written by leaders in their field. The chapters form an intriguing mix of modeling, specification, verification, and implementation of "real" real-time systems. They cover untimed and timed systems, sequential, concurrent and embedded real-time processes, integrated models using state machines, temporal logic and algebraic data models, real-time CSP, verification tools, system design using temporal logic, symbolic checking of discrete time models, iterative symbolic approximation in timing verification and verification of audio protocols, timed full LOTOS and timed LOTOS extensions, LOTOS specification of telephone services and flight warning computers, and performance analysis.
Frequently asked questions
«Iñföřmätïöñ É»
«Täblé öf çöñtéñts ç é»
- Contents
- Preface
- Chapter 1 Real-time system = discrete system + clock variables
- Chapter 2 Real-time CSP
- Chapter 3 Visual tools for verifying real-time systems
- Chapter 4 Designing supervisors for real-time systems
- Chapter 5 Real-time symbolic model checking for discrete time models
- Chapter 6 Verification of an audio control protocol
- Chapter 7 Approximations for verifying timing properties
- Chapter 8 A Timed Full LOTOS with Time/Action Tree Semantics
- Chapter 9 A Timed LOTOS extension
- Chapter 10 Status-oriented telephone service specification
- Chapter 11 Experimenting with LOTOS in the aerospace industry
- Chapter 12 Performance analysis and true concurrency semantics
- Chapter 13 State machines, temporal logic and algebraic data models
- Chapter 14 An experiment in developing real-time systems using Mec
- The Authors