Garantía de calidad en Educación Virtual No Formal para Pueblos Indígenas

Este trabajo de investigación presenta un modelo de garantía de calidad en educación Alternativa en modalidad virtual para Pueblos Indígenas del departamento de La Paz, Bolivia. Se plantea el modelo teórico constituido por componentes que emergen de la problemática enunciada, complementado con un análisis comparativo de modelos de calidad en educación virtual y la selección de variables e indicadores. Se da también una descripción del modelo causal explicativo inicial, todo esto utilizando elementos adecuados a las características de Pueblos indígenas del Dpto. de La Paz. Más adelante, se detalla la experiencia de capacitación en TIC’s a dos poblaciones indígenas aplicando el modelo planteado, lo que ha permitido hacer una validación empírica de este. Asimismo, se da a conocer los resultados que arrojaron las encuestas de calidad provenientes de la aplicación del modelo y el llenado correspondiente de las mismas. A partir de estos datos se ha realizado los análisis estadísticos pertinentes para una validación formal del modelo, estructurando una base de datos con la que se logra validar el modelo a través del análisis confirmatorio que conduce a verificar el ajuste de los datos muestrales con el modelo propuesto. ABSTRACT This research presents a model of quality assurance in Alternative education in virtual mode for indigenous communities in the department of La Paz, Bolivia. The theoretical model consisting of components that emerge from the problem expressed, supplemented by a comparative analysis of quality models in virtual education and the selection of variables and indicators arise. It also gives a description of the initial causal explanatory model, all using suited to the characteristics of indigenous communities in the Department of La Paz. Later, the experience of ICT training in two indigenous peoples applying the detailed proposed model, which has allowed for an empirical validation of this. It also discloses the results yielded quality surveys from the application of the model and the corresponding filling them. From these data it was performed statistical analysis relevant to a formal model validation, structuring a database with that achieved validate the model through confirmatory analysis leading to check the setting of the sample data with the model proposed.

Los paisajes del desecho: reactivación de los lugares del deterioro

