Extensió de l'entorn SMARD per permetre la depuració d'aplicacions basades en agents mòbils

Un dels principals obstacles per l’adopció dels agents mòbils, fins i tot per tasques per les quals s’ha demostrat la seva idoneïtat, és la dificultat de desenvolupar-los. Aquest projecte aporta solucions per ajudar en aquest procés. Més concretament, per provar agents i observar-ne el seu comportament en un entorn de simulació, abans d’executar-los en un escenari real. Hem afegit un depurador i un constructor d’agents mòbils a la interfície gràfica de disseny d’itineraris de l’entorn SMARD. Fent servir afegit aquests nous components, el programador pot dissenyar, construir i fer proves d’un agent mòbil des d’aquesta aplicació.

Gestión de recursos en nodos multi-core de memoria compartida

La gestión de recursos en los procesadores multi-core ha ganado importancia con la evolución de las aplicaciones y arquitecturas. Pero esta gestión es muy compleja. Por ejemplo, una misma aplicación paralela ejecutada múltiples veces con los mismos datos de entrada, en un único nodo multi-core, puede tener tiempos de ejecución muy variables. Hay múltiples factores hardware y software que afectan al rendimiento. La forma en que los recursos hardware (cómputo y memoria) se asignan a los procesos o threads, posiblemente de varias aplicaciones que compiten entre sí, es fundamental para determinar este rendimiento. La diferencia entre hacer la asignación de recursos sin conocer la verdadera necesidad de la aplicación, frente a asignación con una meta específica es cada vez mayor. La mejor manera de realizar esta asignación és automáticamente, con una mínima intervención del programador. Es importante destacar, que la forma en que la aplicación se ejecuta en una arquitectura no necesariamente es la más adecuada, y esta situación puede mejorarse a través de la gestión adecuada de los recursos disponibles. Una apropiada gestión de recursos puede ofrecer ventajas tanto al desarrollador de las aplicaciones, como al entorno informático donde ésta se ejecuta, permitiendo un mayor número de aplicaciones en ejecución con la misma cantidad de recursos. Así mismo, esta gestión de recursos no requeriría introducir cambios a la aplicación, o a su estrategia operativa. A fin de proponer políticas para la gestión de los recursos, se analizó el comportamiento de aplicaciones intensivas de cómputo e intensivas de memoria. Este análisis se llevó a cabo a través del estudio de los parámetros de ubicación entre los cores, la necesidad de usar la memoria compartida, el tamaño de la carga de entrada, la distribución de los datos dentro del procesador y la granularidad de trabajo. Nuestro objetivo es identificar cómo estos parámetros influyen en la eficiencia de la ejecución, identificar cuellos de botella y proponer posibles mejoras. Otra propuesta es adaptar las estrategias ya utilizadas por el Scheduler con el fin de obtener mejores resultados.

Disseny d'una eina de suport a la reutilització de codi

Aquest projecte tracta sobre el desenvolupament d'una eina de suport a la reutilització de codi de programació. L'eina té com a objectiu augmentar la productivitat dels desenvolupadors per mitjà de la reutilització de codi. Per facilitar la reutilització l'eina proposa un sistema jeràrquic on el codi de programació i la diferent informació sobre aquest es guarden en anotacions, les anotacions formen part d'una pàgina i els conjunts de pàgines són organitzats en projectes.

Implantación de una solución SIG para la ayuda a la toma dedecisiones para la explotación de recursos del subsuelo

L'objectiu és una aplicació que permeti realitzar el càlcul del volum de terres disponibles en el subsòl d'un àrea seleccionada. L'objectiu final del projecte serà crear un Sistema d'Informació Geogràfica SIG que ajudi a valorar quines parcel¿les de l'àrea seleccionada són les que disposen de més volum de terres per iniciar la seva explotació. Per a això, es disposa del programari gvSIG i les seves extensions (SEXTANTE) i de tota la informació que es pugui obtenir sobre els SIG, Cartografia, Geodèsia... Per dur a terme aquest projecte es necessita tenir experiència en Bases de dades, Programació Orientada a Objectes i seria recomanable tenir coneixements sobre Enginyeria del Programador. El projecte se centrarà en la utilització de gvSIG, com un exemple concret de programari SIG de lliure accés, solució desenvolupada per la ¿Conselleria d%o2019Obris Publiquis de la Generalitat Valenciana¿. Una part d'aquest projecte consistirà a avaluar aquest programari. El resultat final serà l'obtenció dels coneixements necessaris per poder treballar amb dades espacials a més d'una aplicació SIG per al càlcul del volum de terres d'un àrea seleccionada.

