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.

Ada real-time services and virtualization

Virtualization techniques have received increased attention in the field of embedded real-time systems. Such techniques provide a set of virtual machines that run on a single hardware platform, thus allowing several application programs to be executed as though they were running on separate machines, with isolated memory spaces and a fraction of the real processor time available to each of them.This papers deals with some problems that arise when implementing real-time systems written in Ada on a virtual machine. The effects of virtualization on the performance of the Ada real-time services are analysed, and requirements for the virtualization layer are derived. Virtual-machine time services are also defined in order to properly support Ada real-time applications. The implementation of the ORK+ kernel on the XtratuM supervisor is used as an example.

Factors influencing metal price selection in mining feasibility studies

The mineral price assigned in mining project design is critical to determining the economic feasibility of a project. Nevertheless, although it is not difficult to find literature about market metal prices, it is much more complicated to achieve a specific methodology for calculating the value or which justifications are appropriate to include. This study presents an analysis of various methods for selecting metal prices and investigates the mechanisms and motives underlying price selections. The results describe various attitudes adopted by the designers of mining investment projects, and how the price can be determined not just by means of forecasting but also by consideration of other relevant parameters.

Tipos de suelos en las instalaciones de vacuno lechero.

La producción lechera actual se ha decantado por la utilización de vacas de alto potencial genético y, por ello, de muy alta producción de leche. Ello exige satisfacer unos altos requerimientos nutri- cionales, sanitarios y de manejo para que puedan expresar todo su potencial productivo.

Ventilación en alojamientos de vacas de leche. Funciones y diseño.

La ventilación tiene como objetivo fundamental mantener la calidad del aire en el interior de los alo- jamientos animales. En efecto, determinadas pato- logías de tipo ambiental (neumonías de terneros, diarreas, mamitis) pueden controlarse consiguiendo una calidad adecuada del aire que los animales respiran, así como la higiene de las superficies del alojamiento, aunque esto último se sale de las pre- tensiones de este artículo.

Coleccion de las obras sueltas, assi en prosa, como en verso

Contiene: Rimas divinas y humanas / del Maestro Tome de Burguillos, p. 1-316. Oracion eclesiastica funeral en las exequias de Fray Lope de Vega / dicha por ...Francisco de Peralta, p. 317-351. Sermon funebre / predicado por ... Francisco de Quintana, p.353-400. Oracion funeral panegyrica / hecha por ... Ignacio de Vitoria ..., p.401-466. Oracion funebre en la muerte de Lope de Vega / por el Doctor Fernando Cardoso, p.467-492. Egloga a la fama inmortal ... / del Doctor Juan Antonio de la Peña, p. 493-520.

Algoritmo para el análisis del Comportamiento de fresas periféricas en condiciones variables

La simulación de procesos de mecanizado supone hoy en día una herramienta de gran interés para predecir el comportamiento de la herramienta en las operaciones de corte y por lo tanto, la posibilidad de optimizar estas operaciones, permitiendo alcanzar una mayor productividad en los procesos de fabricación. Los algoritmos que actualmente se están utilizando para la predicción de fuerzas de corte son variados y su eficiencia diferente. La mayoría de los algoritmos desarrollados se centran en determinar la evolución de las fuerzas de corte en cada vuelta de la herramienta sin variar las condiciones de mecanizado en este intervalo. En este sentido, se ha desarrollado un algoritmo para fresado periférico basado en el espesor de viruta medio, que permite simplificar el algoritmo de estimación de fuerzas y ser ejecutado con una mayor velocidad, manteniendo el mismo nivel de precisión en la estimación. Con este nuevo modelo es posible realizar la estimación de fuerzas en fresado no solo cuando las condiciones de corte son uniformes sino también cuando se producen cambios en la configuración del corte.

Caracterización acústica de muestras de fiqué tejido y no tejido

La cabuya es una fibra natural obtenida del fiqué, or iginario de América tropical. Sus principales usos están en la industria del agro o la artesanal como la elaboración de empaques industriales, cordelería, artesanías, agrotextiles. Recientes estudios muestran otros usos en sectores diferentes al agro como refuerzo para ma teriales de construcción y aislantes térmicos, abriendo la posibilidad de desarrollar nuevos productos derivados del fique. En este trabajo se busca la caracterización acústica del fique medi ante la medida de su coeficiente de absorción en tubo de impendancia y la resistencia al flujo del aire.

Viage de España ó Cartas en que se da noticia de las cosas mas apreciables, y dignas de saberse que hay en ella

Pedro Antonio de la Puente es seudónimo de Antonio Ponz

Viage de España o Cartas en que se da noticia de las cosas mas apreciables, y dignas de saberse ... particularmente del Escorial

Pedro Antonio de la Puente es seud. de Antonio Ponz y Piquer

Fernández del Amo: arquitecturas para una sonata de primavera

La obra del arquitecto José Luis Fernández del Amo se ha sintetizado en la muestra del Museo Español de Arte contemporáneo de Madrid. Bien montada, con una idea didáctica de la exposición, el espectador se puede hacer idea de la enorme labor desarrollada entre 1942 y 1982. Otro gran arquitecto, Antonio Fernández Alba, analiza en este texto a su veterano compañero.

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.

Dinamismo de las rutinas organizativas: action research in New Holland

La investigación que presentamos propone un modelo para entender, primero, las rutinas interorganizativas que existen entre la empresa matriz y las empresas concesionarias. Segundo, investigar cómo mejorarlas. Y tercero, cómo introducir nuevos modelos de relación de forma ágil.

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.

Investigación en acción y el uso de videos para replicar rutinas interorganizativas en el servicio postventa

La investigación que presentamos propone un modelo para entender, primero, las rutinas interorganizativas que existen entre la empresa matriz y las empresas concesionarias. Segundo, investigar cómo mejorarlas. Y tercero, cómo introducir nuevos modelos de relación de forma ágil.