Languages for safety-certification related propertis

The Safety Certification of Software-Intensive Systems with Reusable Components project, in short SafeCer (www.safecer.eu),is targeting increased efficiency and reduced time-to-market by composable safety certification of safety- relevant embedded systems. The industrial domains targeted are within automotive and construction equipment, avionics, and rail. Some of the companies involved are: Volvo Tech- nology, Thales, TTTech, and Intecs among others. SafeCer includes more than 30 partners in six different countries and has a budget of e25.7 millions. A primary objective is to provide support for system safety arguments based on arguments and properties of system components as well as to provide support for generation of corresponding evidence in a similar compositional way. By providing support for efficient reuse of certification and stronger links between certification and development, compo- nent reuse will be facilitated, and by providing support for reuse across domains the amount of components available for reuse will increase dramatically. The resulting efficiency and reduced time to market will, together with increased quality and reduced risk, increase competitiveness and pave the way for a cross-domain market for software components qualified for certification.

LED bulbs technical specification and testing procedure for solar home systems

The definition of technical specifications and the corresponding laboratory procedures are necessary steps in order to assure the quality of the devices prior to be installed in Solar Home Systems (SHS). To clarify and unify criteria a European project supported the development of the Universal Technical Standard for Solar Home Systems (UTSfSHS). Its principles were to generate simple and affordable technical requirements to be optimized in order to facilitate the implementation of tests with basic and simple laboratory tools even on the same SHS electrification program countries. These requirements cover the main aspects of this type of installations and its lighting chapter was developed based on the most used technology at that time: fluorescent tubes and CFLs. However, with the consolidation of the new LED solid state lighting devices, particular attention is being given to this matter and new procedures are required. In this work we develop a complete set of technical specifications and test procedures that have been designed within the frame of the UTSfSHS, based on an intense review of the scientific and technical publications related to LED lighting and their practical application. They apply to lamp reliability, performance and safety under normal, extreme and abnormal operating conditions as a simple but complete quality meter tool for any LED bulb.

An ITS architecture specification - The FOTsis project experience

The recent continuous development of Cooperative ITS has resulted in several initiatives which focus on different parts of the Cooperative environment landscape. The FOTsis project focuses on the infrastructure side of the Cooperative environment and will deploy and test 7 services designed to maximise the benefits of the integration of the road operator and infrastructure-based information providers into the ITS environment. This paper describes the current status of the project and focuses on the road safety approach within the project: safety services and safety impact assessment. The outlook on the project's next steps is given in the last section of the paper.

Extending the expressiveness of fuzzy logic languages

