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: | De Giusti, Armando Eduardo, Ramón, Hugo Dionisio, Fernández, Pamela, Artime, Andrea |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
1998
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24111 |
| Aporte de: |
Ejemplares similares
-
Business process modeling using petri nets with clocks
por: Riesco, Daniel Eduardo, et al.
Publicado: (2001) -
Enhancing the adoption of formal methods to design real-time systems
por: Felder, Miguel, et al.
Publicado: (1996) -
IP core para redes de Petri con tiempo
por: Micolini, Orlando, et al.
Publicado: (2013) -
Aplicación de redes de Petri en la resolución de problemas
por: Moralejo, Lucrecia
Publicado: (2015) -
Modelización de un protocolo de nivel II con repetición selectiva optimizada usando redes de Petri : Proyecto de software
por: Sposato, Marisa, et al.
Publicado: (1997)