Communication Middleware for Distributed Hard Real-Time Systems in Java

Distributed real-time embedded systems are becoming increasingly important to society. More demands will be made on them and greater reliance will be placed on the delivery of their services. A relevant subset of them is high-integrity or hard real-time systems, where failure can cause loss of life, environmental harm, or significant financial loss. Additionally, the evolution of communication networks and paradigms as well as the necessity of demanding processing power and fault tolerance, motivated the interconnection between electronic devices; many of the communications have the possibility of transferring data at a high speed. The concept of distributed systems emerged as systems where different parts are executed on several nodes that interact with each other via a communication network. Java’s popularity, facilities and platform independence have made it an interesting language for the real-time and embedded community. This was the motivation for the development of RTSJ (Real-Time Specification for Java), which is a language extension intended to allow the development of real-time systems. The use of Java in the development of high-integrity systems requires strict development and testing techniques. However, RTJS includes a number of language features that are forbidden in such systems. In the context of the HIJA project, the HRTJ (Hard Real-Time Java) profile was developed to define a robust subset of the language that is amenable to static analysis for high-integrity system certification. Currently, a specification under the Java community process (JSR- 302) is being developed. Its purpose is to define those capabilities needed to create safety critical applications with Java technology called Safety Critical Java (SCJ). However, neither RTSJ nor its profiles provide facilities to develop distributed realtime applications. This is an important issue, as most of the current and future systems will be distributed. The Distributed RTSJ (DRTSJ) Expert Group was created under the Java community process (JSR-50) in order to define appropriate abstractions to overcome this problem. Currently there is no formal specification. The aim of this thesis is to develop a communication middleware that is suitable for the development of distributed hard real-time systems in Java, based on the integration between the RMI (Remote Method Invocation) model and the HRTJ profile. It has been designed and implemented keeping in mind the main requirements such as the predictability and reliability in the timing behavior and the resource usage. iThe design starts with the definition of a computational model which identifies among other things: the communication model, most appropriate underlying network protocols, the analysis model, and a subset of Java for hard real-time systems. In the design, the remote references are the basic means for building distributed applications which are associated with all non-functional parameters and resources needed to implement synchronous or asynchronous remote invocations with real-time attributes. The proposed middleware separates the resource allocation from the execution itself by defining two phases and a specific threading mechanism that guarantees a suitable timing behavior. It also includes mechanisms to monitor the functional and the timing behavior. It provides independence from network protocol defining a network interface and modules. The JRMP protocol was modified to include two phases, non-functional parameters, and message size optimizations. Although serialization is one of the fundamental operations to ensure proper data transmission, current implementations are not suitable for hard real-time systems and there are no alternatives. This thesis proposes a predictable serialization that introduces a new compiler to generate optimized code according to the computational model. The proposed solution has the advantage of allowing us to schedule the communications and to adjust the memory usage at compilation time. In order to validate the design and the implementation a demanding validation process was carried out with emphasis in the functional behavior, the memory usage, the processor usage (the end-to-end response time and the response time in each functional block) and the network usage (real consumption according to the calculated consumption). The results obtained in an industrial application developed by Thales Avionics (a Flight Management System) and in exhaustive tests show that the design and the prototype are reliable for industrial applications with strict timing requirements. Los sistemas empotrados y distribuidos de tiempo real son cada vez más importantes para la sociedad. Su demanda aumenta y cada vez más dependemos de los servicios que proporcionan. Los sistemas de alta integridad constituyen un subconjunto de gran importancia. Se caracterizan por que un fallo en su funcionamiento puede causar pérdida de vidas humanas, daños en el medio ambiente o cuantiosas pérdidas económicas. La necesidad de satisfacer requisitos temporales estrictos, hace más complejo su desarrollo. Mientras que los sistemas empotrados se sigan expandiendo en nuestra sociedad, es necesario garantizar un coste de desarrollo ajustado mediante el uso técnicas adecuadas en su diseño, mantenimiento y certificación. En concreto, se requiere una tecnología flexible e independiente del hardware. La evolución de las redes y paradigmas de comunicación, así como la necesidad de mayor potencia de cómputo y de tolerancia a fallos, ha motivado la interconexión de dispositivos electrónicos. Los mecanismos de comunicación permiten la transferencia de datos con alta velocidad de transmisión. En este contexto, el concepto de sistema distribuido ha emergido como sistemas donde sus componentes se ejecutan en varios nodos en paralelo y que interactúan entre ellos mediante redes de comunicaciones. Un concepto interesante son los sistemas de tiempo real neutrales respecto a la plataforma de ejecución. Se caracterizan por la falta de conocimiento de esta plataforma durante su diseño. Esta propiedad es relevante, por que conviene que se ejecuten en la mayor variedad de arquitecturas, tienen una vida media mayor de diez anos y el lugar ˜ donde se ejecutan puede variar. El lenguaje de programación Java es una buena base para el desarrollo de este tipo de sistemas. Por este motivo se ha creado RTSJ (Real-Time Specification for Java), que es una extensión del lenguaje para permitir el desarrollo de sistemas de tiempo real. Sin embargo, RTSJ no proporciona facilidades para el desarrollo de aplicaciones distribuidas de tiempo real. Es una limitación importante dado que la mayoría de los actuales y futuros sistemas serán distribuidos. El grupo DRTSJ (DistributedRTSJ) fue creado bajo el proceso de la comunidad de Java (JSR-50) con el fin de definir las abstracciones que aborden dicha limitación, pero en la actualidad aun no existe una especificacion formal. El objetivo de esta tesis es desarrollar un middleware de comunicaciones para el desarrollo de sistemas distribuidos de tiempo real en Java, basado en la integración entre el modelo de RMI (Remote Method Invocation) y el perfil HRTJ. Ha sido diseñado e implementado teniendo en cuenta los requisitos principales, como la predecibilidad y la confiabilidad del comportamiento temporal y el uso de recursos. El diseño parte de la definición de un modelo computacional el cual identifica entre otras cosas: el modelo de comunicaciones, los protocolos de red subyacentes más adecuados, el modelo de análisis, y un subconjunto de Java para sistemas de tiempo real crítico. En el diseño, las referencias remotas son el medio básico para construcción de aplicaciones distribuidas las cuales son asociadas a todos los parámetros no funcionales y los recursos necesarios para la ejecución de invocaciones remotas síncronas o asíncronas con atributos de tiempo real. El middleware propuesto separa la asignación de recursos de la propia ejecución definiendo dos fases y un mecanismo de hebras especifico que garantiza un comportamiento temporal adecuado. Además se ha incluido mecanismos para supervisar el comportamiento funcional y temporal. Se ha buscado independencia del protocolo de red definiendo una interfaz de red y módulos específicos. También se ha modificado el protocolo JRMP para incluir diferentes fases, parámetros no funcionales y optimizaciones de los tamaños de los mensajes. Aunque la serialización es una de las operaciones fundamentales para asegurar la adecuada transmisión de datos, las actuales implementaciones no son adecuadas para sistemas críticos y no hay alternativas. Este trabajo propone una serialización predecible que ha implicado el desarrollo de un nuevo compilador para la generación de código optimizado acorde al modelo computacional. La solución propuesta tiene la ventaja que en tiempo de compilación nos permite planificar las comunicaciones y ajustar el uso de memoria. Con el objetivo de validar el diseño e implementación se ha llevado a cabo un exigente proceso de validación con énfasis en: el comportamiento funcional, el uso de memoria, el uso del procesador (tiempo de respuesta de extremo a extremo y en cada uno de los bloques funcionales) y el uso de la red (consumo real conforme al estimado). Los buenos resultados obtenidos en una aplicación industrial desarrollada por Thales Avionics (un sistema de gestión de vuelo) y en las pruebas exhaustivas han demostrado que el diseño y el prototipo son fiables para aplicaciones industriales con estrictos requisitos temporales.

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.

