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...
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
1998
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24111 |
| Aporte de: |
| Sumario: | 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. |
|---|