Spectrum-Based Fault Localization in Model Transformations

Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms for manipulating and transforming models. The correctness of software built using MDE techniques greatly relies on the correctness of model transformations. However, it is challenging and error prone to debug them, and the situation gets more critical as the size and complexity of model transformations grow, where manual debugging is no longer possible. Spectrum-Based Fault Localization (SBFL) uses the results of test cases and their corresponding code coverage information to estimate the likelihood of each program component (e.g., statements) of being faulty. In this article we present an approach to apply SBFL for locating the faulty rules in model transformations. We evaluate the feasibility and accuracy of the approach by comparing the effectiveness of 18 different stateof- the-art SBFL techniques at locating faults in model transformations. Evaluation results revealed that the best techniques, namely Kulcynski2, Mountford, Ochiai, and Zoltar, lead the debugger to inspect a maximum of three rules to locate the bug in around 74% of the cases. Furthermore, we compare our approach with a static approach for fault localization in model transformations, observing a clear superiority of the proposed SBFL-based method.Comisión Interministerial de Ciencia y Tecnología TIN2015-70560-RJunta de Andalucía P12-TIC-186

FPGA implementation of an OFDM-based WLAN receiver

This paper deals with the design and implementation on FPGA of a receiver for OFDM-based WLAN. The circuit is particularized for IEEE 802.11a/g standards. The system includes frame detection, time and frequency synchronization, demodulation, equalization and phase tracking. The algorithms to be implemented for each task are selected taking into account performance, hardware cost and latency. Also, a fixed point analysis is made for each algorithm. Our objective is to maintain the PER loss below 0.5 dB for a PER = 10 -2, 64-QAM and error correction. The whole system is composed of two main blocks (correlator and CORDIC) that are reused in different time intervals to perform all the necessary operations, so the required hardware resources are minimized. To verify it, the receiver is physically implemented and tested. © 2011 Elsevier B.V. All rights reserved.This work was supported by the Spanish Ministerio de Educacion y Ciencia under grant TEC2008-06787.Canet Subiela, MJ.; Valls Coquillat, J.; Almenar Terré, V.; Marín-Roig Ramón, J. (2012). FPGA implementation of an OFDM-based WLAN receiver. Microprocessors and Microsystems. 36(3):232-244. https://doi.org/10.1016/j.micpro.2011.11.004S23224436

On the Specification of Non-functional Properties of Systems by Observation

Domain specific languages play a cornerstone role in Model-Driven Engineering (MDE) for representing models and metamodels. So far, most of the MDE community efforts have focused on the specification of the functional properties of systems. However, the correct and complete specification of some of their non-functional properties is critical in many important distributed application domains, such as embedded systems, multimedia applications or e-commerce services. In this paper we present an approach to specify QoS requirements, based on the observation of the system actions and of the state of its objects. We show how this approach can be used to extend languages which specify behavior in terms of rules, and how QoS characteristics can be easily expressed and reused across models. We show as well how this approach enables the specification of other important properties of systems, such as automatic reconfiguration of the system when some of the QoS properties change.Ministerio de Ciencia e Innovación TIN2008-031087Junta de Andalucía P07-TIC-0318

Alternativa a los combustibles fósiles: utilización de hidrógeno a bordo de buques

[Resumen]El objeto de la presente tesis es contribuir a la reducción de la contaminación medioambiental ocasionada por los buques, proponiendo el uso del hidrógeno como alternativa al uso de los combustibles fósiles. Además del medioambiente, el agotamiento del petróleo, el alza y la inestabilidad de los precios, y la geolocalización de la producción en zonas conflictivas contribuyen a estudiar alternativas a los combustibles tradicionales utilizados en la propulsión y generación eléctrica en buques. El procedimiento llevado a cabo comienza con una exposición del estado del arte, que nos permite delimitar la aplicación en el buque de los sistemas que utilizan hidrógeno, normalmente empleados en instalaciones terrestres. A continuación, se analiza la integración de cada una de estas técnicas en el buque, considerando su viabilidad técnica en la producción de energía eléctrica o en la propulsión. Se estudia su rendimiento, servicios afectados, almacenamiento del combustible y disponibilidad logística. Una vez analizada la viabilidad técnica y que las aplicaciones sean viables, se procede a su análisis económico, para establecer cómo afecta a los costes de explotación del buque esta nueva alternativa. Por último, en las conclusiones, se exponen los resultados y se proponen desarrollos futuros.[Resumo] O obxecto da presente tese é contribuír á redución da contaminación ambiental ocasionada polos buques, propoñendo o uso do hidróxeno como alternativa ao uso dos combustibles fósiles. Ademais do medioambiente, o esgotamento do petróleo, a alza e a inestabilidade dos prezos e a xeolocalización da produción en zonas conflitivas contribúen a estudar alternativas aos combustibles tradicionais, utilizados na propulsión e xeneración eléctrica en buques. O procedemento levado a cabo comeza cunha exposición do estado da arte, que nos permite delimitar a aplicación no buque dos sistemas que utilizan hidróxeno, normalmente empleados en instalacións terrestres. A continuación, analízase a integración de cada unha destas técnicas no buque, considerando a súa viabilidad técnica na produción de enerxía eléctrica ou na propulsión. Estúdase o seu rendemento, servizos afectados, almacenamento do combustible e disponibilidade loxística. Unha vez analizada a viabilidade técnica e que as aplicacións sexan viables, procédese á súa análise económica, para establecer como afecta aos costes de explotación do buque. Por último, nas conclusións, expóñense os resultados e propóñense desenvolvementos futuros.[Abstract]The object of this thesis is to contribute to reduce environmental pollution from ships, by proposing the use of hydrogen as an alternative to fossil fuels. Besides the environment, oil depletion, rising and volatile prices, and the geolocation of production in conflict zones contribute to study alternatives to traditional fuels used in propulsion and power generation on ships. The procedure carried out begins with a presentation of the state of the art, which allows us to define the application on the ship of systems using hydrogen, normally employed in land-based facilities. Then, the integration of each of these techniques in the vessel is analyzed, considering technical viability in the production of electric power or propulsion. Performance, affected services, fuel storage and logistics availability are studied. After analyzing the technical feasibility and viable applications, we proceed to do the economic analysis, to establish how this new alternative affects the operating costs of the vessel. Finally, in the conclusions, the results are presented and future developments are proposed