Disseny i implementació d'un marc de treball de presentació amb XML per a aplicacions J2EE a partir del Framework Struts

L'objectiu principal d'aquest projecte és la separació total dels rols de programador i de dissenyador de vistes en el disseny d'aplicacions distribuïdes fetes mitjançant tecnologia J2EE, i també el suport d'una sola aplicació a diferents tipus de client i idiomes alhora, sense la necessitat de codi extra o específic per a aconseguir-ho.

Diseño e implementación de un marco de trabajo de presentación para aplicación J2EE

El projecte pretén definir i crear un conjunt d'utilitats i pautes de programació que permetin al programador implementar aplicacions J2EE seguint el patró de disseny MVC.

Desenvolupament d'un sistema de transferència de software per una placa entrenadora

El departament d’electrònica i telecomunicacions de la Universitat de Vic ha dissenyat un conjunt de plaques entrenadores amb finalitat educativa. Perquè els alumnes puguin utilitzar aquestes plaques com a eina d’estudi, és necessari disposar d’un sistema de gravació econòmic i còmode. La major part dels programadors, en aquest cas, no compleixen amb aquests requeriments. L’objectiu d’aquest projecte és dissenyar un sistema de programació que utilitzi la comunicació sèrie i que no requereixi d'un hardware ni software específics. D’aquesta manera, obtenim una placa autònoma i un programador gratuït, de muntatge ràpid i simple d’utilitzar. El sistema de gravació dissenyat s’ha dividit en tres blocs. Per una banda, un programa que anomenem “programador” encarregat de transferir codi de programa des de l’ordinador al microcontrolador de la placa entrenadora. Per altra banda, un programa anomenat “bootloader”, situat al microcontrolador, permet rebre aquest codi de programa i emmagatzemar-lo a les direccions de memòria de programa corresponents. Com a tercer bloc, s’implementa un protocol de comunicació i un sistema de control d’errors per tal d’assegurar una correcta comunicació entre el “programador” i el “bootloader”. Els objectius d’aquest projecte s’han complert i per les proves realitzades, el sistema de programació ha funcionat correctament.

A bio-inspired agent-based programming environment for pervasive platforms

Abstract in English : Ubiquitous Computing is the emerging trend in computing systems. Based on this observation this thesis proposes an analysis of the hardware and environmental constraints that rule pervasive platforms. These constraints have a strong impact on the programming of such platforms. Therefore solutions are proposed to facilitate this programming both at the platform and node levels. The first contribution presented in this document proposes a combination of agentoriented programming with the principles of bio-inspiration (Phylogenesys, Ontogenesys and Epigenesys) to program pervasive platforms such as the PERvasive computing framework for modeling comPLEX virtually Unbounded Systems platform. The second contribution proposes a method to program efficiently parallelizable applications on each computing node of this platform. Résumé en Français : Basée sur le constat que les calculs ubiquitaires vont devenir le paradigme de programmation dans les années à venir, cette thèse propose une analyse des contraintes matérielles et environnementale auxquelles sont soumises les plateformes pervasives. Ces contraintes ayant un impact fort sur la programmation des plateformes. Des solutions sont donc proposées pour faciliter cette programmation tant au niveau de l'ensemble des noeuds qu'au niveau de chacun des noeuds de la plateforme. La première contribution présentée dans ce document propose d'utiliser une alliance de programmation orientée agent avec les grands principes de la bio-inspiration (Phylogénèse, Ontogénèse et Épigénèse). Ceci pour répondres aux contraintes de programmation de plateformes pervasives comme la plateforme PERvasive computing framework for modeling comPLEX virtually Unbounded Systems . La seconde contribution propose quant à elle une méthode permettant de programmer efficacement des applications parallélisable sur chaque noeud de calcul de la plateforme

MyTopRoom : Aplicación para Android: Buscador de ofertas de hoteles

El objetivo de este proyecto es el desarrollo de una aplicación móvil para dispositivos con sistema operativo Android que permita la búsqueda de ofertas de hotel de una forma diferente a las actuales. Para ello se ha empleado el modelo del ciclo de vida en cascada, con las fases de análisis, diseño, construcción y pruebas del sistema desarrollado. El software final sigue una arquitectura de tipo cliente/servidor y ha sido realizado con Java como lenguaje base de programación, haciendo uso de algunas librerías como Apache HTTP Request para las conexiones con el servidor remoto como las propias de Android, que facilitan la creación de interfaces gráficas y la gestión de los recursos de los dispositivos en el desarrollo de aplicaciones móviles.

Web Client for Smart Messaging Exchange

