Inicio > > Ciencias de la computación > Análisis y diseño de sistemas > The Testability of Distributed Real-Time Systems
The Testability of Distributed Real-Time Systems

The Testability of Distributed Real-Time Systems

Werner Schütz

133,17 €
IVA incluido
Consulta disponibilidad
Editorial:
Springer Nature B.V.
Año de edición:
1993
Materia
Análisis y diseño de sistemas
ISBN:
9780792393863

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
¡Pregúntanos!
Sobre IBD

BY H. KOPETZ A real-time computer system must provide the intended service in two di­ mensions: the functional (value) dimension and the temporal dimension. The verification of a real-time system implementation is thus necessarily more com­ plex than the verification of a non-real-time system which has to be checked in the value dimension only. Since the formal verification techniques of temporal properties have not yet matured to the point where these techniques can be used in practical system development, systematic design and testing are the only alternatives for the development of dependable real-time systems. At present, up to and more than fifty percent of the development eff’ort of complex real-time computer systems is spent on testing. The test activities are thus a significant cost element in any real-time system project. The attack on this cost element has to proceed from two fronts: the design for testability and the development of a systematic test methodology supported by an appropriate tool set. This book covers both of these topics.

Artículos relacionados

  • Qualitative Case Studies on Implementation of Enterprise Wide Systems
    Jenine Beekhuyzen / Liisa Von Hellens / Sue Nielsen
    ...
  • Kubernetes Secrets Handbook
    Chen Xi / Emmanouil Gkatziouras / Rom Adams
    Gain hands-on skills in Kubernetes Secrets management, ensuring a comprehensive overview of the Secrets lifecycle and prioritizing adherence to regulatory standards and business sustainabilityKey FeaturesMaster Secrets encryption, encompassing complex life cycles, key rotation, access control, backup, and recoveryBuild your skills to audit Secrets consumption, troubleshoot, and...
    Disponible

    64,72 €

  • Software Architecture Patterns for Serverless Systems - Second Edition
    John Gilbert
    Delve into the second edition to master serverless proficiency and explore new chapters on security techniques, multi-regional deployment, and optimizing observability.Key FeaturesGain insights from a seasoned CTO on best practices for designing enterprise-grade software systemsDeepen your understanding of system reliability, maintainability, observability, and scalability with...
    Disponible

    85,16 €

  • Multi-Cloud Handbook for Developers
    Jeveen Jacob / Subash Natarajan
    Explore proven techniques and best practices for designing, deploying, and managing cloud-native applications in multi-cloud environments with the help of real-world examples, success stories, and emerging technologiesKey FeaturesDiscover optimal solutions in multi-cloud environments using AWS, Azure, and GCP tools and technologiesExcel in designing, developing, and securing cl...
    Disponible

    81,33 €

  • Extending Dynamics 365 Finance and Operations Apps with Power Platform
    Adrià Ariste Santacreu
    Unlock the potential of Dynamics 365 Finance and Operations apps by creating innovative solutions that can enhance the performance of your projectsKey FeaturesLearn how to leverage Power Platform tools with Dynamics 365 Finance & OperationsWork on real-world use cases and discover ways to maximize the potential of Power PlatformAdopt a low-code approach to expedite the developm...
    Disponible

    80,51 €

  • Technological Advancements in Data Processing for Next Generation Intelligent Systems
    Technological Advancements in Data Processing for Next Generation Intelligent Systems presents an in-depth exploration of cutting-edge data processing technologies that drive the development of next-generation intelligent systems in the context of the digital transformation era. This comprehensive book delves into the role data plays as a critical asset for organizations across...

Otros libros del autor

  • The Testability of Distributed Real-Time Systems
    Werner Schütz
    BY H. KOPETZ A real-time computer system must provide the intended service in two di­ mensions: the functional (value) dimension and the temporal dimension. The verification of a real-time system implementation is thus necessarily more com­ plex than the verification of a non-real-time system which has to be checked in the value dimension only. Since ...
    Disponible

    134,52 €