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 pagine
  2. English
  3. PDF
  4. Disponibile su iOS e Android
eBook - PDF

Theories And Experiences For Real-time System Development

Charles Rattray, Teodor Rus, Amast-fund

Dettagli del libro
Indice dei contenuti
Citazioni

Informazioni sul libro

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.

Domande frequenti

Come faccio ad annullare l'abbonamento?
È semplicissimo: basta accedere alla sezione Account nelle Impostazioni e cliccare su "Annulla abbonamento". Dopo la cancellazione, l'abbonamento rimarrà attivo per il periodo rimanente già pagato. Per maggiori informazioni, clicca qui
È possibile scaricare libri? Se sì, come?
Al momento è possibile scaricare tramite l'app tutti i nostri libri ePub mobile-friendly. Anche la maggior parte dei nostri PDF è scaricabile e stiamo lavorando per rendere disponibile quanto prima il download di tutti gli altri file. Per maggiori informazioni, clicca qui
Che differenza c'è tra i piani?
Entrambi i piani ti danno accesso illimitato alla libreria e a tutte le funzionalità di Perlego. Le uniche differenze sono il prezzo e il periodo di abbonamento: con il piano annuale risparmierai circa il 30% rispetto a 12 rate con quello mensile.
Cos'è Perlego?
Perlego è un servizio di abbonamento a testi accademici, che ti permette di accedere a un'intera libreria online a un prezzo inferiore rispetto a quello che pagheresti per acquistare un singolo libro al mese. Con oltre 1 milione di testi suddivisi in più di 1.000 categorie, troverai sicuramente ciò che fa per te! Per maggiori informazioni, clicca qui.
Perlego supporta la sintesi vocale?
Cerca l'icona Sintesi vocale nel prossimo libro che leggerai per verificare se è possibile riprodurre l'audio. Questo strumento permette di leggere il testo a voce alta, evidenziandolo man mano che la lettura procede. Puoi aumentare o diminuire la velocità della sintesi vocale, oppure sospendere la riproduzione. Per maggiori informazioni, clicca qui.
Theories And Experiences For Real-time System Development è disponibile online in formato PDF/ePub?
Sì, puoi accedere a Theories And Experiences For Real-time System Development di Charles Rattray, Teodor Rus, Amast-fund in formato PDF e/o ePub, così come ad altri libri molto apprezzati nelle sezioni relative a Informatica e Programmazione. Scopri oltre 1 milione di libri disponibili nel nostro catalogo.

Informazioni

Editore
World Scientific
Anno
1995
ISBN
9789812831583
Argomento
Informatica
Categoria
Programmazione

Indice dei contenuti

  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
Stili delle citazioni per 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.