En el trabajo que aquí presentamos se incluye la base teórica (sintaxis y semántica) y una implementación de un framework para codificar el razonamiento de la representación difusa o borrosa del mundo (tal y como nosotros, seres humanos, entendemos éste). El interés en la realización de éste trabajo parte de dos fuentes: eliminar la complejidad existente cuando se realiza una implementación con un lenguaje de programación de los llamados de propósito general y proporcionar una herramienta lo suficientemente inteligente para dar respuestas de forma constructiva a consultas difusas o borrosas. El framework, RFuzzy, permite codificar reglas y consultas en una sintaxis muy cercana al lenguaje natural usado por los seres humanos para expresar sus pensamientos, pero es bastante más que eso. Permite representar conceptos muy interesantes, como fuzzificaciones (funciones usadas para convertir conceptos no difusos en difusos), valores por defecto (que se usan para devolver resultados un poco menos válidos que los que devolveríamos si tuviésemos la información necesaria para calcular los más válidos), similaridad entre atributos (característica que utilizamos para buscar aquellos individuos en la base de datos con una característica similar a la buscada), sinónimos o antónimos y, además, nos permite extender el numero de conectivas y modificadores (incluyendo modificadores de negación) que podemos usar en las reglas y consultas. La personalización de la definición de conceptos difusos (muy útil para lidiar con el carácter subjetivo de los conceptos borrosos, donde nos encontramos con que cualificar a alguien de “alto” depende de la altura de la persona que cualifica) es otra de las facilidades incluida. Además, RFuzzy implementa la semántica multi-adjunta. El interés en esta reside en que introduce la posibilidad de obtener la credibilidad de una regla a partir de un conjunto de datos y una regla dada y no solo el grado de satisfacción de una regla a partir de el universo modelado en nuestro programa. De esa forma podemos obtener automáticamente la credibilidad de una regla para una determinada situación. Aún cuando la contribución teórica de la tesis es interesante en si misma, especialmente la inclusión del modificador de negacion, sus multiples usos practicos lo son también. Entre los diferentes usos que se han dado al framework destacamos el reconocimiento de emociones, el control de robots, el control granular en computacion paralela/distribuída y las busquedas difusas o borrosas en bases de datos. ABSTRACT In this work we provide a theoretical basis (syntax and semantics) and a practical implementation of a framework for encoding the reasoning and the fuzzy representation of the world (as human beings understand it). The interest for this work comes from two sources: removing the existing complexity when doing it with a general purpose programming language (one developed without focusing in providing special constructions for representing fuzzy information) and providing a tool intelligent enough to answer, in a constructive way, expressive queries over conventional data. The framework, RFuzzy, allows to encode rules and queries in a syntax very close to the natural language used by human beings to express their thoughts, but it is more than that. It allows to encode very interesting concepts, as fuzzifications (functions to easily fuzzify crisp concepts), default values (used for providing results less adequate but still valid when the information needed to provide results is missing), similarity between attributes (used to search for individuals with a characteristic similar to the one we are looking for), synonyms or antonyms and it allows to extend the number of connectives and modifiers (even negation) we can use in the rules. The personalization of the definition of fuzzy concepts (very useful for dealing with the subjective character of fuzziness, in which a concept like tall depends on the height of the person performing the query) is another of the facilities included. Besides, RFuzzy implements the multi-adjoint semantics. The interest in them is that in addition to obtaining the grade of satisfaction of a consequent from a rule, its credibility and the grade of satisfaction of the antecedents we can determine from a set of data how much credibility we must assign to a rule to model the behaviour of the set of data. So, we can determine automatically the credibility of a rule for a particular situation. Although the theoretical contribution is interesting by itself, specially the inclusion of the negation modifier, the practical usage of it is equally important. Between the different uses given to the framework we highlight emotion recognition, robocup control, granularity control in parallel/distributed computing and flexible searches in databases.

Análisis de las herramientas ORCC y Vivado HLS para la Síntesis de Modelos de Flujo de Datos RVC-CAL

