Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2020.En la actualidad la tolerancia a fallas cada vez adquiere mayor importancia, debido a que cada día hay más sistemas críticos en donde es necesario garantizar cierto comportamiento deseado aún ante la ocurrencia ocasional de fallas. En este trabajo presentamos algunos formalismos lógicos que resultan adecuados para la especificación, y luego la verificación, de propiedades de sistemas tolerantes a fallas. En particular, nos enfocamos en el uso de aquellos que si bien, tradicionalmente fueron utilizados para representar y analizar la estructura lógica de normas o leyes (conocidos con el nombre de lógicas deónticas), nos posibilitan, a diferencia de otros enfoques, distinguir entre los comportamientos normal y anormal de un sistema. Hacia el final de esta tesis, además, se presentan algunas incursiones en el área de sistemas probabilistas, ya que cuando se piensa en sistemas tolerantes a fallas surge naturalmente pensar en un grado de tolerancia/robustez deseado o esperado; y es justamente este tipo de noción cuantificable la que conduce a la idea de utilizar las probabilidades para capturar este concepto. En particular se presentan algunos ejemplos para ilustrar la capacidad de dichos formalismos para capturar nociones relacionadas con tolerancia a fallas.At present, fault tolerance is becoming more and more important, because every day there are more critical systems where it's necessary to guarantee a certain desired behavior even in the event of occasional failure. In this work we present some logical formalisms suitable for the specification, and later verification, of properties for fault tolerant systems. In particular, we focus on the use of those formalisms traditionally used to represent and analyze the logical structure of norms or laws (known as deontic logics), that allow us to distinguish between normal and abnormal behaviors of a system. Towards the end of this thesis, some forays made into the area of probabilistic systems are also presented, due that when thinking about fault tolerant systems it naturally arises the notion of a desired or expected degree of tolerance / robustness; and it's precisely this kind of quantifiable notion that leads us to think about using probabilities to capture this concept. In particular we show some examples to illustrate the ability of such formalisms to capture notions related to fault tolerance.Fil: Kilmurray, Cecilia Noelia. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina

Proyecto integrador Ciudad de los Niños, universidad y computación

