Artículos relacionados a The Inverse Method: Parametric Verification of Real-time...
The Inverse Method: Parametric Verification of Real-time Unbedded Systems (Focus Series in Computer Engineering and IT) - Tapa dura
Sinopsis
This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine hybrid automata.
The inverse method is introduced, and its benefits for guaranteeing robustness in real-time systems are shown. Then, it is shown how an iteration of the inverse method can solve the good parameters problem for parametric timed automata by computing a behavioral cartography of the system. Different extensions are proposed particularly for hybrid systems and applications to scheduling problems using timed automata with stopwatches. Various examples, both from the literature and industry, illustrate the techniques throughout the book.
Various parametric verifications are performed, in particular of abstractions of a memory circuit sold by the chipset manufacturer ST-Microelectronics, as well as of the prospective flight control system of the next generation of spacecraft designed by ASTRIUM Space Transportation.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Étienne André is Associate Professor in the Laboratoire d'Informatique de Paris Nord, in the University of Paris 13 (Sorbonne Paris Cité) in France. His current research interests focus on the verification of real-time systems.
Romain Soulat is currently completing his PhD at the LSV laboratory at ENS-Cachan in France, focusing on the modeling and verification of hybrid temporal systems.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para The Inverse Method: Parametric Verification of Real-time...
Imagen de archivo
The Inverse Method: Parametric Verification of Real-time Unbedded Systems (Focus Series in Computer Engineering and IT)
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Nº de ref. del artículo: Z1-ZZ-001-00140
Comprar usado
EUR 120,20
Envío por EUR 12,64
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
The Inverse Method
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
HRD. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L1-9781848214477
Comprar nuevo
EUR 160,81
Envío por EUR 5,96
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Inverse Method : Parametric Verification of Real-Time Unbedded Systems
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 18865942-n
Comprar nuevo
EUR 169,24
Envío por EUR 2,35
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Inverse Method : Parametric Verification of Real-Time Unbedded Systems
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 18865942-n
Comprar nuevo
EUR 160,79
Envío por EUR 17,82
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Inverse Method: Parametric Verification of Real-time Unbedded Systems (Focus Series in Computer Engineering and IT)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9781848214477
Comprar nuevo
EUR 184,41
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Inverse Method: Parametric Verification of Real-time Unbedded Systems (Focus Series in Computer Engineering and IT)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In English. Nº de ref. del artículo: ria9781848214477_new
Comprar nuevo
EUR 174,17
Envío por EUR 13,41
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
The Inverse Method
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in. Nº de ref. del artículo: 556580989
Comprar nuevo
EUR 169,89
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Inverse Method / Parametric Verification of Realtime Unbedded Systems
Publicado por
Iste/Hermes Science Pub, 2013
ISBN 10: 1848214472
ISBN 13: 9781848214477
Nuevo
Tapa dura
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Brand New. 1st edition. 176 pages. 9.25x6.50x0.75 inches. In Stock. Nº de ref. del artículo: x-1848214472
Comprar nuevo
EUR 224,37
Envío por EUR 11,88
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
The Inverse Method: Parametric Verification of Real-time Unbedded Systems
Publicado por
ISTE Ltd and John Wiley & Sons Inc, 2013
ISBN 10: 1848214472
ISBN 13: 9781848214477
Nuevo
Tapa dura
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Nº de ref. del artículo: C9781848214477
Comprar nuevo
EUR 221,59
Envío por EUR 23,48
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Inverse Method : Parametric Verification of Real-Time Unbedded Systems
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 18865942
Comprar usado
EUR 242,25
Envío por EUR 17,82
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles