Time and space partitioning the EagleEye reference mission

We discuss experiences gained by porting a Software Validation Facility (SVF) and a satellite Central Software (CSW) to a platform with support for Time and Space Partitioning (TSP). The SVF and CSW are part of the EagleEye Reference mission of the European Space Agency (ESA). As a reference mission, EagleEye is a perfect candidate to evaluate practical aspects of developing satellite CSW for and on TSP platforms. The specific TSP platform we used consists of a simulate D LEON3 CPU controlled by the XtratuM separation micro-kernel. On top of this, we run five separate partitions. Each partition ru n s its own real-time operating system or Ada run-time kernel, which in turn are running the application software of the CSW. We describe issues related to partitioning; inter-partition communication; scheduling; I/O; and fault-detection, isolation, and recovery (FDIR)

On real-time partitioned multicore systems

Partitioning is a common approach to developing mixed-criticality systems, where partitions are isolated from each other both in the temporal and the spatial domain in order to prevent low-criticality subsystems from compromising other subsystems with high level of criticality in case of misbehaviour. The advent of many-core processors, on the other hand, opens the way to highly parallel systems in which all partitions can be allocated to dedicated processor cores. This trend will simplify processor scheduling, although other issues such as mutual interference in the temporal domain may arise as a consequence of memory and device sharing. The paper describes an architecture for multi-core partitioned systems including critical subsystems built with the Ada Ravenscar profile. Some implementation issues are discussed, and experience on implementing the ORK kernel on the XtratuM partitioning hypervisor is presented.

El láser, caballo de batalla de la Guerra Fría: algunos detalles de su nacimiento

La historia de uno de los protagonistas tecnológicos del siglo XX, el láser, ha estado salpicada desde antes de sus inicios con las leyendas más descabelladas y las esperanzas más espectaculares. Han pasado ya más de cincuenta años desde su anuncio en los medios de comunicación y, a pesar de todo, sigue manteniendo un protagonismo que muchos otros descubrimientos de esa misma época perdieron hace ya bastante tiempo. Quizás puede ser porque gran parte de los objetivos que se decía que iba a alcanzar aun están pendientes y quizás, también, porque muchos terrenos en los cuales no se pensaba que pudiera incidir, al final tuvo en ellos una importancia destacada.

Hegemonía, gubernamentalidad, territorio. Apuntes metodológicos para una historia social de la planificación

La historia social de la planificación espacial es un elemento clave en el proyecto de replanteamiento crítico de las políticas urbanas y territoriales. Un urbanismo comprometido con la recuperación de lo común bajo coordenadas radicalmente democráticas requiere una lectura del pasado capaz de desvelar cómo llegaron a producirse las estructuras socioespaciales contemporáneas y el papel que la planificación jugó en dicho proceso. La historia social de la planificación permite comprender la génesis sociopolítica de los discursos, técnicas y prácticas urbanísticas que empleamos en la actualidad y cuál ha sido su efecto sobre la vida cotidiana de los planificados. Este artículo analiza varios momentos conceptuales y metodológicos de ese proyecto historiográ!co. Se exploran en primer lugar el concepto gramsciano de «hegemonía» y el foucaultiano de «gubernamentalidad » como herramientas que permiten comprender la articulación entre política y vida cotidiana en el marco de una historia social general. Esta matriz de trabajo se traslada a la dimensión espacial a través de los conceptos de «territorio» y «territorialidad». Por último se estudia el modo en que la planificación ha sido movilizada históricamente como técnica de regulación espacial de los procesos de reproducción social por determinados proyectos hegemónicos/gubernamentales en un contexto de lucha de territorialidades. ........................................... The social history of spatial planning is a key element in the critical reevaluation of urban and territorial policies. In order to engage planning in the recovery of the commons and the formation of more democratic environments we need to understand its role in the historical production of our present sociospatial structures. This historiographical approach provides an alternative account of the sociopolitical genesis of contemporary planning discourses, techniques and practices, describing their effects and impact on the everyday lives of planned populations. This article analyzes several conceptual and methodological moments of this research project. Firstly I suggest that we use Gramsci’s conceptualization of «hegemony» and Foucault’s «governmentality» in order to understand the articulation between politics and everyday life in the context of a general social history. This theoretical framework is then translated into spatial terms through the concepts of «territory» and «territoriality». Finally, I study how planning has been mobilized throughout history by particular hegemonic/governmental projects in order to spatially regulate the processes of social reproduction, in a context shaped by struggles of territoriality.