La alfabetización digital es fundamental para el desarrollo integral y para no caer en la nueva versión de analfabetismo. “Si tuviera que improvisar un conjunto de necesidades mínimas para considerar que una persona es “letrada”, diría que es imprescindible que sepa otro idioma (además del castellano, inglés o chino, para que no quede todo reducido a lo que nos llega del país del norte), pero también, conocimientos sobre cómo programar”, afirma Adrián Paenza. La familiarización con la tecnología y las ciencias de la computación aporta a reducir la desigualdad socio-económica producto de la sociedad moderna que privilegia el conocimiento por sobre el trabajo basado en la fuerza bruta. En este trabajo presentamos nuestra experiencia en un proyecto destinado a niños en situación de acogimiento temporal que tiende a generar un espacio de desarrollo, motivación y aprendizaje para chicos en situación de riesgo. Para esto se plantea como eje central la enseñanza de la programación, la familiarización con la tecnología y el acceso a las TICs para que puedan adaptarse y adquirir capacidades indispensables en la actualidad. Como fuente de motivación se focaliza en el uso juegos de ingenio, lenguajes visuales de programación y minirobots.Área: Educación en Tecnología.Red de Universidades con Carreras en Informática (RedUNCI

Proyecto integrador Ciudad de los Niños, universidad y computación

La alfabetización digital es fundamental para el desarrollo integral y para no caer en la nueva versión de analfabetismo. “Si tuviera que improvisar un conjunto de necesidades mínimas para considerar que una persona es “letrada”, diría que es imprescindible que sepa otro idioma (además del castellano, inglés o chino, para que no quede todo reducido a lo que nos llega del país del norte), pero también, conocimientos sobre cómo programar”, afirma Adrián Paenza. La familiarización con la tecnología y las ciencias de la computación aporta a reducir la desigualdad socio-económica producto de la sociedad moderna que privilegia el conocimiento por sobre el trabajo basado en la fuerza bruta. En este trabajo presentamos nuestra experiencia en un proyecto destinado a niños en situación de acogimiento temporal que tiende a generar un espacio de desarrollo, motivación y aprendizaje para chicos en situación de riesgo. Para esto se plantea como eje central la enseñanza de la programación, la familiarización con la tecnología y el acceso a las TICs para que puedan adaptarse y adquirir capacidades indispensables en la actualidad. Como fuente de motivación se focaliza en el uso juegos de ingenio, lenguajes visuales de programación y minirobots.Área: Educación en Tecnología.Red de Universidades con Carreras en Informática (RedUNCI

Entorno de Código Móvil Seguro

En este trabajo se presenta la línea Código Móvil Seguro del grupo de investigación “Procesadores de Lenguajes” del Departamento de Computación de la Universidad Nacional de Río Cuarto. Se presenta una técnica para garantizar código móvil seguro, denominada Proof-Carrying Code based on Static Analysis (PCC-SA), cuya principal ventaja es que el tamaño de las pruebas generadas es lineal respecto a la longitud de los programas. A fin de demostrar la aplicabilidad de esta técnica, se han implementado prototipos de un compilador certificante y un verificador de codigo basados en ella. En este trabajo también se presentan nuevas lineas de trabajo iniciadas, entre las cuales se destacan la extensión del prototipo de compilador certificante, la paralelización de PCC-SA y un modelo de seguridad para programas concurrentes.Eje: Programacion, LenguajesRed de Universidades con Carreras en Informática (RedUNCI

Entorno de Código Móvil Seguro

En este trabajo se presenta la línea Código Móvil Seguro del grupo de investigación “Procesadores de Lenguajes” del Departamento de Computación de la Universidad Nacional de Río Cuarto. Se presenta una técnica para garantizar código móvil seguro, denominada Proof-Carrying Code based on Static Analysis (PCC-SA), cuya principal ventaja es que el tamaño de las pruebas generadas es lineal respecto a la longitud de los programas. A fin de demostrar la aplicabilidad de esta técnica, se han implementado prototipos de un compilador certificante y un verificador de codigo basados en ella. En este trabajo también se presentan nuevas lineas de trabajo iniciadas, entre las cuales se destacan la extensión del prototipo de compilador certificante, la paralelización de PCC-SA y un modelo de seguridad para programas concurrentes.Eje: Programacion, LenguajesRed de Universidades con Carreras en Informática (RedUNCI

Entorno de Código Móvil Seguro

En este trabajo se presenta la línea Código Móvil Seguro del grupo de investigación “Procesadores de Lenguajes” del Departamento de Computación de la Universidad Nacional de Río Cuarto. Se presenta una técnica para garantizar código móvil seguro, denominada Proof-Carrying Code based on Static Analysis (PCC-SA), cuya principal ventaja es que el tamaño de las pruebas generadas es lineal respecto a la longitud de los programas. A fin de demostrar la aplicabilidad de esta técnica, se han implementado prototipos de un compilador certificante y un verificador de codigo basados en ella. En este trabajo también se presentan nuevas lineas de trabajo iniciadas, entre las cuales se destacan la extensión del prototipo de compilador certificante, la paralelización de PCC-SA y un modelo de seguridad para programas concurrentes.Eje: Programacion, LenguajesRed de Universidades con Carreras en Informática (RedUNCI

Experiencia de enseñanza de la programación en un contexto de vulnerabilidad social

En la actualidad un alfabetismo muy popular es el Alfabetismo digital, que implica el conocimiento y la comprensión de tecnologías digitales. En este trabajo abordamos la enseñanza de la programación, a través de la familiarización con algunas herramientas tecnológicas visuales, y el acceso a las TIC. En particular, reportamos acerca de vivencias y aprendizajes con niños en situación de vulnerabilidad social quienes concurren al Hogar “Ciudad de los Niños”, ubicado en Río Cuarto, Córdoba, Argentina.V Workshop de Innovación en Educación en Informática (WIEI).Red de Universidades con Carreras en Informática (RedUNCI

Experiencia de enseñanza de la programación en un contexto de vulnerabilidad social

En la actualidad un alfabetismo muy popular es el Alfabetismo digital, que implica el conocimiento y la comprensión de tecnologías digitales. En este trabajo abordamos la enseñanza de la programación, a través de la familiarización con algunas herramientas tecnológicas visuales, y el acceso a las TIC. En particular, reportamos acerca de vivencias y aprendizajes con niños en situación de vulnerabilidad social quienes concurren al Hogar “Ciudad de los Niños”, ubicado en Río Cuarto, Córdoba, Argentina.V Workshop de Innovación en Educación en Informática (WIEI).Red de Universidades con Carreras en Informática (RedUNCI

Experiencia de enseñanza de la programación en un contexto de vulnerabilidad social

En la actualidad un alfabetismo muy popular es el Alfabetismo digital, que implica el conocimiento y la comprensión de tecnologías digitales. En este trabajo abordamos la enseñanza de la programación, a través de la familiarización con algunas herramientas tecnológicas visuales, y el acceso a las TIC. En particular, reportamos acerca de vivencias y aprendizajes con niños en situación de vulnerabilidad social quienes concurren al Hogar “Ciudad de los Niños”, ubicado en Río Cuarto, Córdoba, Argentina.V Workshop de Innovación en Educación en Informática (WIEI).Red de Universidades con Carreras en Informática (RedUNCI

ProgEnv: un entorno para la enseñanza de la programación

El curso de Ingreso Universitario en carreras de computación, es para muchos estudiantes, el primer contacto con la disciplina y por ello es de gran importancia el desarrollo de actividades que permitan introducir los conceptos básicos, favoreciendo la participación de los estudiantes a través de consignas que estimulen la creatividad y el interés por las ciencias de la computación, en particular por la programación. La complejidad de las actividades abordadas es sin duda un factor determinante para promover el aprendizaje de conceptos asociados a la programación, siendo muchas veces motivo de frustración para alumnos que se inician en esta práctica. En este contexto, la elección de las herramientas y lenguajes de enseñanza adecuados juegan un rol fundamental, permitiendo desarrollar nociones complejas con un alto grado de abstracción de manera simple y clara. En este trabajo presentaremos un entorno de desarrollo visual para la enseñanza de la programación, al que llamamos ProgEnv por Programming Environment, su utilización en el dictado del módulo “Introducción a la Programación” que forma parte de las actividades de ingreso a las carreras Analista en Computación, Profesorado y Licenciatura en Ciencias de la Computación de la Facultad de Ciencias Exactas de la Universidad Nacional de Río Cuarto y los resultados obtenidos en dicha experiencia.VIII Workshop Innovación en Educación en Informática.Red de Universidades con Carreras en Informátic