Clusters de las Tecnologías de la Información y la Comunicación, Desempeño de las Empresas Locales y Generación de Empleos en Córdoba

Un argumento conocido es que las tecnologías de la información y las comunicaciones (TIC) han creado una brecha digital creciente entre las economías maduras y la de los países de menor desarrollo relativo. A su vez, se plantea con carácter de paradigma, que esta tendencia podría revertirse con la incorporación de incentivos al desarrollo local de industrias TIC en los países menos desarrollados. En los últimos años muchos gobiernos de países en vías de industrialización prestan creciente atención al desarrollo de industrias TIC en sus territorios. En esa promoción se observa, sin embargo, la persistencia de un viejo debate sobre las opciones de aplicar un fuerte “impulso masivo”, o impulsos “hacia adelante” y “hacia atrás”. Por ello resulta de gran interés el estudio de casos exitosos de desarrollo local de empresas TIC que permitan interpretar la naturaleza de las políticas de promoción y el impacto en cuanto a: (i) generación y fortalecimiento de eslabonamientos, con los proveedores, por un lado, y con la demanda, por el otro, (ii) diferenciación según el carácter nacional o multinacional de las empresas impulsoras, (iii) papel de las universidades e institutos de investigación, (iv) efectos sobre la generación de empleo directo e indirecto. Esta propuesta asume que existe la necesidad de comprender mejor el impacto del desarrollo local de ofertas TIC, la interrelación entre firmas locales, firmas locales y multinacionales y entre todas estas, y la capacidad doméstica de investigación, desarrollo e inversión. Un corpus de conocimiento de esta naturaleza es indispensable para que los responsables puedan diseñar las políticas públicas de incentivos adecuadas para generar los estímulos apropiados y contribuir al fortalecimiento del sector. Bajo este enfoque, es que el objetivo general del proyecto es investigar el impacto, en Córdoba, del paradigma TIC en la generación de una oferta local de firmas que elaboran productos y desarrollan servicios TIC, a partir de decisiones empresariales independientes, o como parte de una cadena productiva en la cual interviene una variedad de firmas locales e internacionales. La investigación estará centrada, por una parte, en el estudio de la evolución de los ordenamientos institucionales y legales para la promoción del sector TIC en el país y en Córdoba, y, por la otra, se focalizará en el análisis de los datos de fuente primaria sobre las firmas radicadas en el Gran Córdoba, que elaboran productos y desarrollan servicios TIC. El abordaje conjunto de ambos planos de análisis, permitirá contrastar la principal hipótesis de investigación que postula que, si se proveen entornos adecuados, orientados a facilitar los medios para superar las restricciones económicas, sociales, legales e institucionales, es posible lograr el desarrollo de cadenas productivas de firmas TIC, que generan impacto positivo en el medio local – principalmente el empleo - e integran a firmas domésticas y multinacionales, a centros de investigación, e incluso, a organizaciones de consumidores. Una segunda hipótesis a ser contratada en el trabajo, es que el desarrollo TIC en la provincia de Córdoba respondió a una estrategia de fuerte impulso masivo y servirá como evidencia empírica que contribuya al debate teórico sobre el tema. En la metodología se prevé realizar una recopilación de datos de fuentes secundarias del sector público y privado, a partir de la cual se elaborará un marco general para llevar a cabo la recolección de datos de fuentes primarias, mediante un conjunto de entrevistas en profundidad a informantes calificados y una encuesta a empresas TIC, nacionales y multinacionales, radicadas en el Gran Córdoba. El tratamiento y análisis de los datos comprenderá la elaboración de tablas, gráficos y cálculo de correlaciones e indicadores descriptivos, como así también la aplicación de modelos econométricos de riesgo y de supervivencia con fines predictivos. Los procesamientos se realizarán con el soft STATA.

Desarrollo Riguroso de Sistemas Tolerantes a Fallas

Los sistemas críticos son aquellos utilizados en áreas en las cuales las fallas, o los eventos inesperados, pueden ocasionar grandes perdidas de dinero; o quizás peor aún, daños a vidas humanas. Esta clase de sistemas juegan un rol importante en actividades esenciales de la sociedad tales como la medicina y las comunicaciones. Los sistemas críticos, cada vez son más usuales en la vida real, algunos ejemplos de estos son los sistemas de aviones, sistemas para automóviles y sistemas utilizados en telefonia móvil. Para minimizar las fallas, y las perdidas materiales o humanas ocasionadas por el funcionamiento incorrecto de dichos sistemas, se utilizan técnicas de tolerancia a fallas. Estas técnicas permiten que los sistemas continúen funcionando aún bajo la ocurrencia de fallas, o eventos inesperados. Existen diversas técnicas para lograr tolerancia a fallas utilizando, por ejemplo, redundancia a diferentes niveles de abstracción, como, por ejemplo, al nivel de hardware. Sin embargo, estas técnicas dependen fuertemente del sistema, y del contexto en las que se utilizan. Más aún, la mayoría de la técnicas de tolerancia a fallas son usadas a bajo nivel (código fuente o hardware), estimamos que el uso de formalismos rigurosos (con fundamentos matemáticos) pueden llevar al diseño de sistemas tolerantes a fallas y robustos a un nivel de abstracción más alto, a la vez que la utilización de técnicas de verificación que han sido exitosas en la práctica tales como model checking, o la síntesis de controladores, pueden llevar a una verificación y producción automática de sistemas robustos. El objetivo del presente proyecto es estudiar tanto marcos teóricos, que permitan la construcción de sistemas más robustos, como también herramientas automáticas que hagan posible la utilización de estos formalismos en escenarios complejos. Para lograr estos objetivos, será necesario considerar casos de estudios de diferente complejidad, y además que sean relevantes en la práctica. Por ejemplo: bombas de insulina, protocolos de comunicación, sistemas de vuelo y sistemas utilizados con fines médicos. Planeamos obtener prototipos de algunos de estos casos de estudio para evaluar los marcos teóricos propuestos. En los últimos años diferentes formalismos han sido utilizados para razonar sobre sistemas tolerantes a fallas de una forma rigurosa, sin embargo, la mayoría de estos son ad hoc, por lo cual sólo son aplicables a contextos específicos. Planeamos utilizar ciertas lógicas modales, en conjunto con nociones probabilísticas, para obtener un conjunto de herramientas suficientemente generales para que puedan ser utilizadas en diferentes contextos y aplicaciones. Los materiales a utilizar son equipos informáticos, en particular computadoras portátiles para el equipo de trabajo y computadoras más potentes para el testeo y desarrollo del software necesario para lograr los objetivos del proyecto. Para construir los prototipos mencionados se utilizarán equipos de computación estándar (el equipo investigación cuenta con computadoras intel y mac) en conjunto con lenguajes de programación modernos como JAVA o C#. En el caso de que los sistemas de software sean sistemas embebidos; se piensa desarrollar un motor de simulación que permita evaluar el desempeño del software cuando es ejecutado en el dispositivo mencionado. Se espera desarrollar, e investigar, las propiedades de formalismos matemáticos que permitan el desarrollo de sistemas tolerantes a fallas. Además, se desarrollarán herramientas de software para que estos sistemas tolerantes a fallas puedan verificarse, o obtenerse automáticamente. Los resultados obtenidos serán difundidos por medio de publicaciones en revistas del área. El desarrollo de sistemas tolerantes a fallas por medio de técnicas rigurosas, a diferentes niveles de abstracción (captura de requisitos, diseño, implementación y validación), permitirá minimizar los riesgos inherentes en actividades críticas.