Analitzador gràfic de xarxa en entorn GNU

L'analitzador desenvolupat en aquest treball de final de grau, a diferència dels analitzadors de xarxa habituals, no pretén mostrar les dades contingudes en les trames dels paquets capturats, sinó mostrar la informació del tràfic de xarxa des d'un nivell d'abstracció per sobre, centrant-se en l'anàlisi dels protocols i els ports de servei que formen les comunicacions en les xarxes d'ordinadors.

Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias

Las redes de Petri son un lenguaje formal muy adecuado para la modelizacíon, ańalisis y verificacíon de sistemas concurrentes con infinitos estados. En particular, son muy apropiadas para estudiar las propiedades de seguridad de dichos sistemas, dadas sus buenas propiedades de decidibilidad. Sin embargo, en muchas ocasiones las redes de Petri carecen de la expresividad necesaria para representar algunas caracteŕısticas fundamentales de los sistemas que se manejan hoy en d́ıa, como el manejo de tiempo real, costes reales, o la presencia de varios procesos con un ńumero no acotado de estados ejecut́andose en paralelo. En la literatura se han definido y estudiado algunas extensiones de las redes de Petri para la representaci ́on de las caracteŕısticas anteriores. Por ejemplo, las “Redes de Petri Temporizadas” [83, 10](TPN) incluyen el manejo de tiempo real y las ν-redes de Petri [78](ν-PN) son capaces de representar un ńumero no acotado de procesos con infinitos estados ejecut́andose concurrentemente. En esta tesis definimos varias extensiones que réunen estas dos caracteŕısticas y estudiamos sus propiedades de decidibilidad. En primer lugar definimos las “ν-Redes de Petri Temporizadas”, que réunen las caracteŕısticas expresivas de las TPN y las ν-PN. Este nuevo modelo es capaz de representar sistemas con un ńumero no acotado de procesos o instancias, donde cada proceso es representado por un nombre diferente, y tiene un ńumero no acotado de relojes reales. En este modelo un reloj de una instancia debe satisfacer ciertas condiciones (pertenecer a un intervalo dado) para formar parte en el disparo de una transicíon. Desafortunadamente, demostramos que la verificacíon de propiedades de seguridad es indecidible para este modelo...

Gestió de xarxes Internet basada en SNMP

El treball es divideix en dos grans parts, una primera eminentment teòrica en la que s'estudia SNMP, i una segona íntegrament pràctica en la que s'implementa el protocol. Per a cada part es defineix una metodologia ben diferenciada.

Localitzador gràfic d'adreces IP

Tracta la realització de l'estudi sobre el sistema d'adreçament IP a Internet, a fi d'obtenir una aplicació que ens mostri gràficament sobre un mapa mundial el recorregut des de l'origen fins la destinació. També subministra informació parcial obtinguda al procés de consultes.

J2EE : proveïdor de seguretat en un entorn distribuit

Aquest TFC-J2EE, està basat en l'anàlisi, disseny i implementació d'un proveïdor de seguretat en un entorn distribuït. Ha consistit en dues aplicacions independents, una consumidora i l'altre servidora que es comunicaven usant el patró Façana (una façana amigable amaga el negoci i la complexitat de l'aplicació a la que es vol accedir).

Extensió de les capacitats de monitoratge de JFFNM en entorns Wlan

Aquest TFC pretén recollir un conjunt de paràmetres de radi d'un dispositiu Wireless i poder representar-los en l'aplicació de monitoratge Just For Fun Network Management System (JFFNMS).

NetEye - Network Monitoring, Zabbix implementation

Trabajo de presentación en formato PowerPoint del TFC NetEye- Zabbix, network monitoring implementation.

Análisis y diseño de una aplicación control de inventarios de una empresa lechera. "Holandesa"

El present treball consisteix en un sistema per a una empresa de producció i distribució de productes làctics basat en l'anàlisi i disseny amb les noves tecnologies. L'aplicació, que es dirà Control d'Inventaris, durà a terme la gestió del procés de revisió d'inventaris en magatzems registrant l'entrada de productes per a l'elaboració i la producció dels diferents productes. També realitzarà la gestió de reserves de comandes per a la seva cartera de clients.

Implantación sistema monitorización

Proyecto fin de Máster sobre la implantación de un sistema de monitorización.

Gestió de l'ample de banda en xarxes d'àmbit educatiu

En l'article s'analitza prèviament l'estat de l'art de la gestió de l'ample de banda en entorns educatius, presentant en base a diverses classificacions anteriors solucions i experiències proposades. Amb la proposta presentada, mitjançant els experiments de simulació efectuats i els tests en entorns reals es tracta de comprovar-ne el correcte comportament, demostrant la utilitat de la mateixa alhora de fer la gestió de l'ample de banda dels centres.

Disseny i implantació de l'estructura informàtica de DaVinci School

Creació d'una infraestructura informàtica d'un centre educatiu, amb xarxes separades per a aules, secretaria i seminaris. Serveis centralitzats en un servidor amb màquines virtuals.

Monitorització d'un centre de processament de dades d'una administració pública, mitjançant Nagios i Centreon

Es mostra la implantació d'un sistema de monitorització d'un CPD en una administració pública amb Nagios i Centreon, i es compara breument amb algunes alternatives.

NetEye - Network Monitoring, Zabbix implementation

Con este proyecto se pretende implementar en un entorno real la herramienta Zabbix de monitoring de red. La idea es realizar un estudio de las necesidades, instalar la plataforma base, comprobar con ejemplos reales que la plataforma cumple con las necesidades corporativas y por último diseñar el plan de acción para el despliegue final a la organización.