Runtime verification of embedded real-time systems

We present a runtime verification framework that allows on-line monitoring of past-time Metric Temporal Logic (ptMTL) specifications in a discrete time setting. We design observer algorithms for the time-bounded modalities of ptMTL, which take advantage of the highly parallel nature of hardware desi...

Descripción completa

Detalles Bibliográficos
Autores principales: Reinbacher, Thomas, Függer, Matthias, Brauer, Jörg
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer US 2013
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4699739/
https://www.ncbi.nlm.nih.gov/pubmed/26752679
http://dx.doi.org/10.1007/s10703-013-0199-z

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4699739/
https://www.ncbi.nlm.nih.gov/pubmed/26752679
http://dx.doi.org/10.1007/s10703-013-0199-z

Ejemplares similares