Strengthening communication skills in an innovative context of engineering project management learning

This document presents an innovative, formal educational initiative that is aimed at enhancing the development of engineering students’ specific competences when studying Project Management (PM) subject. The framework of the experience combines (1) theoretical concepts, (2) the development of a real-case project carried out by multidisciplinary groups of three different universities, (3) the use of software web 2.0 tools and (4) group and individual assignments of students that play different roles (project managers and team members). Under this scenario, the study focuses on monitoring the communication competence in the ever growing PM virtual environment. Factors such as corporal language, technical means, stage, and PM specific vocabulary among others have been considered in order to assess the students’ performance on this issue. As a main contribution, the paper introduces an ad-hoc rubric that, based on previous investigations, has been adapted and tested for the first time to this new and specific context. Additionally, the research conducted has provided some interesting findings that suggest further actions to improve and better define future rubrics, oriented to communication or even other competences. As specific PM subject concerns, it has been detected that students playing the role of Project Managers strengthen their competences more than those ones that play the role of Team Members. It has also been detected that students have more difficulty assimilating concepts related to risk and quality management. However those concepts related with scope, time or cost areas of knowledge have been better assimilated by the students.

Monitoring the communication competence in an innovative context of project management learning

This document presents an innovative, formal educational initiative that is aimed at enhancing the development of engineering students' specific competences. The subject of project management is the common theoretical and practical framework that articulates an experience that is carried out by multidisciplinary groups. Full utilization of Web 2.0 platforms and Project Based Learning constitutes the applied methodology. More specifically, this study focuses on monitoring communication competence when working in virtual environments, providing an ad-hoc rubric as a final result.