TeliaSoneran älykkään viestintäjärjestelmän kehitysluonnoksella (SME) pilotoidaan prototyyppipalveluita, joiden avulla asiakkaat voivat välittää viestejä matkapuhelimilla sekä tietokoneilla. SME:n peruspalveluita voidaan käyttää SIP-standardin mukaisilla asiakasohjelmilla sekä SME:n omilla WAP- ja WWW-käyttöliittymillä. Käyttäjät voivat nähdä toistensa tilatiedon, muuttaa omaa tilatietoaan sekä lähettää SIP-pikaviestejä, sähköpostiviestejä ja tekstiviestejä. Käyttäjät voivat myös ylläpitää listaa yhteyshenkilöistään, vastaanottaa pikaviestejä ja selata vastaanotettuja viestejä. Diplomityössä käsitellään yleisesti SME-järjestelmän rakennetta ja paneudutaan tutkimaan työssä toteutetun SME:n WWW-asiakasohjelman toteutusta. Diplomityössä käydään läpi projektiin liittyviä standardeja, suosituksia, toteustekniikoita sekä palveluita. Lisäksi tarkastellaan työssä hyödynnettyjä ohjelmointirajapintoja, nykyisiä älypuhelimia sekä niiden Internet-selaimia, jotka rajoittavat WWW-asiakaspalvelun toteutuksessa käytettyjä toteutustekniikkavaihtoehtoja. Lopuksi esitellään toteutettujen ohjelmistojen sisäistä rakennetta ja toimintaa.

ÄLYKKÄIDEN PALVELUJEN JA YHTEYSPALVELIMEN TOTEUTUS H.323-VIESTINTÄVERKKOON

Soneran IP-viestintäverkko on monipuolisia viestintäpalveluita asiakkaille tarjoava palvelualusta. Palveluihin kuuluvat ITU-T:n H.323-suosituksen mukaiset ääni- ja videopuhelut. Työssä toteutettiin viestintäverkkoon kokonaisuus, joka tarjoaa verkon käyttäjille puheluiden kytkennän ja reitityksen sekä useita älykkäitä palveluita. Kokonaisuus koostuu kahdesta komponentista. Puheluiden kytkemisen ja reitityksen sekä signaloinnin hoitaa H.323-suosituksen mukainen yhteyspalvelin Sonera Gatekeeper. Palvelujen toteuttamiseen tarvittavat tiedot säilytetään LDAP-hakemistossa. Työssä esitellään yleisimpiä suosituksia, joita käytetään äänen, videokuvan ja muun median siirtämiseen tietoverkoissa. Tarkimmin käsitellään H.323-suositusta ja muita työssä käytettyjä suosituksia. Lisäksi tarkastellaan työssä hyödynnettyjä ohjelmointirajapintoja ja vertaillaan toteutettua IP-pohjaista älykkäiden palvelujen toteutustapaa tavallisen puhelinverkon asiakkaille vastaavia palveluita tarjoavaan älyverkkoon. Lopuksi esitellään toteutettujen ohjelmistojen rakennetta.

Acción educativa para la prevención y el tratamiento de la neglicencia parental en el barrio de Can Rull del municipio de Sabadell

Este trabajo se inscribe en el ámbito de la prevención de la negligencia parental. Basado en un proceso teórico-práctico, el programa de intervención está sujeto a la línea de los programas de formación de padres, por lo que sigue una dinámica psico-educativa y comunitaria. Para la realización del trabajo se ha partido de la idea que la familia es la base del desarrollo personal de los humanos y que el buen desarrollo de los menores dependerá en gran parte de las relaciones intrafamiliares. Se establece como objetivo principal ofrecer un servicio específico, estable y continuo, vinculado a los servicios de atención a la infancia y a la familia, que trabaje con el fin de conseguir un cambio conductual en aquellas familias en las que se presente una dinámica parental negligente. La metodología utilizada ha combinado diferentes técnicas de investigación. Para el trabajo de documentación se ha realizado una búsqueda bibliográfica alrededor del concepto de negligencia parental, se han analizado las acciones que se llevan a cabo a nivel institucional y se ha establecido el marco conceptual en el que se incluye tanto los aspectos legal de las diferentes áreas de la administración como aquellos conceptos que forman la estructura de una intervención en el ámbito de la infancia y la familia. También se ha tenido en cuenta la comunicación directa con algunos profesionales del ámbito social, sanitario y educativo como parte importante y determinante del proceso de ejecución del programa. El diseño del programa sigue la metodología del planeamiento estratégico e incluye un diagnóstico preliminar, un plan de acción detallado de las diferentes fases de implementación de la propuesta de intervención, la previsión de mecanismos de evaluación y un presupuesto detallado. En la primera parte del trabajo se refleja la gravedad y el impacto que tiene la negligencia parental en nuestra sociedad, observando la evolución histórica del concepto y la visualización de la problemática a la que va asociado. También se expone la necesidad de crear programas destinados a trabajar esta problemática y una revisión del marco legal que regula la atención a la infancia por parte de las administraciones públicas. En una segunda parte, se propone un programa específico destinado a trabajar la negligencia parental desde una perspectiva de reeducación y cambio conductual. Este proyecto de intervención se ubica en el barrio de Can Rull en Sabadell, del cual se detallan sus especificidades socioeconómicas y su realidad institucional.

