Tecniche per lo sviluppo di sistemi software ad alta affidabilità

Al giorno d’oggi è sempre maggiore la richiesta di sistemi software affidabili, in grado cioè di adempiere alle proprie funzioni nel modo corretto anche qualora si dovessero verificare dei problemi interni o esterni al sistema. I sistemi informatici complessi sono sempre più chiamati a svolgere compiti altamente critici, che coinvolgono la sicurezza e l’incolumità delle persone. Si pensi per esempio ai sistemi di controllo di aerei, delle centrali nucleari, dei sistemi ferroviari o anche solo ai sistemi di transazioni monetarie. É importante per questi sistemi adottare tecniche in grado di mantenere il sistema in uno stato correttamente funzionante ed evitare che la fornitura del servizio possa essere interrotta dal verificarsi di errori. Tali tecniche possono essere implementate sia a livello hardware che a livello software. È tuttavia interessante notare la differenza che intercorre tra i due livelli: l’hardware può danneggiarsi e quindi la semplice ridondanza dei componenti è in grado di far fronte ad un eventuale malfunzionamento di uno di questi. Il software invece non può rompersi e quindi la semplice ridondanza dei moduli software non farebbe altro che replicare il problema. Il livello software necessita dunque di tecniche di tolleranza ai guasti basate su un qualche tipo di diversità nella realizzazione della ridondanza. Lo scopo di questa tesi è appunto quello di approfondire le varie tipologie di diversità utilizzabili a livello software e il funzionamento delle tecniche appartenenti a queste tipologie.

El impacto de la enseñanza de métricas de software en la implementación de un sistema computacional por Edgar Danilo Domínguez Vera

Tesis (Maestría en Ciencias de la Administración con Especialidad en Sistemas) U.A.N.L.

Sviluppo di una piattaforma software per acquisizione dati da un sistema di misura di impedenze

Il progetto è il proseguimento di una tesi di laurea1 in cui si è studiato un metodo di analisi della salute della pelle non invasivo. A tale scopo si è approfondito il tema della spettroscopia d'impedenza ed è stato realizzato un sistema per la loro misura. Questo sistema prevede l'utilizzo di una parte analogica formata da un generatore di segnale sinusoidale a frequenza variabile e la circuiteria per estrarre i valori efficaci di tensione e corrente e il valore di fase. La parte digitale, invece, condiziona il segnale del blocco analogico agendo su trimmer digitali, acquisisce i dati e li trasmette tramite la UART. Lo strumento effettuava le misurazioni ed inviava continuamente i dati grezzi al computer, tramite un convertitore UART/USB, risultando poco versatile. L'obiettivo del progetto è realizzare una piattaforma software che comunichi con l'hardware, permettendo la configurazione dello strumento e la manipolazione dei dati grezzi ricevuti, svincolando quindi l'utente dai problemi di basso livello. Si è studiato un protocollo di comunicazione che permette la trasmissione di maggiore informazione e sono stati scelti dei comandi mnemonici che lo strumento possa facilmente interpretare. Il progetto prevede quindi una prima fase di modifica del vecchio firmware, in modo che il microcontrollore possa leggere e comprendere i dati ricevuti tramite la UART. Nella seconda fase si è sviluppato il software utilizzando il linguaggio di programmazione Java. Lo sviluppo comprende lo studio delle librerie grafiche offerte da JavaFX (soprattutto per la rappresentazione dei dati grezzi in grafici a due assi), di un metodo di gestione e salvataggio su disco delle impostazioni del sistema, della comunicazione seriale e infine del sistema software nella sua completezza. Alcune prove sperimentali sono infine state svolte per verificare la funzionalità dei due sistemi, firmware e software.

Incorporação de Software multimédia e de informação em sistema informação geográfica

Dissertação de mestrado, Geomática, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2014

IPSFlow: Um framework para Sistema de Prevenção de Intrusão baseado em Redes Definidas por Software

