The inverse method: parametric verification of real-time embedded systems

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 seve...

Descripción completa

Detalles Bibliográficos
Autores principales: André , Etienne, Soulat, Romain
Lenguaje:eng
Publicado: Wiley 2013
Materias:
Engineering
Acceso en línea:http://cds.cern.ch/record/1616970
_version_ 1780932710447972352
author André , Etienne
Soulat, Romain
author_facet André , Etienne
Soulat, Romain
author_sort André , Etienne
collection CERN
description 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 solv
id cern-1616970
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2013
publisher Wiley
record_format invenio
spelling cern-16169702021-04-21T22:03:37Zhttp://cds.cern.ch/record/1616970engAndré , EtienneSoulat, RomainThe inverse method: parametric verification of real-time embedded systemsEngineeringThis 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 solvWileyoai:cds.cern.ch:16169702013
spellingShingle Engineering
André , Etienne
Soulat, Romain
The inverse method: parametric verification of real-time embedded systems
title The inverse method: parametric verification of real-time embedded systems
title_full The inverse method: parametric verification of real-time embedded systems
title_fullStr The inverse method: parametric verification of real-time embedded systems
title_full_unstemmed The inverse method: parametric verification of real-time embedded systems
title_short The inverse method: parametric verification of real-time embedded systems
title_sort inverse method: parametric verification of real-time embedded systems
topic Engineering
url http://cds.cern.ch/record/1616970
work_keys_str_mv AT andreetienne theinversemethodparametricverificationofrealtimeembeddedsystems
AT soulatromain theinversemethodparametricverificationofrealtimeembeddedsystems
AT andreetienne inversemethodparametricverificationofrealtimeembeddedsystems
AT soulatromain inversemethodparametricverificationofrealtimeembeddedsystems

Ejemplares similares