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 pages
  2. English
  3. PDF
  4. Disponible sur iOS et Android
eBook - PDF

Theories And Experiences For Real-time System Development

Charles Rattray, Teodor Rus, Amast-fund

DĂ©tails du livre
Table des matiĂšres
Citations

À propos de ce livre

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.

Foire aux questions

Comment puis-je résilier mon abonnement ?
Il vous suffit de vous rendre dans la section compte dans paramĂštres et de cliquer sur « RĂ©silier l’abonnement ». C’est aussi simple que cela ! Une fois que vous aurez rĂ©siliĂ© votre abonnement, il restera actif pour le reste de la pĂ©riode pour laquelle vous avez payĂ©. DĂ©couvrez-en plus ici.
Puis-je / comment puis-je télécharger des livres ?
Pour le moment, tous nos livres en format ePub adaptĂ©s aux mobiles peuvent ĂȘtre tĂ©lĂ©chargĂ©s via l’application. La plupart de nos PDF sont Ă©galement disponibles en tĂ©lĂ©chargement et les autres seront tĂ©lĂ©chargeables trĂšs prochainement. DĂ©couvrez-en plus ici.
Quelle est la différence entre les formules tarifaires ?
Les deux abonnements vous donnent un accĂšs complet Ă  la bibliothĂšque et Ă  toutes les fonctionnalitĂ©s de Perlego. Les seules diffĂ©rences sont les tarifs ainsi que la pĂ©riode d’abonnement : avec l’abonnement annuel, vous Ă©conomiserez environ 30 % par rapport Ă  12 mois d’abonnement mensuel.
Qu’est-ce que Perlego ?
Nous sommes un service d’abonnement Ă  des ouvrages universitaires en ligne, oĂč vous pouvez accĂ©der Ă  toute une bibliothĂšque pour un prix infĂ©rieur Ă  celui d’un seul livre par mois. Avec plus d’un million de livres sur plus de 1 000 sujets, nous avons ce qu’il vous faut ! DĂ©couvrez-en plus ici.
Prenez-vous en charge la synthÚse vocale ?
Recherchez le symbole Écouter sur votre prochain livre pour voir si vous pouvez l’écouter. L’outil Écouter lit le texte Ă  haute voix pour vous, en surlignant le passage qui est en cours de lecture. Vous pouvez le mettre sur pause, l’accĂ©lĂ©rer ou le ralentir. DĂ©couvrez-en plus ici.
Est-ce que Theories And Experiences For Real-time System Development est un PDF/ePUB en ligne ?
Oui, vous pouvez accĂ©der Ă  Theories And Experiences For Real-time System Development par Charles Rattray, Teodor Rus, Amast-fund en format PDF et/ou ePUB ainsi qu’à d’autres livres populaires dans Informatique et Programmation. Nous disposons de plus d’un million d’ouvrages Ă  dĂ©couvrir dans notre catalogue.

Informations

Éditeur
World Scientific
Année
1995
ISBN
9789812831583
Sujet
Informatique
Sous-sujet
Programmation

Table des matiĂšres

  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
Normes de citation pour 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.