Os Sistemas de Detecção e Prevenção de Intrusão (Intrusion Detection Systems – IDS e Intrusion Prevention Systems - IPS) são ferramentas bastante conhecidas e bem consagradas no mundo da segurança da informação. Porém, a falta de integração com os equipamentos de rede como switches e roteadores acaba limitando a atuação destas ferramentas e exige um bom dimensionamento de recursos de hardware como processamento, memória e interfaces de rede de alta velocidade, utilizados para implementá-las. Diante de diversas limitações deparadas por pesquisadores e administradores de redes, surgiu o conceito de Rede Definida por Software (Software Defined Network – SDN), que ao separar os planos de controle e de dados, permite adaptar o funcionamento da rede de acordo com as necessidades de cada um. Desta forma, devido à padronização e flexibilidade propostas pelas SDNs, e das limitações apresentadas dos IPSs, esta dissertação de mestrado propõe o IPSFlow, um framework que utiliza uma rede baseada na arquitetura SDN e o protocolo OpenFlow para a criação de um IPS com ampla cobertura e que permite bloquear um tráfego caracterizado pelos IDS(s) como malicioso no equipamento mais próximo da origem. Para validar o framework, experimentos no ambiente virtual Mininet foram realizados utilizando-se o Snort como IDS para analisar tráfego de varredura (scan) gerado pelo Nmap de um host ao outro. Os resultados coletados apresentam que o IPSFlow funcionou conforme planejado ao efetuar o bloqueio de 85% do tráfego de varredura.

Un Sistema de prospección arqueológica asistida por SIG libre: diseño, puesta en práctica y perspectivas futuras

Desde 2000 desarrollamos proyectos de prospección arqueológica asistidos por SIG en la comarca de La Serena (Badajoz), con el objetivo principal de comprender la evolución de los paisajes rurales a lo largo de distintos periodos. Uno de los intereses principales de este proyecto es la mejora de los métodos de registro en campo para organizar de una forma rápida y eficaz la gran cantidad de datos de distinto tipo que se obtienen tras una jornada de trabajo. El propio diseño de la prospección arqueológica exige un intercambio de datos constante entre ordenadores y dispositivos móviles, como GPS y PDA, para lo que es necesario un entorno informático que ejecute estas tareas de una forma organizada. (...)

Propuesta de una arquitectura software basada en servicios para la implementación de repositorios de objetos de aprendizaje distribuidos.

Esta investigación se propone facilitar una arquitectura software para la construcción de un sistema capaz de localizar objetos de aprendizaje de forma universal para integrarlos en un sistema de teleformación. Estos sistemas utilizan objetos de aprendizaje que residen en repositorios, accesibles a través de una red de comunicaciones. El objetivo de un repositorio es facilitar la reutilización de dichos recursos educativos, facilitando su acceso. Para reutilizar un objeto de aprendizaje debe ajustarse a algún estándar de etiquetado de metadatos. Los sistemas de teleformación emplean Internet como medio de comunicación de contenidos, sin hacer uso de otras posibilidades. En ellos se integran contenidos almacenados en un repositorio con las herramientas que ayudan a la docencia, y suele ser habitual que no accedan a repositorios externos. La arquitectura existente dificulta la evolución de su desarrollo y accesibilidad. Es necesaria una arquitectura realmente distribuida, en la que cada elemento sea capaz de interactuar con los otros. Se debe sustentar en metadatos asociados a objetos docentes y en protocolos, para poder modificar las herramientas actuales. Se propone la definición de un marco funcional y arquitectónico para la adaptación de un sistema, implementado sobre servicios web y basado en una arquitectura orientada a servicios, que asegure la interoperabilidad entre repositorios de objetos de aprendizaje y que favorezca su reutilización.. En este trabajo, en primer lugar, se analiza el estado actual de los sistemas de teleformación. Se hace hincapié en el estudio de los repositorios que los sustentan y de los estándares que indican cómo construirlos. Se señalan las limitaciones existentes y se definen propuestas para superarlas. Se propone una arquitectura en capas que ha de satisfacer unos requisitos que deberán considerarse en cualquier sistema que se base en dicha arquitectura. Además se definen los componentes necesarios de la arquitectura para asegurar la funcionalidad requerida, el flujo de información y las relaciones entre ellos. Para validar la arquitectura propuesta, se describe un prototipo real creado a partir de los principios propuestos.. En último lugar se exponen las conclusiones y trabajos futuros relacionados con los temas abordados. Se incluyen las fuentes documentales empleadas, sin exhaustividad, dado que el contexto de este trabajo está sometido a cambios continuos..

Aplicación de un modelo de costos ABC a una empresa de desarrollo e implementación de software. Caso: Gestión de Personal S.A.

