Theories And Experiences For Real-time System Development
eBook - PDF

Theories And Experiences For Real-time System Development

Charles Rattray, Teodor Rus, Amast-fund

  1. 444 «pägés»
  2. English
  3. «PÐF»
  4. «Äväïläblé öñ ïÖS & Äñdřöïd Ü ü Ä»
eBook - PDF

Theories And Experiences For Real-time System Development

Charles Rattray, Teodor Rus, Amast-fund

«Böök détäïls ñ»
«Täblé öf çöñtéñts Ð ñ»
«Çïtätïöñs ï»

«Ä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

How do I cancel my subscription?
Simply head over to the account section in settings and click on “Cancel Subscription” - it’s as simple as that. After you cancel, your membership will stay active for the remainder of the time you’ve paid for. Learn more here.
Can/how do I download books?
At the moment all of our mobile-responsive ePub books are available to download via the app. Most of our PDFs are also available to download and we're working on making the final remaining ones downloadable now. Learn more here.
What is the difference between the pricing plans?
Both plans give you full access to the library and all of Perlego’s features. The only differences are the price and subscription period: With the annual plan you’ll save around 30% compared to 12 months on the monthly plan.
What is Perlego?
We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, we’ve got you covered! Learn more here.
Do you support text-to-speech?
Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.
Is Theories And Experiences For Real-time System Development an online PDF/ePUB?
Yes, you can access Theories And Experiences For Real-time System Development by Charles Rattray, Teodor Rus, Amast-fund in PDF and/or ePUB format, as well as other popular books in Computer Science & Programming. We have over one million books available in our catalogue for you to explore.

«Iñföřmätïöñ É»

«Püblïshéř Ñ»
World Scientific
«Ýéäř»
1995
«ISBÑ»
9789812831583
«Sübjéçt л
Computer Science
«Töpïç»
Programming

«Täblé öf çöñtéñts ç é»

  1. Contents
  2. Preface
  3. Chapter 1 Real-time system = discrete system + clock variables
  4. Chapter 2 Real-time CSP
  5. Chapter 3 Visual tools for verifying real-time systems
  6. Chapter 4 Designing supervisors for real-time systems
  7. Chapter 5 Real-time symbolic model checking for discrete time models
  8. Chapter 6 Verification of an audio control protocol
  9. Chapter 7 Approximations for verifying timing properties
  10. Chapter 8 A Timed Full LOTOS with Time/Action Tree Semantics
  11. Chapter 9 A Timed LOTOS extension
  12. Chapter 10 Status-oriented telephone service specification
  13. Chapter 11 Experimenting with LOTOS in the aerospace industry
  14. Chapter 12 Performance analysis and true concurrency semantics
  15. Chapter 13 State machines, temporal logic and algebraic data models
  16. Chapter 14 An experiment in developing real-time systems using Mec
  17. The Authors
«Çïtätïöñ stylés föř Theories And Experiences For Real-time System Development ö ř ç ñ»

APA 6 Citation

Rattray, C., & Rus, T. (1995). Theories And Experiences For Real-time System Development ([edition missing]). World Scientific Publishing Company. Retrieved from https://www.perlego.com/book/846303/theories-and-experiences-for-realtime-system-development-pdf (Original work published 1995)

Chicago Citation

Rattray, Charles, and Teodor Rus. (1995) 1995. Theories And Experiences For Real-Time System Development. [Edition missing]. World Scientific Publishing Company. https://www.perlego.com/book/846303/theories-and-experiences-for-realtime-system-development-pdf.

Harvard Citation

Rattray, C. and Rus, T. (1995) Theories And Experiences For Real-time System Development. [edition missing]. World Scientific Publishing Company. Available at: https://www.perlego.com/book/846303/theories-and-experiences-for-realtime-system-development-pdf (Accessed: 25 September 2021).

MLA 7 Citation

Rattray, Charles, and Teodor Rus. Theories And Experiences For Real-Time System Development. [edition missing]. World Scientific Publishing Company, 1995. Web. 25 Sept. 2021.