En este Proyecto Fin de Grado se ha realizado un estudio de cómo generar, a partir de modelos de flujo de datos en RVC-CAL (Reconfigurable Video Coding – CAL Actor Language), modelos VHDL (Versatile Hardware Description Language) mediante Vivado HLS (Vivado High Level Synthesis), incluida en las herramientas disponibles en Vivado de Xilinx. Una vez conseguido el modelo VHDL resultante, la intención es que mediante las herramientas de Xilinx se programe en una FPGA (Field Programmable Gate Array) o el dispositivo Zynq también desarrollado por Xilinx. RVC-CAL es un lenguaje de flujo de datos que describe la funcionalidad de bloques funcionales, denominados actores. Las funcionalidades que desarrolla un actor se definen como acciones, las cuales pueden ser diferentes en un mismo actor. Los actores pueden comunicarse entre sí y formar una red de actores o network. Con Vivado HLS podemos obtener un diseño VHDL a partir de un modelo en lenguaje C. Por lo que la generación de modelos en VHDL a partir de otros en RVC-CAL, requiere una fase previa en la que los modelos en RVC-CAL serán compilados para conseguir su equivalente en lenguaje C. El compilador ORCC (Open RVC-CAL Compiler) es la herramienta que nos permite lograr diseños en lenguaje C partiendo de modelos en RVC-CAL. ORCC no crea directamente el código ejecutable, sino que genera un código fuente disponible para ser compilado por otra herramienta, en el caso de este proyecto, el compilador GCC (Gnu C Compiler) de Linux. En resumen en este proyecto nos encontramos con tres puntos de estudio bien diferenciados, los cuales son: 1. Partimos de modelos de flujo de datos en RVC-CAL, los cuales son compilados por ORCC para alcanzar su traducción en lenguaje C. 2. Una vez conseguidos los diseños equivalentes en lenguaje C, son sintetizados en Vivado HLS para conseguir los modelos en VHDL. 3. Los modelos VHDL resultantes serian manipulados por las herramientas de Xilinx para producir el bitstream que sea programado en una FPGA o en el dispositivo Zynq. En el estudio del segundo punto, nos encontramos con una serie de elementos conflictivos que afectan a la síntesis en Vivado HLS de los diseños en lenguaje C generados por ORCC. Estos elementos están relacionados con la manera que se encuentra estructurada la especificación en C generada por ORCC y que Vivado HLS no puede soportar en determinados momentos de la síntesis. De esta manera se ha propuesto una transformación “manual” de los diseños generados por ORCC que afecto lo menos posible a los modelos originales para poder realizar la síntesis con Vivado HLS y crear el fichero VHDL correcto. De esta forma este documento se estructura siguiendo el modelo de un trabajo de investigación. En primer lugar, se exponen las motivaciones y objetivos que apoyan y se esperan lograr en este trabajo. Seguidamente, se pone de manifiesto un análisis del estado del arte de los elementos necesarios para el desarrollo del mismo, proporcionando los conceptos básicos para la correcta comprensión y estudio del documento. Se realiza una descripción de los lenguajes RVC-CAL y VHDL, además de una introducción de las herramientas ORCC y Vivado, analizando las bondades y características principales de ambas. Una vez conocido el comportamiento de ambas herramientas, se describen las soluciones desarrolladas en nuestro estudio de la síntesis de modelos en RVC-CAL, poniéndose de manifiesto los puntos conflictivos anteriormente señalados que Vivado HLS no puede soportar en la síntesis de los diseños en lenguaje C generados por el compilador ORCC. A continuación se presentan las soluciones propuestas a estos errores acontecidos durante la síntesis, con las cuales se pretende alcanzar una especificación en C más óptima para una correcta síntesis en Vivado HLS y alcanzar de esta forma los modelos VHDL adecuados. Por último, como resultado final de este trabajo se extraen un conjunto de conclusiones sobre todos los análisis y desarrollos acontecidos en el mismo. Al mismo tiempo se proponen una serie de líneas futuras de trabajo con las que se podría continuar el estudio y completar la investigación desarrollada en este documento. ABSTRACT. In this Project it has made a study of how to generate, from data flow models in RVC-CAL (Reconfigurable Video Coding - Actor CAL Language), VHDL models (Versatile Hardware Description Language) by Vivado HLS (Vivado High Level Synthesis), included in the tools available in Vivado of Xilinx. Once achieved the resulting VHDL model, the intention is that by the Xilinx tools programmed in FPGA or Zynq device also developed by Xilinx. RVC-CAL is a dataflow language that describes the functionality of functional blocks, called actors. The functionalities developed by an actor are defined as actions, which may be different in the same actor. Actors can communicate with each other and form a network of actors. With Vivado HLS we can get a VHDL design from a model in C. So the generation of models in VHDL from others in RVC-CAL requires a preliminary phase in which the models RVC-CAL will be compiled to get its equivalent in C. The compiler ORCC (Open RVC-CAL Compiler) is the tool that allows us to achieve designs in C language models based on RVC-CAL. ORCC not directly create the executable code but generates an available source code to be compiled by another tool, in the case of this project, the GCC compiler (GNU C Compiler) of Linux. In short, in this project we find three well-defined points of study, which are: 1. We start from data flow models in RVC-CAL, which are compiled by ORCC to achieve its translation in C. 2. Once you realize the equivalent designs in C, they are synthesized in Vivado HLS for VHDL models. 3. The resulting models VHDL would be manipulated by Xilinx tools to produce the bitstream that is programmed into an FPGA or Zynq device. In the study of the second point, we find a number of conflicting elements that affect the synthesis Vivado HLS designs in C generated by ORCC. These elements are related to the way it is structured specification in C generated ORCC and Vivado HLS cannot hold at certain times of the synthesis. Thus it has proposed a "manual" transformation of designs generated by ORCC that affected as little as possible to the original in order to perform the synthesis Vivado HLS and create the correct file VHDL models. Thus this document is structured along the lines of a research. First, the motivations and objectives that support and hope to reach in this work are presented. Then it shows an analysis the state of the art of the elements necessary for its development, providing the basics for a correct understanding and study of the document. A description of the RVC-CAL and VHDL languages is made, in addition an introduction of the ORCC and Vivado tools, analyzing the advantages and main features of both. Once you know the behavior of both tools, the solutions developed in our study of the synthesis of RVC-CAL models, introducing the conflicting points mentioned above are described that Vivado HLS cannot stand in the synthesis of design in C language generated by ORCC compiler. Below the proposed solutions to these errors occurred during synthesis, with which it is intended to achieve optimum C specification for proper synthesis Vivado HLS and thus create the appropriate VHDL models are presented. Finally, as the end result of this work a set of conclusions on all analyzes and developments occurred in the same are removed. At the same time a series of future lines of work which could continue to study and complete the research developed in this document are proposed.

