Modelización formal y verificación automática de sistemas de tiempo real

Los sistemas de tiempo-real son sistemas en los cuales el tiempo juega un rol fundamental. Ejemplos de estos sistemas son los controles automáticos de navegación de aviones, los protocolos de comunicación, los procesos industriales automatizados, cajeros automáticos, controladores de radar, etc. El...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Olivero, Alfredo, Gaudiani, Adriana, Maidana, Gabriela
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2000
Materias:	Ciencias Informáticas Sistemas de tiempo-real Formal models Modelización y verificación formal Real time Herramientas de verificación automática
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/22160
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-22160
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas Sistemas de tiempo-real Formal models Modelización y verificación formal Real time Herramientas de verificación automática
spellingShingle	Ciencias Informáticas Sistemas de tiempo-real Formal models Modelización y verificación formal Real time Herramientas de verificación automática Olivero, Alfredo Gaudiani, Adriana Maidana, Gabriela Modelización formal y verificación automática de sistemas de tiempo real
topic_facet	Ciencias Informáticas Sistemas de tiempo-real Formal models Modelización y verificación formal Real time Herramientas de verificación automática
description	Los sistemas de tiempo-real son sistemas en los cuales el tiempo juega un rol fundamental. Ejemplos de estos sistemas son los controles automáticos de navegación de aviones, los protocolos de comunicación, los procesos industriales automatizados, cajeros automáticos, controladores de radar, etc. El carácter crítico, en más de un sentido, de esta clase de sistemas ha evidenciado la necesidad de proveer métodos formales para su especificación y posterior verificación. Además, su creciente complejidad y tamaño justifica el desarrollo de herramientas que ayuden a su concepción y que automaticen su verificación. El objetivo de este proyecto está vinculado al desarrollo de herramientas para la verificación automática de sistemas de tiempo-real. Utilizaremos como marco de nuestro trabajo la herramienta KRONOS [BDMOTY98] (en la que uno de los autores ha trabajado desde 1992) estudiando métodos que permitan ampliar sus funcionalidades y mejorando algorítmicamente las técnicas utilizadas hasta el presente.
format	Objeto de conferencia Objeto de conferencia
author	Olivero, Alfredo Gaudiani, Adriana Maidana, Gabriela
author_facet	Olivero, Alfredo Gaudiani, Adriana Maidana, Gabriela
author_sort	Olivero, Alfredo
title	Modelización formal y verificación automática de sistemas de tiempo real
title_short	Modelización formal y verificación automática de sistemas de tiempo real
title_full	Modelización formal y verificación automática de sistemas de tiempo real
title_fullStr	Modelización formal y verificación automática de sistemas de tiempo real
title_full_unstemmed	Modelización formal y verificación automática de sistemas de tiempo real
title_sort	modelización formal y verificación automática de sistemas de tiempo real
publishDate	2000
url	http://sedici.unlp.edu.ar/handle/10915/22160
work_keys_str_mv	AT oliveroalfredo modelizacionformalyverificacionautomaticadesistemasdetiemporeal AT gaudianiadriana modelizacionformalyverificacionautomaticadesistemasdetiemporeal AT maidanagabriela modelizacionformalyverificacionautomaticadesistemasdetiemporeal
bdutipo_str	Repositorios
_version_	1764820465609605124

Modelización formal y verificación automática de sistemas de tiempo real

Ejemplares similares