Desenvolupament d'un sistema de transferència de software per una placa entrenadora

El departament d’electrònica i telecomunicacions de la Universitat de Vic ha dissenyat un conjunt de plaques entrenadores amb finalitat educativa. Perquè els alumnes puguin utilitzar aquestes plaques com a eina d’estudi, és necessari disposar d’un sistema de gravació econòmic i còmode. La major part dels programadors, en aquest cas, no compleixen amb aquests requeriments. L’objectiu d’aquest projecte és dissenyar un sistema de programació que utilitzi la comunicació sèrie i que no requereixi d'un hardware ni software específics. D’aquesta manera, obtenim una placa autònoma i un programador gratuït, de muntatge ràpid i simple d’utilitzar. El sistema de gravació dissenyat s’ha dividit en tres blocs. Per una banda, un programa que anomenem “programador” encarregat de transferir codi de programa des de l’ordinador al microcontrolador de la placa entrenadora. Per altra banda, un programa anomenat “bootloader”, situat al microcontrolador, permet rebre aquest codi de programa i emmagatzemar-lo a les direccions de memòria de programa corresponents. Com a tercer bloc, s’implementa un protocol de comunicació i un sistema de control d’errors per tal d’assegurar una correcta comunicació entre el “programador” i el “bootloader”. Els objectius d’aquest projecte s’han complert i per les proves realitzades, el sistema de programació ha funcionat correctament.

Uuden robottisolun ohjelmointitavan mahdollisuudet pienille ja keskisuurille yrityksille

Robotin ohjelmointi on aikaa vievää ja tarvitsee robotin ohjelmoinnin tuntevan operaattorin toimimaan robotin opettajana. Saadakseen robottisolun kustannustehokkaaksi operaattorilla olisi hyvä olla useampi solu hoidettavanaan samaan aikaan. Tämä ei ole suuri ongelma suurille yrityksille, joissa voi olla kymmeniä robottisoluja. Jos kyseessä on pieni tai keskisuuri yritys, automatisointi-investointi voi jäädä tekemättä ohjelmoinnin vaikeuden aiheuttaman ongelman vuoksi. Diplomityössä keskityttiin tutkimaan robotisointia pienten ja keskisuurten yritysten kannalta. Teoriaosassa on keskitytty robottisolun suunnittelun kannalta tarvittaviin perustietoihin robotin rakenteesta, ohjausjärjestelmästä, ohjelmoinnista sekä turvallisuudesta. Näiden perustietojen lisäksi on huomioitu hitsauksen automatisointia sekä taluttamalla ohjelmoitavan robottisolun tekninen konsepti. Taluttamalla ohjelmoitavan robottisolun konseptin käsittelyosassa on myös perehdytty taluttamalla ohjelmoinnin vaatimiin komponentteihin kuten voima/vääntö-anturi. Robottisolun suunnittelu on tehtävä koneasetuksen vaatimusten mukaan. Turvallisuus osiossa on käsitelty koneasetuksen vaatimuksia koneensuunnittelulle ja käytännön osassa on käsitelty Winnovan taluttamalla ohjelmoitavan robottisolun suunnittelua koneasetuksen ohjeiden mukaan. Käytännön osassa on tutkittu taluttamalla ohjelmoinnin tuomia etuja muihin ohjelmointimenetelmiin nähden sekä suoritettu investointilaskelmat taluttamalla ohjelmoitavasta ja opettamalla ohjelmoitavasta robottisolusta. Koetuloksista nähdään taluttamalla ohjelmoinnin olevan nopeampi ja yksinkertaisempi tapa ohjelmoida robottia kuin opettamalla ohjelmointi. Investointilaskelmien vertailusta nähdään taluttamalla ohjelmoinnin tulevan opettamalla ohjelmointia edullisemmaksi vaihtoehdoksi käyttökustannusten edullisuuden ansiosta.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.