Actualmente en nuestro planeta producimos 1.300 millones de toneladas de residuos urbanos al año. Si los extendemos sobre la superficie de un cuadrado de lado 100 m (una hectárea) alcanzarían una altura de 146 km. ¿Cuál es el origen de nuestros residuos? ¿A dónde va esta basura? ¿Cómo nos afecta? ¿Tiene alguna utilidad? Se trata de un problema antiguo que, en los últimos tiempos, ha adquirido una nueva dimensión por el tipo y la cantidad de residuos generados. Las primeras preocupaciones de la ciudad por ordenar estos problemas dieron lugar al establecimiento de espacios o lugares específicos para la acumulación de los residuos urbanos: los vertederos. Los desechos hoy se generan más rápidamente que los medios disponibles para reciclarlos o tratarlos. Los vertederos de residuos urbanos son y seguirán siendo, a corto y medio plazo, soluciones válidas por ser un método de gestión relativamente barato, sobre todo en los países en vías de desarrollo. Como consecuencia y necesidad de lo anterior, se plantea demostrar que la recuperación y la transformación de estos vertederos de residuos urbanos (lugares del deterioro), una vez abandonados, es posible y que además pueden dar lugar a nuevos espacios públicos estratégicos de la ciudad contemporánea. Son espacios de oportunidad, vacíos monumentales producto de una reactivación arquitectónica y paisajística realizada a partir de complejos procesos de ingeniería medioambiental. Pero las soluciones aplicadas a los vertederos de residuos urbanos desde mediados del siglo XX se han realizado exclusivamente desde la ingeniería para tratar de resolver cuestiones técnicas, un modelo agotado que ya no puede gestionar la magnitud que este problema ha alcanzado, haciéndose necesaria e inevitable la participación de la arquitectura para abrir nuevas líneas de investigación y de acción. En estos primeros compases del siglo XXI existe una “nueva” preocupación, un “nuevo” interés en los paradigmas de lo ecológico y de la sostenibilidad, también un interés filosófico (que igualmente otorga un nuevo valor al residuo como recurso), que dirigen su mirada hacia un concepto de paisaje abierto y diferente a modelos anteriores más estáticos, recuperando como punto de partida el ideal pintoresco. El landscape urbanism se consolida como una disciplina capaz de dar respuesta a lo natural y artificial simultáneamente, que sustituye a las herramientas tradicionales de la arquitectura para solucionar los problemas de la ciudad contemporánea, incorporando las infraestructuras de gran escala, como un vertedero de residuos urbanos, y los paisajes públicos que generan como el verdadero mecanismo de organización del urbanismo de hoy. No se trata solo de un modelo formal sino, lo que es más importante: de un modelo de procesos. Esta nueva preocupación permite abordar la cuestión del paisaje de manera amplia, sin restricciones, con un alto grado de flexibilidad en las nuevas propuestas que surgen como consecuencia de estos conceptos, si bien los esfuerzos, hasta la fecha, parecen haberse dirigido más hacia el fenómeno de lo estético, quedando todavía por explorar las consecuencias políticas, sociales, económicas y energéticas derivadas de los residuos. También las arquitectónicas. El proyecto del landscape urbanism se ocupa de la superficie horizontal, del plano del suelo. Desde siempre, la preparación de este plano para desarrollar cualquier actividad humana ha sido un gesto fundacional, un gesto propio necesario de toda arquitectura, que además ahora debe considerarlo como un medio o soporte biológicamente activo. En términos contemporáneos, el interés disciplinar radica en la continuidad y en la accesibilidad del suelo, diluyendo los límites; en que funcione a largo plazo, que se anticipe al cambio, a través de la flexibilidad y de la capacidad de negociación, y que sea público. La recuperación de un vertedero de residuos urbanos ofrece todas estas condiciones. Un breve recorrido por la historia revela los primeros ejemplos aislados de recuperación de estos lugares del deterioro, que han pasado por distintas fases en función de la cantidad y el tipo de los desechos producidos, evolucionando gracias a la tecnología y a una nueva mirada sobre el paisaje, hasta desarrollar una verdadera conciencia de lo ecológico (nacimiento de una ideología). El Monte Testaccio en Roma (siglos I-III d.C.) constituye un caso paradigmático y ejemplar de vertedero planificado a priori no solo como lugar en el que depositar los residuos, sino como lugar que será recuperado posteriormente y devuelto a la ciudad en forma de espacio público. Una topografía de desechos generada por acumulación, organizada y planificada durante tres siglos, que nos hace reflexionar sobre los temas de producción, consumo y proyecto arquitectónico. El Monte Testaccio revela una fuente de inspiración, un arquetipo de gestión sostenible de los recursos y del territorio. A través de la experiencia en la recuperación y transformación en espacios públicos de casos contemporáneos, como el antiguo vertedero de Valdemingómez en Madrid o el de El Garraf en Barcelona, se han analizado las técnicas y las soluciones empleadas para establecer nuevas herramientas de proyecto planteadas en clave de futuro, que revelan la importancia de los procesos frente a la forma, en los cuales intervienen muchos factores (tanto naturales como artificiales), entre ellos la vida y el tiempo de la materia viva acumulada. Son lugares para nuevas oportunidades y ejemplos de una nueva relación con la naturaleza. La reactivación de los vertederos de residuos, a través del proyecto, nos propone una nueva topografía construida en el tiempo, el suelo como soporte, como punto de encuentro de la naturaleza y los sistemas tecnológicos de la ciudad que posibilitan nuevos modos de vida y nuevas actividades. Los vertederos de residuos son inmensas topografías naturales surgidas de procesos artificiales, atalayas desde las que divisar un nuevo horizonte, un nuevo mundo, un nuevo futuro donde sea posible lograr la reversibilidad de nuestros actos del deterioro. Pero la voluntad de estas recuperaciones y transformaciones no consiste exclusivamente en su reintegración al paisaje, sino que han servido como muestra de las nuevas actitudes que la sociedad ha de emprender en relación a los temas medio ambientales. ABSTRACT Here on our planet we currently produce 1.3 billion tonnes of urban waste per year. If we were to spread this over a surface of 100m2 (one hectare), it would reach a height of 146km. What is the origin of this waste? Where does our refuse go? How does it affect us? Does it have any uses? We are dealing with an old problem which, in recent times, has taken on a new dimension due to the type of waste and the amount generated. Cities’ first concerns in resolving these problems gave rise to the establishment of areas or specific places for the accumulation of urban waste: landfills. These days, waste is generated more quickly than the available resources can recycle or process it. Urban waste landfills are and will continue to be, in the short and mid-term, valid solutions, given that they constitute a relatively cheap method for waste management, especially in developing countries. Consequently and necessarily, we plan to demonstrate that it is possible to recover and transform these urban waste landfills (areas of deterioration) once they have been abandoned and that they can give rise to new strategic public areas in contemporary cities. They are areas of opportunity, monumental vacancies produced by an architectural reactivation of the landscape, which is achieved using complex processes of environmental engineering. But the solutions applied to urban waste landfills throughout the 20th century have used engineering exclusively in the attempt to resolve the technical aspects. This is a worn-out model which can no longer handle the magnitude which the problem has attained and therefore, there is an inevitable need for the participation of architecture, which can open new lines of research and action. In these first steps into the 21st century, there is a “new” concern, a “new” interest in the paradigms of environmentalism and sustainability. There is also a philosophical interest (which assigns the new value of ‘resource’ to waste) and all is aimed towards the concept of an open landscape, unlike the previous, more static models, and the intention is to recover picturesque ideals as the starting point. Landscape urbanism has been established as a discipline capable of simultaneously responding to the natural and the artificial, replacing the traditional tools of architecture in order to resolve contemporary cities’ problems. It incorporates large scale infrastructures, such as urban waste landfills, and public landscapes which are generated as the true organisational mechanism of modern day urbanism. It is not merely a formal model, it is more important than that: it is a model of processes. This new concern allows us to address the matter of landscape in a broad way, without restrictions, and with a great degree of flexibility in the new proposals which come about as a consequence of these concepts. However, efforts to date seem to have been more directed at aesthetic aspects and we have yet to explore the political, social, economic and energetic consequences derived from waste – nor have we delved into the architectural consequences. The landscape urbanism project is involved with the horizontal surface, the ground plane. Traditionally, the preparation of this plane for the development of any human activity has been a foundational act, a necessary act of all architecture, but now this plane must be considered as a biologically active medium or support. In contemporary terms, the discipline’s interest lies in the continuity and accessibility of the land, diffusing the limits; in long term functionality; in the anticipation of change, via flexibility and the ability to negotiate; and in it being a public space. The recovery of an urban waste landfill offers all of these conditions. A brief look through history reveals the first isolated examples of recovery of these spaces of deterioration. They have gone through various phases based on the quantity and type of waste produced, they have evolved thanks to technology and a new outlook on the landscape, and a real environmental awareness has been developed (the birth of an ideology). Monte Testaccio in Rome (1st to 3rd Century AD) constitutes a paradigmatic and exemplary case of a landfill that was planned a priori not only as a place to deposit waste but also as a place that would be subsequently recovered and given back to the city in the form of a public space. This spoil mound, generated by organised and planned accumulation over three centuries, makes us reflect on the themes of production, consumption and architectural planning. Monte Testaccio reveals a source of inspiration, an archetype of the sustainable management of resources and land. Using our experience of contemporary cases of land recovery and its transformation into public spaces, such as the former Valdemingómez landfill in Madrid or the Garraf in Barcelona, we analysed the techniques and solutions used in order to establish new project tools. These are proposed with an eye on the future, seeing as they reveal the importance of the processes over the form and involve many factors (both natural and artificial), including the life and age of the accumulated living matter. They are places for new opportunities and examples of our new relationship with nature. The reactivation of landfills, via this project, is a proposal for a new topography built within time, using the ground as the support, as the meeting point between nature and the technological systems of the city which make it possible for new ways of life and new activities to come about. Landfills are immense natural topographical areas produced by artificial processes, watchtowers from which to discern a new horizon, a new world, a new future in which it will be possible to reverse our acts of deterioration. But the intention behind these recoveries and transformations does not only hope for landscape reintegration but it also hopes that they will also serve as a sign of the new attitudes that must be adopted by society with regard to environmental matters.