Centro Cultural Reina Sofía: Antecedentes : breve acotación histórica

Centro Cultural Reina Sofía: Antecedentes : breve acotación histórica

El edificio favorito de… Alberto Campo Baeza

Me piden que escriba sobre mi edificio favorito para iniciar una sección en el prestigioso blog de Rubén García Rubio CAJÓN DE ARQUITECTO, al modo en que Ada Louise Huxtable lo hizo con varios arquitectos en 1961 para el New York Times.

Experience in spacecraft on-board software development

This paper describes some important aspects of high- integrity software development based on the authors' work. Current group research is oriented towards mixed- criticality partitioned systems, development tools, real- time kernels, and language features. The UPMSat-2 satellite software is being used as technology demonstra- tor and a case study for the assessment of the research results. The flight software that will run on the satellite is based on proven technology, such as GNAT/ORK+ and LEON3. There is an experimental version that is being built using a partitioned approach, aiming at assessing a toolset targeting partitioned multi-core em- bedded systems. The singularities of both approaches are discussed, as well as some of the tools that are being used for developing the software.

Tools for mixed-criticality partitioned systems: partitioning algorithm and extensibility support

The development of mixed-criticality virtualized multicore systems poses new challenges that are being subject of active research work. There is an additional complexity: it is now required to identify a set of partitions, and allocate applications to partitions. In this job, a number of issues have to be considered, such as the criticality level of the application, security and dependability requirements, operating system used by the application, time requirements granularity, specific hardware needs, etc. MultiPARTES [6] toolset relies on Model Driven Engineering (MDE) [12], which is a suitable approach in this setting. In this paper, it is described the support provided for automatic system partitioning generation and toolset extensibility.

Integración social y deporte de proximidad en Francia. Un ejemplo de intervención pública en París

a utilización del deporte como integración social y cultural de jóvenes residentes en zonas urbanas desfavorecidas de Francia ha sido ensalzado por la clase política a modo de ?ascensor social?. Desde los años ochenta, las revueltas violentas en la periferia de las grandes ciudades fomentaron los prejuicios hacia un sector de la sociedad joven de origen cultural diferente, vinculando así inmigración con delincuencia. Se planteó una política deportiva de inclusión social, desde un modelo de prevención y ocupación del tiempo libre a uno educativo y de ?proximidad?. París ha sido el ámbito de estudio seleccionado con el objetivo de analizar el discurso que fundamenta la política municipal y de comprobar su implementación en los dispositivos activados. Las conclusiones de este texto buscan contribuir al debate sobre el uso del deporte en las sociedades culturalmente diversas como herramienta de intervención social.

Extensiones a los métodos de planificación de sistemas de tiempo real críticos basados en prioridades

