An Experimental Study on Pitch Compensation in Pedestrian-Protection Systems for Collision Avoidance and Mitigation

This paper describes an improved stereovision system for the anticipated detection of car-to-pedestrian accidents. An improvement of the previous versions of the pedestrian-detection system is achieved by compensation of the camera's pitch angle, since it results in higher accuracy in the location of the ground plane and more accurate depth measurements. The system has been mounted on two different prototype cars, and several real collision-avoidance and collision-mitigation experiments have been carried out in private circuits using actors and dummies, which represents one of the main contributions of this paper. Collision avoidance is carried out by means of deceleration strategies whenever the accident is avoidable. Likewise, collision mitigation is accomplished by triggering an active hood system

Metodología orientada a la optimización automática de la calidad de los requisitos

Las fases iniciales en los proyectos software marcan su desarrollo y resultado final. Defectos provocados en las fases iniciales afectan considerablemente a la calidad y alteran las fechas de finalización. Las organizaciones internacionales se han hecho eco de este problema y se dedican gran cantidad de esfuerzos en investigación para mejorar la calidad en las primeras etapas del desarrollo. Con esta iniciativa surge la ingeniería de requisitos, disciplina encargada de proporcionar procesos de ingeniería en el desarrollo de especificaciones de requisitos necesarias para definir proyectos con cierta complejidad. Por ello han surgido numerosas guías y estándares para asegurar la calidad de los requisitos que componen las especificaciones, evitando así que posibles defectos en los requisitos provoquen errores en el desarrollo y en el producto final. Una de las mayores dificultades relacionadas con la calidad en las especificaciones de requisitos es su dependencia a las exigencias de los distintos proyectos, y a las restricciones impuestas por los distintos dominios. En esta tesis se presenta una metodología que permite incluir las restricciones impuestas mediante el procesamiento de corpus de requisitos clasificados en función de su calidad por expertos del proyecto y del dominio. El objetivo de la metodología es proporcionar métodos automáticos para la optimización de la calidad en los requisitos de ingeniería. Para ello se propone un proceso para desarrollar un clasificador que permita emular la estimación de la calidad que otorgaría el experto del dominio a un requisito, un sistema de asesoramiento automático para mejorar la calidad de requisitos defectuosos y un método para la generación automática de patrones sintáctico-semánticos, que puedan ser empleados como guía en la redacción de nuevos requisitos asegurando así una composición estructuralmente correcta. Con el fin de corroborar las propuestas de la investigación, se presentan casos de estudio mediante el tratamiento de un corpus de requisitos proporcionado por el Grupo de Trabajo de la organización INCOSE (International Council on Systems Engineering 2016) y se analizan los resultados obtenidos.Programa Oficial de Doctorado en Ciencia y Tecnología InformáticaPresidente: José Ambrosio Toval Álvarez.- Secretario: María Isabel Sánchez Segura.- Vocal: Susana Irene Díaz Rodrígue

Buscador de escritorio multimedia CIII Desktop Search