Formal verification of safety protocol in train control system

In order to satisfy the safety-critical requirements, the train control system (TCS) often employs a layered safety communication protocol to provide reliable services. However, both description and verification of the safety protocols may be formidable due to the system complexity. In this paper, interface automata (IA) are used to describe the safety service interface behaviors of safety communication protocol. A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN. A case study of using this method to describe and verify a safety communication protocol is included. The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks, livelocks and several mandatory consistency properties. A prototype of safety protocols is also developed based on the presented formally verifying method.

Including hardware/software co-design in the ASSERT model driven engineering process.

Abstract. The ASSERT project de?ned new software engineering methods and tools for the development of critical embedded real-time systems in the space domain. The ASSERT model-driven engineering process was one of the achievements of the project and is based on the concept of property- preserving model transformations. The key element of this process is that non-functional properties of the software system must be preserved during model transformations. Properties preservation is carried out through model transformations compliant with the Ravenscar Pro?le and provides a formal basis to the process. In this way, the so-called Ravenscar Computational Model is central to the whole ASSERT process. This paper describes the work done in the HWSWCO study, whose main objective has been to address the integration of the Hardware/Software co-design phase in the ASSERT process. In order to do that, non-functional properties of the software system must also be preserved during hardware synthesis. Keywords : Ada 2005, Ravenscar pro?le, Hardware/Software co-design, real- time systems, high-integrity systems, ORK