Anteroposterior neural tissue specification by activin-induced mesoderm

The transforming growth factor β superfamily member, activin, is able to induce mesodermal tissues in animal cap explants from Xenopus laevis blastula stage embryos. Activin can act like a morphogen of the dorsoventral axis in that lower doses induce more ventral, and higher doses more dorsal, tissue types. Activin has also previously been reported to induce neural tissues in animal caps. From cell mixing experiments it was inferred that this might be an indirect effect of induced mesoderm signaling to uninduced ectoderm. Here we demonstrate directly that neural tissues do indeed arise by the action of induced mesoderm on uninduced ectoderm. Dorsal mesoderm is itself subdivided into posterior and anterior domains in vivo, but this had not been demonstrated for induced mesoderm. We therefore tested whether different concentrations of activin recreate these different anteroposterior properties as well. We show that the anteroposterior positional value of induced mesoderm, including its neuroinductive properties, depends on the dose of activin applied to the mesoderm, with lower doses inducing more posterior and higher doses giving more anterior markers. We discuss the implications of these results for patterning signals and the relationship between anteroposterior and dorsoventral axes.

Proximo–distal specification in the wing disc of Drosophila by the nubbin gene

Mutations in the nubbin (nub) gene have a phenotype consisting of a severe wing size reduction and pattern alterations, such as transformations of distal elements into proximal ones. nub expression is restricted to the wing pouch cells in wing discs since early larval development. These effects are also observed in genetic mosaics where cell proliferation is reduced in all wing blade regions autonomously, and transformation into proximal elements is observed in distal clones. Clones located in the proximal region of the wing blade cause in addition nonautonomous reduction of the whole wing. Cell lineage experiments in a nub mutant background show that clones respect neither the anterior–posterior nor the dorsal–ventral boundary but that the selector genes have been correctly expressed since early larval development. The phenotypes of nub el and nub dpp genetic combinations are synergistic and the overexpression of dpp in clones in nub wings does not result in overproliferation of the surrounding wild-type cells. We discuss the role of nub in the wing’s proximo–distal axis and in the formation of compartment boundaries.

A network of interacting transcriptional regulators involved in Drosophila neural fate specification revealed by the yeast two-hybrid system

