Ingeniería de software de sistemas distribuidos de tiempo real modelización y evaluación de las restricciones de tiempo

Se presenta un análisis de las extensiones en la metodología clásica de análisis y diseño de software, orientada a sistemas distribuidos de tiempo real (SDTR). En particular se discute el modo de modelizar y verificar las restricciones de tiempo, utilizando Redes de Petri extendidas. A modo de...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: De Giusti, Armando Eduardo, Ramón, Hugo Dionisio, Fernández, Pamela, Artime, Andrea
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1998
Materias:
Ciencias Informáticas
Informática
tiempo real
SOFTWARE ENGINEERING
redes de Petri
Real time
Petri nets
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24111
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24111
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
Informática
tiempo real
SOFTWARE ENGINEERING
redes de Petri
Real time
Petri nets
spellingShingle Ciencias Informáticas
Informática
tiempo real
SOFTWARE ENGINEERING
redes de Petri
Real time
Petri nets
De Giusti, Armando Eduardo
Ramón, Hugo Dionisio
Fernández, Pamela
Artime, Andrea
Ingeniería de software de sistemas distribuidos de tiempo real modelización y evaluación de las restricciones de tiempo
topic_facet Ciencias Informáticas
Informática
tiempo real
SOFTWARE ENGINEERING
redes de Petri
Real time
Petri nets
description Se presenta un análisis de las extensiones en la metodología clásica de análisis y diseño de software, orientada a sistemas distribuidos de tiempo real (SDTR). En particular se discute el modo de modelizar y verificar las restricciones de tiempo, utilizando Redes de Petri extendidas. A modo de ejemplo concreto de aplicación se analiza el desarrollo de un sistema de software que detecta en tiempo real el corte de cables telefónicos troncales y utiliza información de GIS para alertar a los responsables de seguridad de la zona del corte. El área donde se experimenta el sistema es la Capital Federal.
format Objeto de conferencia
Objeto de conferencia
author De Giusti, Armando Eduardo
Ramón, Hugo Dionisio
Fernández, Pamela
Artime, Andrea
author_facet De Giusti, Armando Eduardo
Ramón, Hugo Dionisio
Fernández, Pamela
Artime, Andrea
author_sort De Giusti, Armando Eduardo
title Ingeniería de software de sistemas distribuidos de tiempo real modelización y evaluación de las restricciones de tiempo
title_short Ingeniería de software de sistemas distribuidos de tiempo real modelización y evaluación de las restricciones de tiempo
title_full Ingeniería de software de sistemas distribuidos de tiempo real modelización y evaluación de las restricciones de tiempo
title_fullStr Ingeniería de software de sistemas distribuidos de tiempo real modelización y evaluación de las restricciones de tiempo
title_full_unstemmed Ingeniería de software de sistemas distribuidos de tiempo real modelización y evaluación de las restricciones de tiempo
title_sort ingeniería de software de sistemas distribuidos de tiempo real modelización y evaluación de las restricciones de tiempo
publishDate 1998
url http://sedici.unlp.edu.ar/handle/10915/24111
work_keys_str_mv AT degiustiarmandoeduardo ingenieriadesoftwaredesistemasdistribuidosdetiemporealmodelizacionyevaluaciondelasrestriccionesdetiempo
AT ramonhugodionisio ingenieriadesoftwaredesistemasdistribuidosdetiemporealmodelizacionyevaluaciondelasrestriccionesdetiempo
AT fernandezpamela ingenieriadesoftwaredesistemasdistribuidosdetiemporealmodelizacionyevaluaciondelasrestriccionesdetiempo
AT artimeandrea ingenieriadesoftwaredesistemasdistribuidosdetiemporealmodelizacionyevaluaciondelasrestriccionesdetiempo
bdutipo_str Repositorios
_version_ 1764820466628820995

Ejemplares similares