A model to develop a platform for personalised health applications

Antecedentes Europa vive una situación insostenible. Desde el 2008 se han reducido los recursos de los gobiernos a raíz de la crisis económica. El continente Europeo envejece con ritmo constante al punto que se prevé que en 2050 habrá sólo dos trabajadores por jubilado [54]. A esta situación se le añade el aumento de la incidencia de las enfermedades crónicas, relacionadas con el envejecimiento, cuyo coste puede alcanzar el 7% del PIB de un país [51]. Es necesario un cambio de paradigma. Una nueva manera de cuidar de la salud de las personas: sustentable, eficaz y preventiva más que curativa. Algunos estudios abogan por el cuidado personalizado de la salud (pHealth). En este modelo las prácticas médicas son adaptadas e individualizadas al paciente, desde la detección de los factores de riesgo hasta la personalización de los tratamientos basada en la respuesta del individuo [81]. El cuidado personalizado de la salud está asociado a menudo al uso de las tecnologías de la información y comunicación (TICs) que, con su desarrollo exponencial, ofrecen oportunidades interesantes para la mejora de la salud. El cambio de paradigma hacia el pHealth está lentamente ocurriendo, tanto en el ámbito de la investigación como en la industria, pero todavía no de manera significativa. Existen todavía muchas barreras relacionadas a la economía, a la política y la cultura. También existen barreras puramente tecnológicas, como la falta de sistemas de información interoperables [199]. A pesar de que los aspectos de interoperabilidad están evolucionando, todavía hace falta un diseño de referencia especialmente direccionado a la implementación y el despliegue en gran escala de sistemas basados en pHealth. La presente Tesis representa un intento de organizar la disciplina de la aplicación de las TICs al cuidado personalizado de la salud en un modelo de referencia, que permita la creación de plataformas de desarrollo de software para simplificar tareas comunes de desarrollo en este dominio. Preguntas de investigación RQ1 >Es posible definir un modelo, basado en técnicas de ingeniería del software, que represente el dominio del cuidado personalizado de la salud de una forma abstracta y representativa? RQ2 >Es posible construir una plataforma de desarrollo basada en este modelo? RQ3 >Esta plataforma ayuda a los desarrolladores a crear sistemas pHealth complejos e integrados? Métodos Para la descripción del modelo se adoptó el estándar ISO/IEC/IEEE 42010por ser lo suficientemente general y abstracto para el amplio enfoque de esta tesis [25]. El modelo está definido en varias partes: un modelo conceptual, expresado a través de mapas conceptuales que representan las partes interesadas (stakeholders), los artefactos y la información compartida; y escenarios y casos de uso para la descripción de sus funcionalidades. El modelo fue desarrollado de acuerdo a la información obtenida del análisis de la literatura, incluyendo 7 informes industriales y científicos, 9 estándares, 10 artículos en conferencias, 37 artículos en revistas, 25 páginas web y 5 libros. Basándose en el modelo se definieron los requisitos para la creación de la plataforma de desarrollo, enriquecidos por otros requisitos recolectados a través de una encuesta realizada a 11 ingenieros con experiencia en la rama. Para el desarrollo de la plataforma, se adoptó la metodología de integración continua [74] que permitió ejecutar tests automáticos en un servidor y también desplegar aplicaciones en una página web. En cuanto a la metodología utilizada para la validación se adoptó un marco para la formulación de teorías en la ingeniería del software [181]. Esto requiere el desarrollo de modelos y proposiciones que han de ser validados dentro de un ámbito de investigación definido, y que sirvan para guiar al investigador en la búsqueda de la evidencia necesaria para justificarla. La validación del modelo fue desarrollada mediante una encuesta online en tres rondas con un número creciente de invitados. El cuestionario fue enviado a 134 contactos y distribuido en algunos canales públicos como listas de correo y redes sociales. El objetivo era evaluar la legibilidad del modelo, su nivel de cobertura del dominio y su potencial utilidad en el diseño de sistemas derivados. El cuestionario incluía preguntas cuantitativas de tipo Likert y campos para recolección de comentarios. La plataforma de desarrollo fue validada en dos etapas. En la primera etapa se utilizó la plataforma en un experimento a pequeña escala, que consistió en una sesión de entrenamiento de 12 horas en la que 4 desarrolladores tuvieron que desarrollar algunos casos de uso y reunirse en un grupo focal para discutir su uso. La segunda etapa se realizó durante los tests de un proyecto en gran escala llamado HeartCycle [160]. En este proyecto un equipo de diseñadores y programadores desarrollaron tres aplicaciones en el campo de las enfermedades cardio-vasculares. Una de estas aplicaciones fue testeada en un ensayo clínico con pacientes reales. Al analizar el proyecto, el equipo de desarrollo se reunió en un grupo focal para identificar las ventajas y desventajas de la plataforma y su utilidad. Resultados Por lo que concierne el modelo que describe el dominio del pHealth, la parte conceptual incluye una descripción de los roles principales y las preocupaciones de los participantes, un modelo de los artefactos TIC que se usan comúnmente y un modelo para representar los datos típicos que son necesarios formalizar e intercambiar entre sistemas basados en pHealth. El modelo funcional incluye un conjunto de 18 escenarios, repartidos en: punto de vista de la persona asistida, punto de vista del cuidador, punto de vista del desarrollador, punto de vista de los proveedores de tecnologías y punto de vista de las autoridades; y un conjunto de 52 casos de uso repartidos en 6 categorías: actividades de la persona asistida, reacciones del sistema, actividades del cuidador, \engagement" del usuario, actividades del desarrollador y actividades de despliegue. Como resultado del cuestionario de validación del modelo, un total de 65 personas revisó el modelo proporcionando su nivel de acuerdo con las dimensiones evaluadas y un total de 248 comentarios sobre cómo mejorar el modelo. Los conocimientos de los participantes variaban desde la ingeniería del software (70%) hasta las especialidades médicas (15%), con declarado interés en eHealth (24%), mHealth (16%), Ambient Assisted Living (21%), medicina personalizada (5%), sistemas basados en pHealth (15%), informática médica (10%) e ingeniería biomédica (8%) con una media de 7.25_4.99 años de experiencia en estas áreas. Los resultados de la encuesta muestran que los expertos contactados consideran el modelo fácil de leer (media de 1.89_0.79 siendo 1 el valor más favorable y 5 el peor), suficientemente abstracto (1.99_0.88) y formal (2.13_0.77), con una cobertura suficiente del dominio (2.26_0.95), útil para describir el dominio (2.02_0.7) y para generar sistemas más específicos (2_0.75). Los expertos también reportan un interés parcial en utilizar el modelo en su trabajo (2.48_0.91). Gracias a sus comentarios, el modelo fue mejorado y enriquecido con conceptos que faltaban, aunque no se pudo demonstrar su mejora en las dimensiones evaluadas, dada la composición diferente de personas en las tres rondas de evaluación. Desde el modelo, se generó una plataforma de desarrollo llamada \pHealth Patient Platform (pHPP)". La plataforma desarrollada incluye librerías, herramientas de programación y desarrollo, un tutorial y una aplicación de ejemplo. Se definieron cuatro módulos principales de la arquitectura: el Data Collection Engine, que permite abstraer las fuentes de datos como sensores o servicios externos, mapeando los datos a bases de datos u ontologías, y permitiendo interacción basada en eventos; el GUI Engine, que abstrae la interfaz de usuario en un modelo de interacción basado en mensajes; y el Rule Engine, que proporciona a los desarrolladores un medio simple para programar la lógica de la aplicación en forma de reglas \if-then". Después de que la plataforma pHPP fue utilizada durante 5 años en el proyecto HeartCycle, 5 desarrolladores fueron reunidos en un grupo de discusión para analizar y evaluar la plataforma. De estas evaluaciones se concluye que la plataforma fue diseñada para encajar las necesidades de los ingenieros que trabajan en la rama, permitiendo la separación de problemas entre las distintas especialidades, y simplificando algunas tareas de desarrollo como el manejo de datos y la interacción asíncrona. A pesar de ello, se encontraron algunos defectos a causa de la inmadurez de algunas tecnologías empleadas, y la ausencia de algunas herramientas específicas para el dominio como el procesado de datos o algunos protocolos de comunicación relacionados con la salud. Dentro del proyecto HeartCycle la plataforma fue utilizada para el desarrollo de la aplicación \Guided Exercise", un sistema TIC para la rehabilitación de pacientes que han sufrido un infarto del miocardio. El sistema fue testeado en un ensayo clínico randomizado en el cual a 55 pacientes se les dio el sistema para su uso por 21 semanas. De los resultados técnicos del ensayo se puede concluir que, a pesar de algunos errores menores prontamente corregidos durante el estudio, la plataforma es estable y fiable. Conclusiones La investigación llevada a cabo en esta Tesis y los resultados obtenidos proporcionan las respuestas a las tres preguntas de investigación que motivaron este trabajo: RQ1 Se ha desarrollado un modelo para representar el dominio de los sistemas personalizados de salud. La evaluación hecha por los expertos de la rama concluye que el modelo representa el dominio con precisión y con un balance apropiado entre abstracción y detalle. RQ2 Se ha desarrollado, con éxito, una plataforma de desarrollo basada en el modelo. RQ3 Se ha demostrado que la plataforma es capaz de ayudar a los desarrolladores en la creación de software pHealth complejos. Las ventajas de la plataforma han sido demostradas en el ámbito de un proyecto de gran escala, aunque el enfoque genérico adoptado indica que la plataforma podría ofrecer beneficios también en otros contextos. Los resultados de estas evaluaciones ofrecen indicios de que, ambos, el modelo y la plataforma serán buenos candidatos para poderse convertir en una referencia para futuros desarrollos de sistemas pHealth. ABSTRACT Background Europe is living in an unsustainable situation. The economic crisis has been reducing governments' economic resources since 2008 and threatening social and health systems, while the proportion of older people in the European population continues to increase so that it is foreseen that in 2050 there will be only two workers per retiree [54]. To this situation it should be added the rise, strongly related to age, of chronic diseases the burden of which has been estimated to be up to the 7% of a country's gross domestic product [51]. There is a need for a paradigm shift, the need for a new way of caring for people's health, shifting the focus from curing conditions that have arisen to a sustainable and effective approach with the emphasis on prevention. Some advocate the adoption of personalised health care (pHealth), a model where medical practices are tailored to the patient's unique life, from the detection of risk factors to the customization of treatments based on each individual's response [81]. Personalised health is often associated to the use of Information and Communications Technology (ICT), that, with its exponential development, offers interesting opportunities for improving healthcare. The shift towards pHealth is slowly taking place, both in research and in industry, but the change is not significant yet. Many barriers still exist related to economy, politics and culture, while others are purely technological, like the lack of interoperable information systems [199]. Though interoperability aspects are evolving, there is still the need of a reference design, especially tackling implementation and large scale deployment of pHealth systems. This thesis contributes to organizing the subject of ICT systems for personalised health into a reference model that allows for the creation of software development platforms to ease common development issues in the domain. Research questions RQ1 Is it possible to define a model, based on software engineering techniques, for representing the personalised health domain in an abstract and representative way? RQ2 Is it possible to build a development platform based on this model? RQ3 Does the development platform help developers create complex integrated pHealth systems? Methods As method for describing the model, the ISO/IEC/IEEE 42010 framework [25] is adopted for its generality and high level of abstraction. The model is specified in different parts: a conceptual model, which makes use of concept maps, for representing stakeholders, artefacts and shared information, and in scenarios and use cases for the representation of the functionalities of pHealth systems. The model was derived from literature analysis, including 7 industrial and scientific reports, 9 electronic standards, 10 conference proceedings papers, 37 journal papers, 25 websites and 5 books. Based on the reference model, requirements were drawn for building the development platform enriched with a set of requirements gathered in a survey run among 11 experienced engineers. For developing the platform, the continuous integration methodology [74] was adopted which allowed to perform automatic tests on a server and also to deploy packaged releases on a web site. As a validation methodology, a theory building framework for SW engineering was adopted from [181]. The framework, chosen as a guide to find evidence for justifying the research questions, imposed the creation of theories based on models and propositions to be validated within a scope. The validation of the model was conducted as an on-line survey in three validation rounds, encompassing a growing number of participants. The survey was submitted to 134 experts of the field and on some public channels like relevant mailing lists and social networks. Its objective was to assess the model's readability, its level of coverage of the domain and its potential usefulness in the design of actual, derived systems. The questionnaires included quantitative Likert scale questions and free text inputs for comments. The development platform was validated in two scopes. As a small-scale experiment, the platform was used in a 12 hours training session where 4 developers had to perform an exercise consisting in developing a set of typical pHealth use cases At the end of the session, a focus group was held to identify benefits and drawbacks of the platform. The second validation was held as a test-case study in a large scale research project called HeartCycle the aim of which was to develop a closed-loop disease management system for heart failure and coronary heart disease patients [160]. During this project three applications were developed by a team of programmers and designers. One of these applications was tested in a clinical trial with actual patients. At the end of the project, the team was interviewed in a focus group to assess the role the platform had within the project. Results For what regards the model that describes the pHealth domain, its conceptual part includes a description of the main roles and concerns of pHealth stakeholders, a model of the ICT artefacts that are commonly adopted and a model representing the typical data that need to be formalized among pHealth systems. The functional model includes a set of 18 scenarios, divided into assisted person's view, caregiver's view, developer's view, technology and services providers' view and authority's view, and a set of 52 Use Cases grouped in 6 categories: assisted person's activities, system reactions, caregiver's activities, user engagement, developer's activities and deployer's activities. For what concerns the validation of the model, a total of 65 people participated in the online survey providing their level of agreement in all the assessed dimensions and a total of 248 comments on how to improve and complete the model. Participants' background spanned from engineering and software development (70%) to medical specialities (15%), with declared interest in the fields of eHealth (24%), mHealth (16%), Ambient Assisted Living (21%), Personalized Medicine (5%), Personal Health Systems (15%), Medical Informatics (10%) and Biomedical Engineering (8%) with an average of 7.25_4.99 years of experience in these fields. From the analysis of the answers it is possible to observe that the contacted experts considered the model easily readable (average of 1.89_0.79 being 1 the most favourable scoring and 5 the worst), sufficiently abstract (1.99_0.88) and formal (2.13_0.77) for its purpose, with a sufficient coverage of the domain (2.26_0.95), useful for describing the domain (2.02_0.7) and for generating more specific systems (2_0.75) and they reported a partial interest in using the model in their job (2.48_0.91). Thanks to their comments, the model was improved and enriched with concepts that were missing at the beginning, nonetheless it was not possible to prove an improvement among the iterations, due to the diversity of the participants in the three rounds. From the model, a development platform for the pHealth domain was generated called pHealth Patient Platform (pHPP). The platform includes a set of libraries, programming and deployment tools, a tutorial and a sample application. The main four modules of the architecture are: the Data Collection Engine, which allows abstracting sources of information like sensors or external services, mapping data to databases and ontologies, and allowing event-based interaction and filtering, the GUI Engine, which abstracts the user interface in a message-like interaction model, the Workow Engine, which allows programming the application's user interaction ows with graphical workows, and the Rule Engine, which gives developers a simple means for programming the application's logic in the form of \if-then" rules. After the 5 years experience of HeartCycle, partially programmed with pHPP, 5 developers were joined in a focus group to discuss the advantages and drawbacks of the platform. The view that emerged from the training course and the focus group was that the platform is well-suited to the needs of the engineers working in the field, it allowed the separation of concerns among the different specialities and it simplified some common development tasks like data management and asynchronous interaction. Nevertheless, some deficiencies were pointed out in terms of a lack of maturity of some technological choices, and for the absence of some domain-specific tools, e.g. for data processing or for health-related communication protocols. Within HeartCycle, the platform was used to develop part of the Guided Exercise system, a composition of ICT tools for the physical rehabilitation of patients who suffered from myocardial infarction. The system developed using the platform was tested in a randomized controlled clinical trial, in which 55 patients used the system for 21 weeks. The technical results of this trial showed that the system was stable and reliable. Some minor bugs were detected, but these were promptly corrected using the platform. This shows that the platform, as well as facilitating the development task, can be successfully used to produce reliable software. Conclusions The research work carried out in developing this thesis provides responses to the three three research questions that were the motivation for the work. RQ1 A model was developed representing the domain of personalised health systems, and the assessment of experts in the field was that it represents the domain accurately, with an appropriate balance between abstraction and detail. RQ2 A development platform based on the model was successfully developed. RQ3 The platform has been shown to assist developers create complex pHealth software. This was demonstrated within the scope of one large-scale project, but the generic approach adopted provides indications that it would offer benefits more widely. The results of these evaluations provide indications that both the model and the platform are good candidates for being a reference for future pHealth developments.