Neural fate specification in Drosophila is promoted by the products of the proneural genes, such as those of the achaete–scute complex, and antagonized by the products of the Enhancer of split [E(spl)] complex, hairy, and extramacrochaetae. As all these proteins bear a helix-loop-helix (HLH) dimerization domain, we investigated their potential pairwise interactions using the yeast two-hybrid system. The fidelity of the system was established by its ability to closely reproduce the already documented interactions among Da, Ac, Sc, and Extramacrochaetae. We show that the seven E(spl) basic HLH proteins can form homo- and heterodimers inter-se with distinct preferences. We further show that a subset of E(spl) proteins can heterodimerize with Da, another subset can heterodimerize with proneural proteins, and yet another with both, indicating specialization within the E(spl) family. Hairy displays no interactions with any of the HLH proteins tested. It does interact with the non-HLH protein Groucho, which itself interacts with all E(spl) basic HLH proteins, but with none of the proneural proteins or Da. We investigated the structural requirements for some of these interactions by site-specific and deletion mutagenesis.

Mitogen-activated protein kinase and neural specification in Xenopus

We have investigated the activity and function of mitogen-activated protein kinase (MAPK) during neural specification in Xenopus. Ectodermal MAPK activity increased between late blastula and midgastrula stages. At midgastrula, MAPK activity in both newly induced neural ectoderm and ectoderm overexpressing the anterior neural inducer noggin was 5-fold higher than in uninduced ectoderm. Overexpression of MAPK phosphatase-1 (MKP-1) in ectoderm inhibited MAPK activity and prevented neurectoderm-specific gene expression when the ectoderm was recombined with dorsal mesoderm or treated with fibroblast growth factor (FGF). Neurectoderm-specific gene expression was observed, however, in ectoderm overexpressing both noggin and MKP-1. To evaluate the role of MAPK in posterior regionalization, ectodermal isolates were treated with increasing concentrations of FGF and assayed for MAPK activity and neurectoderm-specific gene expression. Although induction of posterior neural ectoderm by FGF was accompanied by an elevation of MAPK activity, relative MAPK activity associated with posterior neural fate was no higher than that of ectoderm specified to adopt an anterior neural fate. Thus, increasingly posterior neural fates are not correlated with quantitative increases in MAPK activity. Because MAPK has been shown to down-regulate Smad1, MAPK may disrupt bone morphogenetic protein 4 (BMP-4) signaling during neural specification. Our results suggest that MAPK plays an essential role in the establishment of neural fate in vivo.

Genes, peoples, and languages

The genetic history of a group of populations is usually analyzed by reconstructing a tree of their origins. Reliability of the reconstruction depends on the validity of the hypothesis that genetic differentiation of the populations is mostly due to population fissions followed by independent evolution. If necessary, adjustment for major population admixtures can be made. Dating the fissions requires comparisons with paleoanthropological and paleontological dates, which are few and uncertain. A method of absolute genetic dating recently introduced uses mutation rates as molecular clocks; it was applied to human evolution using microsatellites, which have a sufficiently high mutation rate. Results are comparable with those of other methods and agree with a recent expansion of modern humans from Africa. An alternative method of analysis, useful when there is adequate geographic coverage of regions, is the geographic study of frequencies of alleles or haplotypes. As in the case of trees, it is necessary to summarize data from many loci for conclusions to be acceptable. Results must be independent from the loci used. Multivariate analyses like principal components or multidimensional scaling reveal a number of hidden patterns and evaluate their relative importance. Most patterns found in the analysis of human living populations are likely to be consequences of demographic expansions, determined by technological developments affecting food availability, transportation, or military power. During such expansions, both genes and languages are spread to potentially vast areas. In principle, this tends to create a correlation between the respective evolutionary trees. The correlation is usually positive and often remarkably high. It can be decreased or hidden by phenomena of language replacement and also of gene replacement, usually partial, due to gene flow.

Regulation of the myeloperoxidase enhancer binding proteins Pu1, C-EBP alpha, -beta, and -delta during granulocyte-lineage specification.

