Sistemas distribuidos de tiempo real : Modelización y verificación de las restricciones de tiempo
La naturaleza de los sistemas distribuidos de tiempo real (SDTR) requiere técnicas de análisis, diseño y prueba especificas que permitan representar las situaciones típicas de estos sistemas. Un sistema distribuido de tiempo real debe interactuar con el mundo real, en puntos físicamente distantes,...
Guardado en:
Autores principales: | , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Español |
Publicado: |
1999
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/22203 |
Aporte de: |
id |
I19-R120-10915-22203 |
---|---|
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 Parallel processing Sistemas Distribuídos Distributed Tiempo Real restricciones de tiempo Distributed systems Real time |
spellingShingle |
Ciencias Informáticas Parallel processing Sistemas Distribuídos Distributed Tiempo Real restricciones de tiempo Distributed systems Real time Pesado, Patricia Mabel De Giusti, Armando Eduardo Sistemas distribuidos de tiempo real : Modelización y verificación de las restricciones de tiempo |
topic_facet |
Ciencias Informáticas Parallel processing Sistemas Distribuídos Distributed Tiempo Real restricciones de tiempo Distributed systems Real time |
description |
La naturaleza de los sistemas distribuidos de tiempo real (SDTR) requiere técnicas de análisis, diseño y prueba especificas que permitan representar las situaciones típicas de estos sistemas.
Un sistema distribuido de tiempo real debe interactuar con el mundo real, en puntos físicamente distantes, en periodos de tiempo que vienen determinados por el contexto o las restricciones de la especificación (en muchos casos a partir de una activación asincrónica).
La evolución tecnológica en el tratamiento de señales (locales o remotas) y en los sistemas de comunicaciones ha impulsado enormemente esta área temática, sobre todo en los aspectos de planificación y desarrollo de software para Sistemas Distribuidos de Tiempo Real.
Como cualquier sistema basado en computadora, un SDTR debe integrar software, hardware, personas, bases de datos, no solo para cumplir con los requisitos funcionales del sistema, sino también con los requerimientos de rendimiento. |
format |
Objeto de conferencia Objeto de conferencia |
author |
Pesado, Patricia Mabel De Giusti, Armando Eduardo |
author_facet |
Pesado, Patricia Mabel De Giusti, Armando Eduardo |
author_sort |
Pesado, Patricia Mabel |
title |
Sistemas distribuidos de tiempo real : Modelización y verificación de las restricciones de tiempo |
title_short |
Sistemas distribuidos de tiempo real : Modelización y verificación de las restricciones de tiempo |
title_full |
Sistemas distribuidos de tiempo real : Modelización y verificación de las restricciones de tiempo |
title_fullStr |
Sistemas distribuidos de tiempo real : Modelización y verificación de las restricciones de tiempo |
title_full_unstemmed |
Sistemas distribuidos de tiempo real : Modelización y verificación de las restricciones de tiempo |
title_sort |
sistemas distribuidos de tiempo real : modelización y verificación de las restricciones de tiempo |
publishDate |
1999 |
url |
http://sedici.unlp.edu.ar/handle/10915/22203 |
work_keys_str_mv |
AT pesadopatriciamabel sistemasdistribuidosdetiemporealmodelizacionyverificaciondelasrestriccionesdetiempo AT degiustiarmandoeduardo sistemasdistribuidosdetiemporealmodelizacionyverificaciondelasrestriccionesdetiempo |
bdutipo_str |
Repositorios |
_version_ |
1764820465333829633 |