A model-driven approach to teaching concurrency

We present an undergraduate course on concurrent programming where formal models are used in different stages of the learning process. The main practical difference with other approaches lies in the fact that the ability to develop correct concurrent software relies on a systematic transformation of formal models of inter-process interaction (so called shared resources), rather than on the specific constructs of some programming language. Using a resource-centric rather than a language-centric approach has some benefits for both teachers and students. Besides the obvious advantage of being independent of the programming language, the models help in the early validation of concurrent software design, provide students and teachers with a lingua franca that greatly simplifies communication at the classroom and during supervision, and help in the automatic generation of tests for the practical assignments. This method has been in use, with slight variations, for some 15 years, surviving changes in the programming language and course length. In this article, we describe the components and structure of the current incarnation of the course?which uses Java as target language?and some tools used to support our method. We provide a detailed description of the different outcomes that the model-driven approach delivers (validation of the initial design, automatic generation of tests, and mechanical generation of code) from a teaching perspective. A critical discussion on the perceived advantages and risks of our approach follows, including some proposals on how these risks can be minimized. We include a statistical analysis to show that our method has a positive impact in the student ability to understand concurrency and to generate correct code.

Graphoids and separoids in model theory

We treat graphoid and separoid structures within the mathematical framework of model theory, specially suited for representing and analysing axiomatic systems with multiple semantics. We represent the graphoid axiom set in model theory, and translate algebraic separoid structures to another axiom set over the same symbols as graphoids. This brings both structures to a common, sound theoretical ground where they can be fairly compared. Our contribution further serves as a bridge between the most recent developments in formal logic research, and the well-known graphoid applications in probabilistic graphical modelling.