El propósito de la presente tesis es aplicar un sistema de costeo por actividades en la empresa Gestión de Personal S.A., para costear un proyecto de implementación y soporte de un software de recursos humanos y nómina y comparar los resultados con el sistema de costos tradicional por órdenes de trabajo que actualmente aplica la empresa. Se comienza con la justificación, objetivos y metodología utilizada para realizar la investigación. En el capítulo 1 se desarrolla el concepto de los costos tradicionales y su comparación respecto al costeo por actividades. Se establecen los fundamentos del costeo por actividades, se explican las definiciones básicas del costeo y la administración por actividades. En el capítulo 2 se menciona la situación actual de la Empresa Gestión de Personal S.A. en el manejo de costos. Se detalla a que se dedica la Empresa, cuáles son sus productos y servicios, cuáles son sus procesos y su cadena de valor, cómo se manejan los costos y los precios de los productos y servicios actualmente en esta Empresa y los logros alcanzados con el sistema de costos que utilizan hoy en día. Finalmente en el capítulo 3 se diseña el sistema de costos por actividades para la Empresa Gestión de Personal S.A. con el esquema conceptual del modelo, la ejecución en cuatro pasos del sistema en un proyecto de implementación de software, para verificar valores con el sistema tradicional de costos. Se analizan los resultados y se establecen acciones de mejora en base a ellos. La investigación termina con las conclusiones y recomendaciones encontradas.

SISOnt: sistema de informação em saúde baseado em ontologias

The sharing of knowledge and integration of data is one of the biggest challenges in health and essential contribution to improve the quality of health care. Since the same person receives care in various health facilities throughout his/her live, that information is distributed in different information systems which run on platforms of heterogeneous hardware and software. This paper proposes a System of Health Information Based on Ontologies (SISOnt) for knowledge sharing and integration of data on health, which allows to infer new information from the heterogeneous databases and knowledge base. For this purpose it was created three ontologies represented by the patterns and concepts proposed by the Semantic Web. The first ontology provides a representation of the concepts of diseases Secretariat of Health Surveillance (SVS) and the others are related to the representation of the concepts of databases of Health Information Systems (SIS), specifically the Information System of Notification of Diseases (SINAN) and the Information System on Mortality (SIM)

Sistema de arquivos distribuído flexível e adaptável

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Gerenciamento integrado de rede local com software livre

Pós-graduação em Engenharia Elétrica - FEIS

Apoio à gerência de requisitos de software utilizando Design Rationale

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Sistema para cambiar la geometría de un motor

En este proyecto se desarrolla un sistema electrónico para variar la geometría de un motor de un monoplaza que participa en la competición Fórmula SAE. Fórmula SAE es una competición de diseño de monoplazas para estudiantes, organizado por “Society of Automotive Enginners” (SAE). Este concurso busca la innovación tecnológica de la automoción, así como que estudiantes participen en un trabajo real, en el cual el objetivo es obtener resultados competitivos cumpliendo con una serie de requisitos. La variación de la geometría de un motor en un vehículo permite mejorar el rendimiento del monoplaza consiguiendo elevar el par de potencia del motor. Cualquier mejora en del vehículo en un ámbito de competición puede resultar determinante en el desenlace de la misma. El objetivo del proyecto es realizar esta variación mediante el control de la longitud de los tubos de admisión de aire o “runners” del motor de combustión, empleando un motor lineal paso a paso. A partir de la información obtenida por sensores de revoluciones del motor de combustión y la posición del acelerador se debe controlar la distancia de dichos tubos. Integrando este sistema en el bus CAN del vehículo para que comparta la información medida al resto de módulos. Por todo esto se realiza un estudio aclarando los aspectos generales del objetivo del trabajo, para la comprensión del proyecto a realizar, las posibilidades de realización y adquisición de conocimientos para un mejor desarrollo. Se presenta una solución basada en el control del motor lineal paso a paso mediante el microcontrolador PIC32MX795F512-L. Dispositivo del fabricante Microchip con una arquitectura de 32 bits. Este dispone de un módulo CAN integrado y distintos periféricos que se emplean en la medición de los sensores y actuación sobre el motor paso a paso empleando el driver de Texas Instruments DRV8805. Entonces el trabajo se realiza en dos líneas, una parte software de programación del control del sistema, empleando el software de Microchip MPLABX IDE y otra parte hardware de diseño de una PCB y circuitos acondicionadores para la conexión del microcontrolador, con los sensores, driver, motor paso a paso y bus CAN. El software empleado para la realización de la PCB es Orcad9.2/Layout. Para la evaluación de las medidas obtenidas por los sensores y la comprobación del bus CAN se emplea el kit de desarrollo de Microchip, MCP2515 CAN Bus Monitor Demo Board, que permite ver la información en el bus CAN e introducir tramas al mismo. ABSTRACT. This project develops an electronic system to vary the geometry of a car engine which runs the Formula SAE competition. Formula SAE is a design car competition for students, organized by "Society of Automotive Engineers" (SAE). This competition seeks technological innovation in the automotive industry and brings in students to participate in a real job, in which the objective is to obtain competitive results in compliance with certain requirements. Varying engine’s geometry in a vehicle improves car’s performance raising engine output torque. Any improvement in the vehicle in a competition field can be decisive in the outcome of it. The goal of the project is the variation by controlling the length of the air intake pipe or "runners" in a combustion engine, using a linear motor step. For these, uses the information gathered by speed sensors from the combustion engine and by the throttle position to control the distance of these tubes. This system is integrated in the vehicle CAN bus to share the information with the other modules. For all this is made a study to clarify the general aspects of the project in order to understand the activities developed inside the project, the different options available and also, to acquire knowledge for a better development of the project. The solution is based on linear stepper motor control by the microcontroller PIC32MX795F512-L. Device from manufacturer Microchip with a 32-bit architecture. This module has an integrated CAN various peripherals that are used in measuring the performance of the sensors and drives the stepper motor using Texas Instruments DRV8805 driver. Then the work is done in two lines, first, control programming software system using software MPLABX Microchip IDE and, second, hardware design of a PCB and conditioning circuits for connecting the microcontroller, with sensors, driver stepper motor and CAN bus. The software used to carry out the PCB is Orcad9.2/Layout. For the evaluation of the measurements obtained by the sensors and CAN bus checking is used Microchip development kit, MCP2515 CAN Bus Monitor Demo Board, that allows you to see the information on the CAN bus and enter new frames in the bus.

