Artículos relacionados a Compositional Verification of Concurrent and Real-Time...

Compositional Verification of Concurrent and Real-Time Systems: 676 (The Springer International Series in Engineering and Computer Science) - Tapa dura

 
9781402070259: Compositional Verification of Concurrent and Real-Time Systems: 676 (The Springer International Series in Engineering and Computer Science)

Sinopsis

With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety­ critical systems should preserve high assurance properties. In order to comply with high assurance properties, a safety-critical system often shares resources between multiple concurrently active computing agents and must meet rigid real-time constraints. However, concurrency and timing constraints make the development of a safety-critical system much more error prone and arduous. The correctness of software systems nowadays depends mainly on the work of testing and debugging. Testing and debugging involve the process of de­ tecting, locating, analyzing, isolating, and correcting suspected faults using the runtime information of a system. However, testing and debugging are not sufficient to prove the correctness of a safety-critical system. In contrast, static analysis is supported by formalisms to specify the system precisely. Formal verification methods are then applied to prove the logical correctness of the system with respect to the specification. Formal verifica­ tion gives us greater confidence that safety-critical systems meet the desired assurance properties in order to avoid disastrous consequences.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety­ critical systems should preserve high assurance properties. In order to comply with high assurance properties, a safety-critical system often shares resources between multiple concurrently active computing agents and must meet rigid real-time constraints. However, concurrency and timing constraints make the development of a safety-critical system much more error prone and arduous. The correctness of software systems nowadays depends mainly on the work of testing and debugging. Testing and debugging involve the process of de­ tecting, locating, analyzing, isolating, and correcting suspected faults using the runtime information of a system. However, testing and debugging are not sufficient to prove the correctness of a safety-critical system. In contrast, static analysis is supported by formalisms to specify the system precisely. Formal verification methods are then applied to prove the logical correctness of the system with respect to the specification. Formal verifica­ tion gives us greater confidence that safety-critical systems meet the desired assurance properties in order to avoid disastrous consequences.

Reseña del editor

With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Since many of the software systems support or supplant human control of safety-critical systems (such as those found in flight control, space shuttle control, aircraft avionics, robotics, patient monitoring devices and nuclear power plants), failure of such systems could have disastrous effects. It is essential, therefore, that software used for safety-critical systems preserves high assurance properties.

Compositional Verification of Concurrent and Real-Time Systems introduces important modeling and formal verification techniques for verifying the reliability and correctness of high-assurance software systems. The book focuses on the efficient analysis of large-scale systems based on the concept of "compositional verification" of modules.

Compositional Verification of Concurrent and Real-Time Systems is an excellent resource for student and researchers who seek a comprehensive understanding of how formal methods can be applied to the problems of intellectual or industrial significance. The application areas include concurrent systems, distributed systems, embedded systems, and real-time systems. The analysis models used are Multiset Labeled Transition Systems and Time Petri Nets.

"Sobre este título" puede pertenecer a otra edición de este libro.

  • EditorialSpringer
  • Año de publicación2002
  • ISBN 10 140207025X
  • ISBN 13 9781402070259
  • EncuadernaciónTapa dura
  • IdiomaInglés
  • Número de páginas220
  • Contacto del fabricanteno disponible

Comprar usado

Condición: Bien
8vo, hardcover. No dj. Vg+ condition...
Ver este artículo

EUR 28,95 gastos de envío desde Estados Unidos de America a España

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 19,49 gastos de envío desde Alemania a España

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9781461353492: Compositional Verification of Concurrent and Real-Time Systems: 676 (The Springer International Series in Engineering and Computer Science)

Edición Destacada

ISBN 10:  1461353491 ISBN 13:  9781461353492
Editorial: Springer, 2012
Tapa blanda

Resultados de la búsqueda para Compositional Verification of Concurrent and Real-Time...

Imagen del vendedor

Eric Y.T. Juan|Jeffrey J.P. Tsai
Publicado por Springer US, 2002
ISBN 10: 140207025X ISBN 13: 9781402070259
Nuevo Tapa dura
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight contro. Nº de ref. del artículo: 4094780

Contactar al vendedor

Comprar nuevo

EUR 92,27
Convertir moneda
Gastos de envío: EUR 19,49
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Juan, Eric Y. T.; Tsai, Jeffrey J.-P.
ISBN 10: 140207025X ISBN 13: 9781402070259
Antiguo o usado Tapa dura

Librería: Tiber Books, Cockeysville, MD, Estados Unidos de America

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Very Good. 8vo, hardcover. No dj. Vg+ condition. Single non-circulating ex-lib stamp & label on 2 early pgs (only markings), contents bright, crisp & clean, virtually unopened. xvii, 196 p. Nº de ref. del artículo: 1050808.27

Contactar al vendedor

Comprar usado

EUR 84,93
Convertir moneda
Gastos de envío: EUR 28,95
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Juan, Eric Y.T.; Tsai, Jeffrey J.P.
Publicado por Springer, 2002
ISBN 10: 140207025X ISBN 13: 9781402070259
Nuevo Tapa dura

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9781402070259_new