Actin cytoskeletal organization in human osteoblasts grown on different dental titanium implant surfaces

The understanding of the cellular basis of osteoblastic cell-biomaterial interaction is crucial to the analysis of the mechanism of osseointegration. Cell adhesion is a complex process that is dependent on the cell types and on the surface microtopography and chemistry of the substrate. We have studied the role of microtopography in modulating cell adhesion, in vitro, using a human osteoblastic cell line for the assessment of actin cytoskeletal organization. Through application of CLSM combining reflection and fluorescence, 2D or 3D images of cytoskeleton were obtained. On smooth surfaces, Ti CP machined, predominantly planar bone cells with an axial ratio of 1.1 were randomly oriented, with stress fibers running in all directions, and thin filopodia. On T iCP Osseotite ® surfaces the osteoblastic cells conformed to the irregular terrain of the sustrate with focal adhesion sites only established on the relative topographical peaks separated for a longer distance than in the machined surface, and defined wide lamellopodia and long filopodia, with enhanced expression of stress fibers, forming large clear focal contacts with the rough surface. The cytoskeletal organization of cells cultured on rough titanium supports an active role for the biomaterial surface in the events that govern osteoblastic cell adhesion. The results enforce the role of the rough sustrate surface in affecting osteoblastic cell adhesion and provide valuable information for the design of material surfaces that are required for the development of an appropriate osteogenic surface for osteoblastic anchorage, compared to machined surface, in dental implants

Diseño y Simulación de Sistemas de Colas con e-Motions

Este trabajo propone el uso de un lenguaje de dominio espec í co de alto nivel y ejecutable para analizar el rendimiento de un sistema de colas implementado mediante diferentes estrategias. En concreto se utiliza un enfoque basado en el Desarrollo del Software Dirigido por Modelos (DSDM) para modelar el comportamiento del sistema de facturación de una aerolínea y obtener datos relativos a su rendimiento en cuanto a costes y tiempos de espera, dependiendo de la estrategia utilizada. Para lograr ese propósito se utiliza e-Motions, una herramienta que permite al usuario modelar y analizar sistemas en tiempo real de forma grá ca

Control de las leyes tributarias y los efectos de su declaración de invalidez

Este estudio analiza la potestad tributaria o de creación de tributos, los principios y cuestiones de orden tributario que obran en la Constitución Política ecuatoriana, el sistema de control de la constitucionalidad de las leyes y de las normas, con especial aplicación al ámbito tributario, y los efectos de ese control. Se circunscribe principalmente a legislación ecuatoriana, mas, brevemente se refiere a otros países. Incluye la jurisprudencia del Tribunal Constitucional del Ecuador

CONSIDERING ANTI-PIRACY SHIP SECURITY: CITADEL DESIGN AND USE

As piracy continues to pose a threat to the shipping industry, a number of measures for protecting ships, cargo and crew will need to be implemented. Along with other steps, such as deploying military rescue teams, securing the crew within a ship’s citadel has proved to be a highly effective form of self-protection against hostage-taking by pirates. From a design standpoint, aspects that should be considered include the location and dimensions of the citadel, the maximum time crew can stay within it and the specific requirements for various elements of the ship or citadel equipment. Exploiting data on pirate attacks recently occurring in High Risk Areas, this article analyses the design and use of the citadel as a self-protection measure against piracy. As a conclusion, various requirements for these structures are recommended

Enfoques curriculares en la formación de abogados para enfrentar retos transnacionales

Este documento contiene dos partes, en la primera se propone consideraciones de carácter general, en la segunda, se da razón del modelo que se sigue en el Área de Derecho de la Universidad Andina Simón Bolívar, Sede Ecuador