Improving engineering students' communication competence: designing innovative learning strategies

This research presents an innovative and formal educational initiative that is aimed at enhancing the development of engineering students’ specific competencies when studying Engineering Project Management subject. The framework of the experience combines theoretical concepts, the development of a real-case project carried out by multidisciplinary groups of three different universities, the use of software web 2.0 tools, and group and individual assignments of students that play different roles (project managers and team members). Under this scenario, this paper focuses on monitoring the communication competence in the ever growing Project Management virtual environment. Factors such as corporal language, technical means, stage, and management specific vocabulary among others have been considered in order to assess the students’ performance on this issue. As a main contribution, the paper introduces an ad-hoc rubric that, based on previous investigations, has been adapted and tested to this specific context. Additionally, the research conducted has provided some interesting findings that suggest further actions to improve and better define future rubrics, oriented to communication or even other competencies. As specific Project Management subject concerns, it has been detected that students playing the role of Project Managers strengthen their competencies more than those ones that play the role of Team Members. It has also been detected that students have more difficulty assimilating concepts related to risk and quality management. However those concepts related with areas of knowledge like scope, time or cost have been better assimilated by the students.

Invariantes del pensamiento en los arquitectos de Madrid. Primera década del siglo XXI. Una historia de transmisión oral

Invariantes del pensamiento en los arquitectos de Madrid. Primera década del siglo XXI. Una historia de transmisión oral es una Tesis Doctoral que parte de la elaboración de un archivo documental inédito, archivo que aglutina los testimonios de los más importantes arquitectos de Madrid presentes durante los primeros diez años del siglo XXI. Estos testimonios se recogen ordenadamente a modo de conversaciones transcritas, reflexiones puntuales y audios. La incorporación de los audios al trabajo documental permite comprobar a futuros investigadores, de manera directa, la certeza de las conclusiones o, incluso, establecer interpretaciones distintas. Los documentos sonoros son el germen de este trabajo. La Tesis Doctoral ordena e interpreta los testimonios en su apartado de ANÁLISIS/ DESARROLLO permitiendo entender a través de constantes demostraciones un hilo conductor del pensamiento en los arquitectos de Madrid. Se trata de una Tesis Doctoral que se entiende como un documento vivo, abierto y que gracias a su carácter inédito descubre matices y reflexiones de los arquitectos nunca antes recogidos en otros trabajos. Se ha conseguido reunir y ordenar por primera vez la voz y el pensamiento de los más importantes arquitectos de Madrid, muchos de ellos ya fallecidos. Se ha establecido un árbol genealógico ordenado y completo de los arquitectos de referencia indiscutibles desde el año 1939. Se ha conseguido reunir en un solo documento a los arquitectos y personajes más citados y recurrentes en el discurso de los arquitectos de Madrid, pudiendo constatar así sus referentes culturales más utilizados. Se ha descubierto y argumentado un pensamiento común dividido en cuatro conceptos: Oportunidad, Orden, Compromiso y Contención. Se produce una aproximación al arquitecto y a su pensamiento de la manera más natural y espontánea. Las grabaciones nos permitirán introducirnos, sin imposturas, no solo en el fondo, sino también en la forma de lo que se comunica, en el cómo. Una vez seleccionados los documentos sonoros más adecuados para el objetivo de este trabajo se ha procedido a su transcripción al papel. En este proceso se depura el lenguaje y se liman defectos de forma, al mismo tiempo se resumen las conversaciones y se recogen solo los comentarios más interesantes. En el proceso de transcripción, así como en la elección de las preguntas, existe una labor editorial, la aplicación de un criterio a la hora de seleccionar, resumir, corregir, completar, etc. Para abordar las conversaciones se ha recurrido a la bibliografía de referencia de cada uno de los arquitectos. Una vez transcritas las entrevistas, se establece una valoración crítica, una aproximación teórica al tema principal de la conversación. Bien puede tratarse de una reflexión sobre el arquitecto y su trabajo o sobre algunas de las opiniones o temas vertidos durante la charla. Para situar a cada uno de los arquitectos que se citan, se ha establecido un apartado genealógico completo donde cada uno se coloca en su lugar correspondiente conforme a sus apariciones en los textos principales de la historiografía reciente desde Carlos Flores hasta el año 2010. Esta Tesis Doctoral es un testigo de la diversidad de pensamientos y actitudes así como de las coincidencias. Las conversaciones mantenidas, las reflexiones y las opiniones vertidas al respecto han tocado reiteradamente muchos temas que aparecerán ordenados en el ANÁLISIS/DESARROLLO y en el apartado DESCRIPTORES. A partir de estos y otros temas genéricos, los pensamientos se aglutinan en torno a cuatro puntos que resumen las actitudes y los planteamientos conceptuales más recurrentes y coincidentes. Estos cuatro puntos definen de una manera concreta al arquitecto de Madrid. Oportunidad, Orden, Compromiso y Contención. Identidad generada a través de una historia de transmisión oral, desde los arquitectos de las primeras generaciones de posguerra hasta hoy. ABSTRACT Invariable thought in the architects of Madrid. First decade of the XXI century. A history of oral transmission is a Doctoral Thesis that starts with the development of a new documentary file, a file which brings together the testimonies of the most important architects of Madrid present during the first ten years of this century. These testimonies include conversations, punctual reflections and audio bites. Incorporating audio allows future researchers to check certain conclusions directly or even to have different interpretations. Sound bites are the seed of this work. This Doctoral Thesis orders and interprets the testimonies in the ANALYSIS / DEVELOPMENT section, through which a common thread of thought in Madrid architects can be ascertained. This doctoral thesis is meant as a living, open document, which, thanks to its unprecedented nature, discovers nuances and reflections of architects that had never been collected in previous studies. It has brought together and sorted for the first time the voice and thoughts of the most important architects of Madrid, many of them already deceased. It has established an orderly and comprehensive reference guide to the most important architects since 1939. It has brought together in one document the most cited and recurring architects and characters in the discourse of the architects of Madrid, which enables us to observe the cultural references they used the most. We have discovered and put forward a common thought divided into four concepts: Opportunity, Order, Commitment and Containment. The architect and his thoughts are revealed as naturally and spontaneously as possible. The recordings allow us to ascertain, without impositions, not only the substance but also the form of what is communicated. After selecting the most appropriate sound bites for the purpose of this work, we have proceeded to transcribe them to paper. In this process the language has been purified and formal defects have been dealt with, and at the same time the conversations have been summarized and only the most interesting comments have been kept. The transcription process and the choice of questions entails editorial work, applying a criterion when selecting, summarizing, amending, supplementing, etc. To address the conversations, the bibliographic reference of each of the architects has been used. Once the interviews have been transcribed, a critical appraisal and a theoretical approach to the main topic of conversation are established. It may be a reflection on the architect and his work or some of the views or issues discussed during the talk. In order to place each of the cited architects, a complete family tree has been devised in which each architect is situated according to his appearances in the main text of recent historiography, from Carlos Flores until 2010. This Doctoral Thesis is a witness to the diversity of thoughts, attitudes and coincidences. The conversations, reflections and opinions expressed in this regard have repeatedly touched many issues that will be sorted in the ANALYSIS/DEVELOPMENT and the KEYWORDS section. From these and other generic issues, thoughts coalesce around four points which summarize the attitudes and the most recurrent and similar conceptual approaches. These four points define the architect of Madrid in a concrete way. Opportunity, order, engagement and containment. An identity generated by a history of oral transmission, from the architects of the first post-war generations until today.