Contactar al vendedor

Comprar nuevo

EUR 119,31
Convertir moneda
Gastos de envío: EUR 4,72
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Jeffrey J. P. Tsai
Publicado por Springer US, Springer New York, 2002
ISBN 10: 140207025X ISBN 13: 9781402070259
Nuevo Tapa dura

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety critical systems should preserve high assurance properties. In order to comply with high assurance properties, a safety-critical system often shares resources between multiple concurrently active computing agents and must meet rigid real-time constraints. However, concurrency and timing constraints make the development of a safety-critical system much more error prone and arduous. The correctness of software systems nowadays depends mainly on the work of testing and debugging. Testing and debugging involve the process of de tecting, locating, analyzing, isolating, and correcting suspected faults using the runtime information of a system. However, testing and debugging are not sufficient to prove the correctness of a safety-critical system. In contrast, static analysis is supported by formalisms to specify the system precisely. Formal verification methods are then applied to prove the logical correctness of the system with respect to the specification. Formal verifica tion gives us greater confidence that safety-critical systems meet the desired assurance properties in order to avoid disastrous consequences. Nº de ref. del artículo: 9781402070259

Contactar al vendedor

Comprar nuevo

EUR 114,36
Convertir moneda
Gastos de envío: EUR 11,99
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Jeffrey J. P. Tsai
ISBN 10: 140207025X ISBN 13: 9781402070259
Nuevo Tapa dura
Impresión bajo demanda

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety critical systems should preserve high assurance properties. In order to comply with high assurance properties, a safety-critical system often shares resources between multiple concurrently active computing agents and must meet rigid real-time constraints. However, concurrency and timing constraints make the development of a safety-critical system much more error prone and arduous. The correctness of software systems nowadays depends mainly on the work of testing and debugging. Testing and debugging involve the process of de tecting, locating, analyzing, isolating, and correcting suspected faults using the runtime information of a system. However, testing and debugging are not sufficient to prove the correctness of a safety-critical system. In contrast, static analysis is supported by formalisms to specify the system precisely. Formal verification methods are then applied to prove the logical correctness of the system with respect to the specification. Formal verifica tion gives us greater confidence that safety-critical systems meet the desired assurance properties in order to avoid disastrous consequences.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch. Nº de ref. del artículo: 9781402070259

Contactar al vendedor

Comprar nuevo

EUR 106,99
Convertir moneda
Gastos de envío: EUR 35,00
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Jeffrey J. P. Tsai
Publicado por Springer US Apr 2002, 2002
ISBN 10: 140207025X ISBN 13: 9781402070259
Nuevo Tapa dura
Impresión bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety critical systems should preserve high assurance properties. In order to comply with high assurance properties, a safety-critical system often shares resources between multiple concurrently active computing agents and must meet rigid real-time constraints. However, concurrency and timing constraints make the development of a safety-critical system much more error prone and arduous. The correctness of software systems nowadays depends mainly on the work of testing and debugging. Testing and debugging involve the process of de tecting, locating, analyzing, isolating, and correcting suspected faults using the runtime information of a system. However, testing and debugging are not sufficient to prove the correctness of a safety-critical system. In contrast, static analysis is supported by formalisms to specify the system precisely. Formal verification methods are then applied to prove the logical correctness of the system with respect to the specification. Formal verifica tion gives us greater confidence that safety-critical systems meet the desired assurance properties in order to avoid disastrous consequences. 220 pp. Englisch. Nº de ref. del artículo: 9781402070259

Contactar al vendedor

Comprar nuevo

EUR 133,70
Convertir moneda
Gastos de envío: EUR 11,00
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Eric Y.T. Juan
Publicado por Springer-Verlag New York Inc., 2002
ISBN 10: 140207025X ISBN 13: 9781402070259
Nuevo Tapa dura
Impresión bajo demanda

Librería: THE SAINT BOOKSTORE, Southport, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 529. Nº de ref. del artículo: C9781402070259

Contactar al vendedor

Comprar nuevo

EUR 138,64
Convertir moneda
Gastos de envío: EUR 8,06
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Juan, Eric Y.T.; Tsai, Jeffrey J.P.
Publicado por Springer, 2002
ISBN 10: 140207025X ISBN 13: 9781402070259
Nuevo Tapa dura

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: ABLIING23Mar2411530144398

Contactar al vendedor

Comprar nuevo

EUR 105,20
Convertir moneda
Gastos de envío: EUR 65,79
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Juan, Eric Y.T., Tsai, Jeffrey J.P.
Publicado por Springer, 2002
ISBN 10: 140207025X ISBN 13: 9781402070259
Antiguo o usado Tapa dura

Librería: Mispah books, Redhill, SURRE, Reino Unido

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Like New. Like New. book. Nº de ref. del artículo: ERICA773140207025X6

Contactar al vendedor

Comprar usado

EUR 167,44
Convertir moneda
Gastos de envío: EUR 29,66
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito