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áginas
  2. English
  3. PDF
  4. Disponible en iOS y Android
eBook - PDF

Theories And Experiences For Real-time System Development

Charles Rattray, Teodor Rus, Amast-fund

Detalles del libro
Índice
Citas

Información del 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.

Preguntas frecuentes

¿Cómo cancelo mi suscripción?
Simplemente, dirígete a la sección ajustes de la cuenta y haz clic en «Cancelar suscripción». Así de sencillo. Después de cancelar tu suscripción, esta permanecerá activa el tiempo restante que hayas pagado. Obtén más información aquí.
¿Cómo descargo los libros?
Por el momento, todos nuestros libros ePub adaptables a dispositivos móviles se pueden descargar a través de la aplicación. La mayor parte de nuestros PDF también se puede descargar y ya estamos trabajando para que el resto también sea descargable. Obtén más información aquí.
¿En qué se diferencian los planes de precios?
Ambos planes te permiten acceder por completo a la biblioteca y a todas las funciones de Perlego. Las únicas diferencias son el precio y el período de suscripción: con el plan anual ahorrarás en torno a un 30 % en comparación con 12 meses de un plan mensual.
¿Qué es Perlego?
Somos un servicio de suscripción de libros de texto en línea que te permite acceder a toda una biblioteca en línea por menos de lo que cuesta un libro al mes. Con más de un millón de libros sobre más de 1000 categorías, ¡tenemos todo lo que necesitas! Obtén más información aquí.
¿Perlego ofrece la función de texto a voz?
Busca el símbolo de lectura en voz alta en tu próximo libro para ver si puedes escucharlo. La herramienta de lectura en voz alta lee el texto en voz alta por ti, resaltando el texto a medida que se lee. Puedes pausarla, acelerarla y ralentizarla. Obtén más información aquí.
¿Es Theories And Experiences For Real-time System Development un PDF/ePUB en línea?
Sí, puedes acceder a Theories And Experiences For Real-time System Development de Charles Rattray, Teodor Rus, Amast-fund en formato PDF o ePUB, así como a otros libros populares de Ciencia de la computación y Programación. Tenemos más de un millón de libros disponibles en nuestro catálogo para que explores.

Información

Editorial
World Scientific
Año
1995
ISBN
9789812831583
Categoría
Ciencia de la computación
Categoría
Programación

Índice

  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
Estilos de citas para 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.