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.