Los sistemas de tiempo real tienen un papel cada vez más importante en nuestra sociedad. Constituyen un componente fundamental de los sistemas de control, que a su vez forman parte de diversos sistemas de ingeniería básicos en actividades industriales, militares, de comunicaciones, espaciales y médicas. La planificación de recursos es un problema fundamental en la realización de sistemas de tiempo real. Su objetivo es asignar los recursos disponibles a las tareas de forma que éstas cumplan sus restricciones temporales. Durante bastante tiempo, el estado de la técnica en relación con los métodos de planificación ha sido rudimentario. En la actualidad, los métodos de planificación basados en prioridades han alcanzado un nivel de madurez suficiente para su aplicación en entornos industriales. Sin embargo, hay cuestiones abiertas que pueden dificultar su utilización. El objetivo principal de esta tesis es estudiar los métodos de planificación basados en prioridades, detectar las cuestiones abiertas y desarrollar protocolos, directrices y esquemas de realización práctica que faciliten su empleo en sistemas industriales. Una cuestión abierta es la carencia de esquemas de realización de algunos protocolos con núcleos normalizados. El resultado ha sido el desarrollo de esquemas de realización de tareas periódicas y esporádicas de tiempo real, con detección de fallos de temporización, comunicación entre tareas, cambio de modo de ejecución del sistema y tratamiento de fallos mediante grupos de recuperación. Los esquemas se han codificado en Ada 9X y se proporcionan directrices para analizar la planificabilidad de un sistema desarrollado con esta base. Un resultado adicional ha sido la identificación de la funcionalidad mínima necesaria para desarrollar sistemas de tiempo real con las características enumeradas. La capacidad de adaptación a los cambios del entorno es una característica deseable de los sistemas de tiempo real. Si estos cambios no estaban previstos en la fase de diseño o si hay módulos erróneos, es necesario modificar o incluir algunas tareas. La actualización del sistema se suele realizar estáticamente y su instalación se lleva a cabo después de parar su ejecución. Sin embargo, hay sistemas cuyo funcionamiento no se puede detener sin producir daños materiales o económicos. Una alternativa es diseñar el sistema como un conjunto de unidades que se pueden reemplazar, sin interferir con la ejecución de otras unidades. Para tal fin, se ha desarrollado un protocolo de reemplazamiento dinámico para sistemas de tiempo real crítico y se ha comprobado su compatibilidad con los métodos de planificación basados en prioridades. Finalmente se ha desarrollado un esquema de realización práctica del protocolo.---ABSTRACT---Real-time systems are very important now a days. They have become a relevant issue in the design of control systems, which are a basic component of several engineering systems in industrial, telecommunications, military, spatial and medical applications. Resource scheduling is a central issue in the development of real-time systems. Its purpose is to assign the available resources to the tasks, in such a way that their deadlines are met. Historically, hand-crafted techniques were used to develop real-time systems. Recently, the priority-based scheduling methods have reached a sufficient maturity level to be feasible its extensive use in industrial applications. However, there are some open questions that may decrease its potential usefulness. The main goal of this thesis is to study the priority-based scheduling methods, to identify the remaining open questions and to develop protocols, implementation templates and guidelines that will make more feasible its use in industrial applications. One open question is the lack of implementation schemes, based on commercial realtime kernels, of some of the protocols. POSIX and Ada 9X has served to identify the services usually available. A set of implementation templates for periodic and sporadic tasks have been developed with provisión for timing failure detection, intertask coraraunication, change of the execution mode and failure handling based on recovery groups. Those templates have been coded in Ada 9X. A set of guidelines for checking the schedulability of a system based on them are also provided. An additional result of this work is the identification of the minimal functionality required to develop real-time systems based on priority scheduling methods, with the above characteristics. A desirable feature of real-time systems is their capacity to adapt to changes in the environment, that cannot be entirely predicted during the design, or to misbehaving software modules. The traditional maintenance techniques are performed by stopping the whole system, installing the new application and finally resuming the system execution. However this approach cannot be applied to non-stop systems. An alternative is to design the system as a set of software units that can be dynamically replaced within its operative environment. With this goal in mind, a dynamic replacement protocol for hard real-time systems has been defined. Its compatibility with priority-based scheduling methods has been proved. Finally, a execution témplate of the protocol has been implemented.

Integración del software de los subsistemas manager, plataforma y determinación y control de actitud para satélite UPMSat-2