Propuesta de integración de agentes software inteligentes sobre JADE con entornos virtuales en Unity3D

La unión de distintos sistemas software constituye un elemento principal de las nuevas Tecnologías de la Información y la Comunicación. La integración de entornos virtuales tridimensionales con agentes software inteligentes es el objetivo que persigue este trabajo de investigación. Para llevar a cabo esta integración se parte de la creación de un agente virtual, un personaje que es controlado por una mente desarrollada siguiendo un enfoque basado en agentes software. Se busca así dotar al sistema de cierto nivel de inteligencia, tomando como referencia el funcionamiento del cerebro humano. Lo que se consigue es que el agente capte los estímulos del entorno, los procese y genere comportamientos, tanto reactivos como deliberativos, que son ejecutados por el personaje. Los resultados obtenidos resaltan el dinamismo del sistema, a la vez que animan a seguir investigando en este campo lleno de aplicaciones directas y reales sobre el mundo. En conclusión, esta investigación busca y consigue un nuevo paso en el progreso de las nuevas tecnologías mediante una integración real de distintos sistemas software. ---ABSTRACT---The union of different software systems is a major element of Information and Communications Technology. The aim of this research is the integration of 3D virtual environments and intelligent software agents. This integration is based on the development of a virtual agent, a character that is controlled by a mind developed following a software agent approach. It is sought to provide the system with some intelligence level, taking the human brain function as a reference point. The consequence is that the agent captures environmental stimuli, processes them and creates reactive and deliberative behaviours that can be executed by the avatar. The findings emphasize the dynamism of the system as well as they encourage to research more in this field that has a lot of direct and real-life applications on the world. In conclusion, this research seeks and takes a new step in the progress of new technologies through a real integration of different software systems.

Avaliação técnica e financeira da atividade de produção de leite em uma fazenda familiar.

Este trabalho apresenta uma avaliação tecnica e financeira da atividade de producao de leite em uma fazenda do Municipio de Gameleira-GO, regiao sul de Estado de Goias que incorpora, tambem, atividades de producao de graos, de cereais e de tomate industrial irrigado. O trabalho visa tambem a demostrar a importância de um estudo de caso, para avaliacao de novas tecnologias. Com o software Microsoft Acces, desenvoveu-se um sistema de informacoes gerencias, no ambito de uma fazenda. Apresentaram-se os resultados de desmpenho da atividade de producao de leite, bem como propuseram-se melhorias no processo de producao de leite que incluiram: novas opcoes de producao de volumoso e compra de concentrado a granel a menor custo, passiveis de serem adotadas pelo proprietario e sua familia.