La motivación para crear un nuevo buscador local, surge debido a las mejoras que se pueden aplicar a los buscadores existentes en el mercado. Dichas mejoras hacen referencia al tiempo empleado en crear los índices, al tamaño de los mismos, a las opciones de búsqueda proporcionadas al usuario, también se considera apropiado cambiar el enfoque asumido por los demás buscadores, de esta manera no sólo se concentra la atención en ser una herramienta de búsqueda, si no también proporcionar funcionalidad para convertirla en herramienta habitual en la ejecución de archivos. Para concretar el alcance del programa, a continuación se detalla los objetivos que tiene que cumplir el nuevo buscador. - Implementar un programa que permita al usuario realizar búsquedas sobre la información almacenada localmente en el ordenador personal. - Los resultados de la búsqueda se tienen que presentar al usuario de forma inmediata. Para ello el programa tendrá que crear un sistema de índices con la información obtenida de los archivos del disco duro. Dichos índices deben ocupar el menor tamaño posible y deben crearse también en el menor tiempo posible. - Se podrá elegir qué rutas deben ser indizadas y cuales no. - El buscador debe mantener actualizados los índices sobre cualquier cambio que se realice en el sistema de archivos del disco. - El proceso de creación de los índices tiene que ser atómico, es decir, en caso de no completarse enteramente el proceso, el sistema de índices debe mantenerse estable y coherente. - Aquellos procesos que requieran un coste de tiempo elevado no deben interferir al usuario en el uso del programa. - El programa tendrá un control de los posibles errores que puedan surgir en la ejecución. - En cuanto a la funcionalidad del programa, se podrán realizar búsquedas sobre: • El contenido de archivos de texto, con el formato de texto plano o Word. Para concretar el alcance del programa, a continuación se detalla los objetivos que tiene que cumplir el nuevo buscador. - Implementar un programa que permita al usuario realizar búsquedas sobre la información almacenada localmente en el ordenador personal. - Los resultados de la búsqueda se tienen que presentar al usuario de forma inmediata. Para ello el programa tendrá que crear un sistema de índices con la información obtenida de los archivos del disco duro. Dichos índices deben ocupar el menor tamaño posible y deben crearse también en el menor tiempo posible. - Se podrá elegir qué rutas deben ser indizadas y cuales no. - El buscador debe mantener actualizados los índices sobre cualquier cambio que se realice en el sistema de archivos del disco. - El proceso de creación de los índices tiene que ser atómico, es decir, en caso de no completarse enteramente el proceso, el sistema de índices debe mantenerse estable y coherente. - Aquellos procesos que requieran un coste de tiempo elevado no deben interferir al usuario en el uso del programa. - El programa tendrá un control de los posibles errores que puedan surgir en la ejecución. - En cuanto a la funcionalidad del programa, se podrán realizar búsquedas sobre: • El contenido de archivos de texto, con el formato de texto plano o Word. • El nombre de archivos y directorios de los discos. • El contenido de todo archivo que se pueda cambiar a un formato de texto plano. - Se podrá asignar información complementaria a los archivos del disco en función de metadatos. - Los archivos que se muestren como resultados se podrán ejecutar con el programa que tenga asociado el sistema operativo. - En la sección del programa dedicada a la búsqueda en el contenido de archivos de texto se permitirán las siguientes opciones: • Buscar forzando la coincidencia de mayúsculas y minúsculas que contengan los términos de búsqueda. • Posibilidad de usar metacaracteres. • Buscar por los metadatos asignados a los archivos. • Extender la búsqueda derivando términos a partir de los escritos por el usuario, esta opción se implementara en los idiomas inglés y español. • Se podrá incluir palabras que no deben aparecer en el contenido de los archivos resultado. • También se podrán buscar coincidencias exactas con varios términos. • El programa tendrá un sistema de corrección ortográfica. - Además los resultados deberán presentarse ordenados mediante un ranking de ordenación según la relevancia del fichero en relación a la búsqueda del usuario. - La búsqueda será contextualizada, al seleccionar un fichero se mostrarán frases donde aparezcan los términos de búsqueda. - También al seleccionar un resultado deberán mostrarse otros documentos relacionados con él. - Como se ha dicho el programa permitirá buscar por nombre de archivos.Ingeniería Técnica en Informática de Gestió

A free mind cannot be digitally transferred

The digital transfer of the mind to a computer system (i.e., mind uploading) requires representing the mind as a finite sequence of bits (1s and 0s). The classic “stored-program computer” paradigm, in turn, implies the equivalence between program and data, so that the sequence of bits themselves can be interpreted as a program, which will be algorithmically executed in the receiving device. Now, according to a previous proof, on which this paper is based, a computational or algorithmic machine, however complex, cannot be free (in the sense of ‘self-determined’). Consequently, a finite sequence of bits cannot adequately represent a free mind and, therefore, a free mind cannot be digitally transferred, quod erat demonstrandum. The impossibility of making this transfer, as demonstrated here, should be a concern especially for those who wish to achieve it. Since we intend this to be a rigorous demonstration, we must give precise definitions and conditions of validity. The most important part of the paper is devoted to explaining the meaning and reasonableness of these definitions and conditions (for example that being truly free means being self-determined). Special attention is paid, also, to the philosophical implications of the demonstration. Finally, this thesis is distinguished from other closely related issues (such as other possible technological difficulties to “discretize” the mind; or, whether it is possible to transfer the mind from one material support to another one in a non-digital way).This research has received funding from the RESTART project “Continuous Reverse Engineering for Software Product Lines/Ingeniería Inversa Continua para Líneas de Productos de Software” (ref. RTI2018-099915-B-I00, Convocatoria Proyectos de I + D Retos Investigación del Programa Estatal de I + D + i Orientada a los Retos de la Sociedad 2018); MOMEBIA project “Monitorización del Mercado Eléctrico Basada en técnicas de Inteligencia Artificial" (ref. RTC2019-007501-7, Convocatoria de Proyectos de I + D + i «Retos-Colaboración» 2019—Ministerio de Ciencia e Innovación—Agencia Estatal de Investigación); it has also been supported by the Madrid Government (Comunidad de Madrid-Spain) under the Multiannual Agreement with UC3M in the line of Excellence of University Professors (EPUC3M17), and in the context of the V PRICIT (Regional Programme of Research and Technological Innovation)

AMASS: A Large-Scale European Project to Improve the Assurance and Certification of Cyber-Physical Systems

Most safety-critical systems must undergo assurance and certification processes. The associated activities can be complex and labour-intensive, thus practitioners need suitable means to execute them. The activities are further becoming more challenging as a result of the evolution of the systems towards cyber-physical ones, as these systems have new assurance and certification needs. The AMASS project (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) tackled these issues by creating and consolidating the de-facto European-wide open tool platform, ecosystem, and self-sustainable community for assurance and certification of cyber-physical systems. The project defined a novel holistic approach for architecture-driven assurance, multi-concern assurance, seamless interoperability, and cross- and intra-domain reuse of assurance assets. AMASS results were applied in 11 industrial case studies to demonstrate the reduction of effort in assurance and certification, the reduction of (re)certification cost, the reduction of assurance and certification risks, and the increase in technology harmonisation and interoperability.The research leading to this paper has received funding from the AMASS project (H2020-ECSEL grant agreement no 692474; Spain’s MINECO ref. PCIN-2015-262; Sweden’s Vinnova) and the Ramon y Cajal Program (Spain’s MICINN ref. RYC-2017-22836; EC’s European Social Fund). We are also grateful to all the AMASS partners. Their work and results are summarised in this paper