El proyecto UPMSat2 aborda el desarrollo de un micro-satélite que se usará como una plataforma de demostración tecnológica. La mayor parte del proyecto se desarrolla en el Instituto Ignacio de la Riva de la Universidad Politécnica de Madrid, con la colaboración de empresas del sector del espacio. La labor del grupo STRAST se centra en el desarrollo del software de vuelo y del sector de tierra del satélite. Este Trabajo Fin de Grado trata del desarrollo de algunos componentes del software embarcado en el satélite. Los componentes desarrollados son: Manager, Platform y ADCS. El Manager está encargado de dirigir el funcionamiento del satélite y, en concreto, de su modo de operación. El Platform se encarga de monitorizar el estado del satélite, para comprobar que el funcionamiento de los componentes de hardware es el adecuado. Finalmente, el ADCS (Attitude Determination and Control System) trata de asegurar que la posición del satélite, respecto a la tierra, es la adecuada. El desarrollo de este trabajo parte de un diseño existente, creado por alumnos previamente. El trabajo realizado ha consistido en mejorarlos con funcionalidad adicional y realizar una integración de estos subsistemas. El resultado es un sistema operativo, que incluye unas pruebas preliminares. Un trabajo futuro será la realización de pruebas exhaustivas,para validar el funcionamiento de los subsistemas desarrollados. El desarrollo de software se ha basado en un conjunto de tecnologías habituales en los sistemas empotrados de alta integridad. El diseño se ha realizado con la herramienta TASTE, que permite el uso de AADL. El lenguaje Ada se ha utilizado para la implementación, ya que es adecuado para este tipo de sistemas. En concreto, se ha empleado un subconjunto seguro del lenguaje para poder realizar análisis estático y para incrementar la predecibilidad de su comportamiento. La concurrencia se basa en el modelo de Ravenscar,que es conforme con los métodos de análisis de respuesta.

Biomasa: capacidad de adaptación máxima

La prueba constatable de que la limitación de las horas de producción para las instalaciones de biomasa es una medida especialmente negativa dado el carácter industrial de las mismas, podemos encontrarla en la cogeneración con gas.

¿Quién manda en la biomasa?

El trato desconsiderado que se está teniendo con la biomasa se ha hecho más evidente desde el momento en que se decretó la moratoria a las renovables y con la sucesión de normas que culminará con la ‘orden de estándares’.

Convocatoria de 200 MW de biomasa. Sí, pero...

Lo que el sector está demandando es que exista una verdadera estrategia española por la biomasa, con una clara apuesta por la bioenergía, dado el valor añadido medioambiental y socioeconómico que es capaz de aportar.

Supervisión de un sistema de tiempo real distribuido

En el presente proyecto se propone la definición e implementación de un subsistema de monitorización para un sistema de tiempo real distribuido. Este monitor supervisará el estado de todos los componentes software y hardware del sistema original, y permitirá el arranque y parada de cada componente individualmente o del subsistema completo. Constará de dos componentes básicos: un supervisor local para cada subsistema, y un supervisor central con interfaz gráfica. El supervisor local es un componente software asociado a cada subsistema que realizará las funciones de monitorización, arranque/parada de los componentes y envío de informes al supervisor central. Atenderá además a los comandos de arranque y parada provenientes del supervisor central. El supervisor central recibirá los informes de estado de cada uno de los supervisores locales y permitirá el arranque y parada de los subsistemas. Contará con un interfaz gráfico a modo de posición de control. El sistema será desarrollado íntegramente (salvo la posición gráfica) en ADA95, y podrá ejecutarse en cualquiera de las distribuciones Linux más extendidas. En el contexto de Ingeniería de Software, se seguirá un desarrollo en cascada, aportándose los requisitos, el diseño, la codificación y un plan de pruebas. Abstract In this project, the definition and implementation of a monitoring system is proposed for a previously defined real-time distributed system. This supervisory system will monitor the status of each subsystem and its software and hardware components. This new system will also be able to start and stop each individual component and start or stop the entire system. It will consist of two basic components: a local supervisor for each subsystem, and a central supervisor with a graphical unit interface (GUI). The local supervisor will be a software component attached to each original subsystem, which will perform functions such as components monitoring, start and stop the associated subsystem, and sending reports to the central supervisor. It also will attend the start and stop commands from the central supervisor. The central supervisor will receive status reports from each of the local supervisors and will allow starting and stopping the subsystems. It will offer a graphical interface to be used as a main control panel. The system will be developed in ADA 95 (except the graphical position), and should work on any of the most common Linux distributions. In the context of Software Engineering, the project will be developed following a waterfall life cycle. Reports on the stages of requirements, design, coding and testing plan shall be provided.