We have compared the molecular architecture and function of the myeloperoxidase upstream enhancer in multipotential versus granulocyte-committed hematopoietic progenitor cells. We show that the enhancer is accessible in multipotential cell chromatin but functionally incompetent before granulocyte commitment. Multipotential cells contain both Pu1 and C-EBP alpha as enhancer-binding activities. Pu1 is unphosphorylated in both multipotential and granulocyte-committed cells but is phosphorylated in B lymphocytes, raising the possibility that differential phosphorylation may play a role in specifying its lymphoid versus myeloid functions. C-EBP alpha exists as multiple phosphorylated forms in the nucleus of both multipotential and granulocyte-committed cells. C-EBP beta is unphosphorylated and cytoplasmically localized in multipotential cells but exists as a phosphorylated nuclear enhancer-binding activity in granulocyte-committed cells. Granulocyte colony-stimulating factor-induced granulocytic differentiation of multipotential progenitor cells results in activation of C-EBP delta expression and functional recruitment of C-EBP delta and C-EBP beta to the nucleus. Our results implicate Pu1 and the C-EBP family as critical regulators of myeloperoxidase gene expression and are consistent with a model in which a temporal exchange of C-EBP isoforms at the myeloperoxidase enhancer mediates the transition from a primed state in multipotential cells to a transcriptionally active configuration in promyelocytes.

Lineage specification of neuronal precursors in the mouse spinal cord.

We have investigated the differentiation potential of precursor cells within the developing spinal cord of mice and have shown that spinal cord cells from embryonic day 10 specifically give rise to neurons when plated onto an astrocytic monolayer, Ast-1. These neurons had the morphology of motor neurons and > 83% expressed the motor neuron markers choline acetyltransferase, peripherin, calcitonin gene-related peptide, and L-14. By comparison, < 10% of the neurons arising on monolayers of other neural cell lines or 3T3 fibroblasts had motor neuron characteristics. Cells derived from dorsal, intermediate, and ventral regions of the spinal cord all behaved similarly and gave rise to motor neuron-like cells when plated onto Ast-1. By using cells that expressed the lacZ reporter gene, it was shown that > 93% of cells present on the Ast-1 monolayers were motor neuron-like. Time-lapse analysis revealed that the precursors on the Ast-1 monolayers gave rise to neurons either directly or following a single cell division. Together, these results indicate that precursors in the murine spinal cord can be induced to differentiate into the motor neuron phenotype by factors produced by Ast-1 cells, suggesting that a similar factor(s) produced by cells akin to Ast-1 may regulate motor neuron differentiation in vivo.

Genetics and the origin of European languages.

A new set of European genetic data has been analyzed to dissect independent patterns of geographic variation. The most important cause of European genetic variation has been confirmed to correspond to the migration of Neolithic farmers from the area of origin of agriculture in the Middle East. The next most important component of genetic variation is apparently associated with a north-south gradient possibly due to adaptation to cold climates but also to the differentiation of the Uralic and the Indo-European language-speaking people; however, the relevant correlations are not significantly different from zero after elimination of the spatial autocorrelation. The third component is highly correlated with the infiltration of the Yamna ("Kurgan") people, nomadic pastoralists who domesticated the horse and who have been claimed to have spread Indo-European languages to Europe; this association, which is statistically significant even when taking spatial autocorrelations into account, does not completely exclude the hypothesis of Indo-European as the language of Neolithic farmers. It is possible that both expansions were responsible for the spread of different subfamilies of Indo-European languages, but our genetic data cannot resolve their relative importance.

Grammar specification for the recognition of temporal expressions

This paper tells about the recognition of temporal expressions and the resolution of their temporal reference. A proposal of the units we have used to face up this tasks over a restricted domain is shown. We work with newspapers' articles in Spanish, that is why every reference we use is in Spanish. For the identification and recognition of temporal expressions we base on a temporal expression grammar and for the resolution on a dictionary, where we have the information necessary to do the date operation based on the recognized expressions. In the evaluation of our proposal we have obtained successful results for the examples studied.