Analysis of requirements quality evolution

Proceedings of: 40th International Conference on Software Engineering in Gothenburg, Sweden, May 27 - June 03, 2018A fundamental aspect in the requirements engineering process is to know the quality of a specification, including how the quality evolves over time. This paper introduces an industrial approach for analysis of requirements quality evolution. The approach has been implemented in the System Quality Analyzer tool, exploits quality metrics for requirements correctness, consistency, and completeness, and is based on the storage of quality information in snapshots that are combined and displayed in charts. This can help practitioners to assess the progress and status of a requirements engineering process and to make decisions.The AMASS project (H2020-ECSEL grant agreement no 692474; Spain's MINECO ref. PCIN-2015-262) has funded this work

Application of machine learning techniques to the flexible assessment and improvement of requirements quality

It is already common to compute quantitative metrics of requirements to assess their quality. However, the risk is to build assessment methods and tools that are both arbitrary and rigid in the parameterization and combination of metrics. Specifically, we show that a linear combination of metrics is insufficient to adequately compute a global measure of quality. In this work, we propose to develop a flexible method to assess and improve the quality of requirements that can be adapted to different contexts, projects, organizations, and quality standards, with a high degree of automation. The domain experts contribute with an initial set of requirements that they have classified according to their quality, and we extract their quality metrics. We then use machine learning techniques to emulate the implicit expert’s quality function. We provide also a procedure to suggest improvements in bad requirements. We compare the obtained rule-based classifiers with different machine learning algorithms, obtaining measurements of effectiveness around 85%. We show as well the appearance of the generated rules and how to interpret them. The method is tailorable to different contexts, different styles to write requirements, and different demands in quality. The whole process of inferring and applying the quality rules adapted to each organization is highly automatedThis research has received funding from the CRYSTAL project–Critical System Engineering Acceleration (European Union’s Seventh Framework Program FP7/2007-2013, ARTEMIS Joint Undertaking grant agreement no 332830); and from the AMASS project–Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems (H2020-ECSEL grant agreement no 692474; Spain’s MINECO ref. PCIN-2015-262)

Support tor mental health. Support in the social loop

A partir de les paradoxes que ens proposa l'època en aquest text s'articula com l'acompanyament en salut mental va dirigit a afavorir el vincle social. Però, per a això, s'ha de tenir en compte la subjectivirat, les particularitats de cada subjecte, la seva responsabilitat i el dret a l'anonimat. L'experiència d'acompanyament de la Fundació Cassià Just amb persones amb especial fragilitat, és marcada per un tret, el de la dignitat.Based on paradoxes presented by the times, the article explains how support for mental health problems is aimed at promoting the social loop. However, in order to achieve this, subjectivity must be borne in mind and the special case of each person, their responsibility and right ro anonymity. The support experience of the Fundació Cassiàl Just, dealing with particularly fragile people displays a strong feature: dignity.A partir de las paradojas que nos propone la época, en el texto se articula cómo el acompañamiento en salud mental va dirigido a favorecer el lazo social. Pero, para ello, hay que tener en cuenta la subjetividad, las particularidades de cada sujeto, su responsabilidad y el derecho al anonimato. La experiencia de acompañamiento de la Fundació Cassià Just, con personas con especial fragilidad, está marcada por un rasgo: el de la dignidad

Cognitive Keys in Psychophysical Estimation of Chemosensory Perception in University Students

Psychophysical methods allow us to measure the relationship between stimuli and sensory perception. Of these, Detection Threshold (DT) allows us to know the minimum concentration to produce taste identification. Given this, we wonder whether, for example, wine tasting experts are more capable of perceiving their sensory properties than other people, or whether they can distinguish them because they are better able to “describe” them. To verify this, this study analyses the influence of having prior knowledge of the name astringency and, failing that, to detect it and distinguish it between the four basic tastes. One-hundred-and-sixty-two university students with an average age of 19.43 (SD = 2.55) years were assigned to three experimental conditions: an experimental group (G.2) without previous knowledge of the name astringency and with alimentary satiety, and two control groups, both with previous knowledge of the name, these being G.1, with satiety, and G.3, with hunger. DT was collected for the four basic tastes and astringencies. Results showed significant differences in the identification of astringency, being the least identified experimental group with respect to the control groups. It is striking that G.2, without prior knowledge of the name, identified astringency as a bitter taste in most cases. This supports our hypothesis of the importance of attending to linguistic cognitive processes when psychophysically estimating taste in human