40 research outputs found

    Channel Fading Statistics For Real-Time Data Transmission In Emergency Call Systems And Unmanned Aerial Systems

    Get PDF
    The Third Generation Partnership Project (3GPP) selected an in-band modem to transmit emergency data over cellular voice channel for the European Union emergency call (eCall) system. However, the road test results presented by the Harmonized eCall European Pilot project showed that the success rate of data delivery was only 71%, indicating that there is significant potential to improve its performance. In this dissertation, a testbed is designed for the eCall system that satisfies the 3GPP TS 26.267/268/269 standards. A method is proposed to measure the power of the received signal that passes through the in-band channel. Experiments are performed with the in-vehicle system testbed in a laboratory or a car travelling in city, suburb, country- side, or freeway. Fading statistics of the received signal after power control are found and discussed, together with cumulative distribution function (CDF), level crossing rate (LCR), and average fade duration (AFD). It is found that with probability less than or equal to 0.1%, fading and attenuation can vary from -19 dB for the continuous wave (CW) signal at 500 Hz to -9.5 dB for the CW signal at 2000 Hz. This dissertation recommends moving the CW signals at 500 Hz and 800 Hz for detection and synchronization in the 3GPP standard to 1500 Hz and 2000 Hz, respectively. This will give 9.5 dB improvement in detection and synchronization. The fading results are used to calculate the bit error rate (BER) performance for the eCall in-band modem. Synchronization detection probability are obtained by transmitting the synchronization preamble through various adaptive multi-rate vocoders and an additive white Gaussian noise channel. The testbed and proposed method are also used to measure the power of signals received by an unmanned aerial systems (UAS) and by the receiver in the operation center, respectively. Field experiments are carried out by flying the UAS above different locations. Statistics, including CDF, LCR, and AFD, are calculated for the six test-sites. The results of the fading statistics, synchronization detection probability, and BER can be directly applied to design real-time communication systems, including detection, delay estimation, modulation and coding

    Error Correction For Automotive Telematics Systems

    Get PDF
    One benefit of data communication over the voice channel of the cellular network is to reliably transmit real-time high priority data in case of life critical situations. An important implementation of this use-case is the pan-European eCall automotive standard, which has already been deployed since 2018. This is the first international standard for mobile emergency call that was adopted by multiple regions in Europe and the world. Other countries in the world are currently working on deploying a similar emergency communication system, such as in Russia and China. Moreover, many experiments and road tests are conducted yearly to validate and improve the requirements of the system. The results have proven that the requirements are unachievable thus far, with a success rate of emergency data delivery of only 70%. The eCall in-band modem transmits emergency information from the in-vehicle system (IVS) over the voice channel of the circuit switch real time communication system to the public safety answering point (PSAP) in case of a collision. The voice channel is characterized by the non-linear vocoder which is designed to compress speech waveforms. In addition, multipath fading, caused by the surrounding buildings and hills, results in severe signal distortion and causes delays in the transmission of the emergency information. Therefore, to reliably transmit data over the voice channels, the in-band modem modulates the data into speech-like (SL) waveforms, and employs a powerful forward error correcting (FEC) code to secure the real-time transmission. In this dissertation, the Turbo coded performance of the eCall in-band modem is first evaluated through the adaptive white Gaussian noise (AWGN) channel and the adaptive multi-rate (AMR) voice channel. The modulation used is biorthogonal pulse position modulation (BPPM). Simulations are conducted for both the fast and robust eCall modem. The results show that the distortion added by the vocoder is significantly large and degrades the system performance. In addition, the robust modem performs better than the fast modem. For instance, to achieve a bit error rate (BER) of 10^{-6} using the AMR compression rate of 7.4 kbps, the signal-to-noise ratio (SNR) required is 5.5 dB for the robust modem while a SNR of 7.5 dB is required for the fast modem. On the other hand, the fading effect is studied in the eCall channel. It was shown that the fading distribution does not follow a Rayleigh distribution. The performance of the in-band modem is evaluated through the AWGN, AMR and fading channel. The results are compared with a Rayleigh fading channel. The analysis shows that strong fading still exists in the voice channel after power control. The results explain the large delays and failure of the emergency data transmission to the PSAP. Thus, the eCall standard needs to re-evaluate their requirements in order to consider the impact of fading on the transmission of the modulated signals. The results can be directly applied to design real-time emergency communication systems, including modulation and coding

    Error Correction For Automotive Telematics Systems

    Get PDF
    One benefit of data communication over the voice channel of the cellular network is to reliably transmit real-time high priority data in case of life critical situations. An important implementation of this use-case is the pan-European eCall automotive standard, which has already been deployed since 2018. This is the first international standard for mobile emergency call that was adopted by multiple regions in Europe and the world. Other countries in the world are currently working on deploying a similar emergency communication system, such as in Russia and China. Moreover, many experiments and road tests are conducted yearly to validate and improve the requirements of the system. The results have proven that the requirements are unachievable thus far, with a success rate of emergency data delivery of only 70%. The eCall in-band modem transmits emergency information from the in-vehicle system (IVS) over the voice channel of the circuit switch real time communication system to the public safety answering point (PSAP) in case of a collision. The voice channel is characterized by the non-linear vocoder which is designed to compress speech waveforms. In addition, multipath fading, caused by the surrounding buildings and hills, results in severe signal distortion and causes delays in the transmission of the emergency information. Therefore, to reliably transmit data over the voice channels, the in-band modem modulates the data into speech-like (SL) waveforms, and employs a powerful forward error correcting (FEC) code to secure the real-time transmission. In this dissertation, the Turbo coded performance of the eCall in-band modem is first evaluated through the adaptive white Gaussian noise (AWGN) channel and the adaptive multi-rate (AMR) voice channel. The modulation used is biorthogonal pulse position modulation (BPPM). Simulations are conducted for both the fast and robust eCall modem. The results show that the distortion added by the vocoder is significantly large and degrades the system performance. In addition, the robust modem performs better than the fast modem. For instance, to achieve a bit error rate (BER) of 10^{-6} using the AMR compression rate of 7.4 kbps, the signal-to-noise ratio (SNR) required is 5.5 dB for the robust modem while a SNR of 7.5 dB is required for the fast modem. On the other hand, the fading effect is studied in the eCall channel. It was shown that the fading distribution does not follow a Rayleigh distribution. The performance of the in-band modem is evaluated through the AWGN, AMR and fading channel. The results are compared with a Rayleigh fading channel. The analysis shows that strong fading still exists in the voice channel after power control. The results explain the large delays and failure of the emergency data transmission to the PSAP. Thus, the eCall standard needs to re-evaluate their requirements in order to consider the impact of fading on the transmission of the modulated signals. The results can be directly applied to design real-time emergency communication systems, including modulation and coding

    Improving Vehicular ad hoc Network Protocols to Support Safety Applications in Realistic Scenarios

    Full text link
    La convergencia de las telecomunicaciones, la informática, la tecnología inalámbrica y los sistemas de transporte, va a facilitar que nuestras carreteras y autopistas nos sirvan tanto como plataforma de transporte, como de comunicaciones. Estos cambios van a revolucionar completamente cómo y cuándo vamos a acceder a determinados servicios, comunicarnos, viajar, entretenernos, y navegar, en un futuro muy cercano. Las redes vehiculares ad hoc (vehicular ad hoc networks VANETs) son redes de comunicación inalámbricas que no requieren de ningún tipo de infraestructura, y que permiten la comunicación y conducción cooperativa entre los vehículos en la carretera. Los vehículos actúan como nodos de comunicación y transmisores, formando redes dinámicas junto a otros vehículos cercanos en entornos urbanos y autopistas. Las características especiales de las redes vehiculares favorecen el desarrollo de servicios y aplicaciones atractivas y desafiantes. En esta tesis nos centramos en las aplicaciones relacionadas con la seguridad. Específicamente, desarrollamos y evaluamos un novedoso protocol que mejora la seguridad en las carreteras. Nuestra propuesta combina el uso de información de la localización de los vehículos y las características del mapa del escenario, para mejorar la diseminación de los mensajes de alerta. En las aplicaciones de seguridad para redes vehiculares, nuestra propuesta permite reducir el problema de las tormentas de difusión, mientras que se mantiene una alta efectividad en la diseminación de los mensajes hacia los vehículos cercanos. Debido a que desplegar y evaluar redes VANET supone un gran coste y una tarea dura, la metodología basada en la simulación se muestra como una metodología alternativa a la implementación real. A diferencia de otros trabajos previos, con el fin de evaluar nuestra propuesta en un entorno realista, en nuestras simulaciones tenemos muy en cuenta tanto la movilidad de los vehículos, como la transmisión de radio en entornos urbanos, especialmente cuando los edificios interfieren en la propagación de la señal de radio. Con este propósito, desarrollamos herramientas para la simulación de VANETs más precisas y realistas, mejorando tanto la modelización de la propagación de radio, como la movilidad de los vehículos, obteniendo una solución que permite integrar mapas reales en el entorno de simulación. Finalmente, evaluamos las prestaciones de nuestro protocolo propuesto haciendo uso de nuestra plataforma de simulación mejorada, evidenciando la importancia del uso de un entorno de simulación adecuado para conseguir resultados más realistas y poder obtener conclusiones más significativas.Martínez Domínguez, FJ. (2010). Improving Vehicular ad hoc Network Protocols to Support Safety Applications in Realistic Scenarios [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/9195Palanci

    Design and Evaluation of a Traffic Safety System based on Vehicular Networks for the Next Generation of Intelligent Vehicles

    Get PDF
    La integración de las tecnologías de las telecomunicaciones en el sector del automóvil permitirá a los vehículos intercambiar información mediante Redes Vehiculares, ofreciendo numerosas posibilidades. Esta tesis se centra en la mejora de la seguridad vial y la reducción de la siniestralidad mediante Sistemas Inteligentes de Transporte (ITS). El primer paso consiste en obtener una difusión eficiente de los mensajes de advertencia sobre situaciones potencialmente peligrosas. Hemos desarrollado un marco para simular el intercambio de mensajes entre vehículos, utilizado para proponer esquemas eficientes de difusión. También demostramos que la disposición de las calles tiene gran influencia sobre la eficiencia del proceso. Nuestros algoritmos de difusión son parte de una arquitectura más amplia (e-NOTIFY) capaz de detectar accidentes de tráfico e informar a los servicios de emergencia. El desarrollo y evaluación de un prototipo demostró la viabilidad del sistema y cómo podría ayudar a reducir el número de víctimas en carretera

    Physical and Link Layer Implications in Vehicle Ad Hoc Networks

    Get PDF
    Vehicle Ad hoc Networks (V ANET) have been proposed to provide safety on the road and deliver road traffic information and route guidance to drivers along with commercial applications. However the challenges facing V ANET are numerous. Nodes move at high speeds, road side units and basestations are scarce, the topology is constrained by the road geometry and changes rapidly, and the number of nodes peaks suddenly in traffic jams. In this thesis we investigate the physical and link layers of V ANET and propose methods to achieve high data rates and high throughput. For the physical layer, we examine the use of Vertical BLAST (VB LAST) systems as they provide higher capacities than single antenna systems in rich fading environments. To study the applicability of VB LAST to VANET, a channel model was developed and verified using measurement data available in the literature. For no to medium line of sight, VBLAST systems provide high data rates. However the performance drops as the line of sight strength increases due to the correlation between the antennas. Moreover, the performance of VBLAST with training based channel estimation drops as the speed increases since the channel response changes rapidly. To update the channel state information matrix at the receiver, a channel tracking algorithm for flat fading channels was developed. The algorithm updates the channel matrix thus reducing the mean square error of the estimation and improving the bit error rate (BER). The analysis of VBLAST-OFDM systems showed they experience an error floor due to inter-carrier interference (lCI) which increases with speed, number of antennas transmitting and number of subcarriers used. The update algorithm was extended to VBLAST -OFDM systems and it showed improvements in BER performance but still experienced an error floor. An algorithm to equalise the ICI contribution of adjacent subcarriers was then developed and evaluated. The ICI equalisation algorithm reduces the error floor in BER as more subcarriers are equalised at the expense of more hardware complexity. The connectivity of V ANET was investigated and it was found that for single lane roads, car densities of 7 cars per communication range are sufficient to achieve high connectivity within the city whereas 12 cars per communication range are required for highways. Multilane roads require higher densities since cars tend to cluster in groups. Junctions and turns have lower connectivity than straight roads due to disconnections at the turns. Although higher densities improve the connectivity and, hence, the performance of the network layer, it leads to poor performance at the link layer. The IEEE 802.11 p MAC layer standard under development for V ANET uses a variant of Carrier Sense Multiple Access (CSMA). 802.11 protocols were analysed mathematically and via simulations and the results prove the saturation throughput of the basic access method drops as the number of nodes increases thus yielding very low throughput in congested areas. RTS/CTS access provides higher throughput but it applies only to unicast transmissions. To overcome the limitations of 802.11 protocols, we designed a protocol known as SOFT MAC which combines Space, Orthogonal Frequency and Time multiple access techniques. In SOFT MAC the road is divided into cells and each cell is allocated a unique group of subcarriers. Within a cell, nodes share the available subcarriers using a combination of TDMA and CSMA. The throughput analysis of SOFT MAC showed it has superior throughput compared to the basic access and similar to the RTS/CTS access of 802.11

    Journal of Telecommunications and Information Technology, 2009, nr 4

    Get PDF
    kwartalni

    Performance evaluation of realistic scenarios for vehicular ad hoc networks with VanetMobiSim and NS2

    Get PDF
    Català: En els darrers anys, el considerable creixement del sector dels serveis mòbils arreu del món es certament el major fenòmen al camp de les telecomunicaciones. Les tecnologies inalàmbriques han conduït al desenvolupament de nous sistemes de comunicació y serveis multimèdia. Degut al constant creixement del mercat automobilístic juntament amb la creixent demanda de la seguretat viària ha nascut un nou concepte al camp de les comunicaciones: les xarxes entre vehicles (VANETs). A les VANETs, cada vehicle pot actuar com a router o node, establint connexions entre vehicles propers o amb infraestructura a la carretera. Les VANET estan rebent més atenció del govern i de la indústria automobilística degut a l'àmplia varietat d'aplicacions y serveis que poden oferir, tal com sistemes de seguretet viària assistència a la carretera i accès a Internet. No obstant, el disseny i l'implementació de VANETs és una àrea d'investigació àmplia i complexa tal i com podem percebre, sabent que durant els darrers anys la comunitat investigadora s'ha centrat en l'estudi d'aquestes xarxes. Bàsicament, el nostre projecte està dividit en dues parts principals: Primerament, hem dut a terme una recerca relacionada amb l'estat actual de les VANET avui en dia, amb l'objectiu d'identificar els generadors de moviment i els simuladors de xarxes més apropiats i recomenats a la literatura. En segon lloc, hem decidit utilitzar el VanetMobiSim [80], com a generador de moviment degut a la seva varietat de models de movilitat que es poden testejar, i el NS2 [63] com a simulador de xarxes per ser un dels més utilitzats per molts autors a més de la seva compatibilitat amb el VanetMobiSim. Amb l'ús d'aquestes eines, VanetMobiSim i NS2, hem dut a terme una avaluació profunda de les prestacions de les VANET en diversos escenaris reals, assignant valors diferents a paràmetres tals com el nombre de nodes, la velocitat i el model de propagació.Castellano: En los últimos años, el considerable crecimiento del sector de los servicios móviles alrededor del mundo es con certeza el mayor fenómeno en el campo de las telecomunicaciones. Las tecnologías inalámbricas han conducido al desarrollo de nuevos sistemas de comunicación y servicios multimedia. Debido al constante crecimiento del mercado automovilístico y la creciente demanda en seguridad vial ha nacido un nuevo concepto en el campo de las comunicaciones: las redes entre vehículos (VANETs). En ellas, cada vehículo actúa como router, estableciendo conexiones entre vehículos cercanos o con infraestructura en la carretera. Las VANET estan recibiendo más atención del gobierno y de la industria automovilística debido a la amplia variedad de aplicaciones y servicios que puede ofrecer, tales como sistemas de seguridad vial, asistencia en carretera y acceso a Internet. Sin embargo, el diseño e implementación de las VANET es un area de investigación amplia y compleja, tal y como podemos percibir, sabiendo que durante los últimos años la comunidad investigadora se ha centrado en el estudio de estas redes. Básicamente, nuestro proyecto está dividido en dos partes principales: Primeramente, hemos llevado a cabo una búsqueda relacionada con el estado de arte de las VANET hoy en día, con el objetivo de identificar los generadores de movimiento i los simuladores de redes más apropiados i recomendados en la literatura. En segundo lugar, hemos decidido utilizar el VanetMobiSim [80], como generador de movimiento debido a la alta variedad de modelos de mobilidad que que se pueden testear, y el NS2 [63] como simulador de redes por ser uno de los más utilizados per muchos autores además de su compatibilidad con el VanetMobiSim. Con el uso de estas herramientas, hemos llevado a cabo una evaluación profunda de las prestaciones de las VANET en varios escenarios reales, asignando valores diferentes a parámetros tales como el número de nodos, la velocidad y el modelo de propagación.English: Over recent years, the considerable mobile services sector growth around the world was certainly the major phenomenon in the telecommunications field. Wireless technology has led to the development of new communications systems and multimedia services. Due to the continued growth of the vehicular industry and the increasing demand of road safety, a new concept in the communications field was born: vehicular networks (VANETs). In VANETs, each vehicle could act as router or node, establishing connections among nearby vehicles or with roadside infrastructure. VANETs are receiving more attention from governments and car manufacturers due to the wide variety of applications and services they can provide such as road safety systems, car assistance and Internet acces. However, designing and implementing VANETs is a complex and wide area of research as we can notice, knowing that in the last years the research and development community has focused on the study of such networks. Basically, our project is divided in two main parts: Firstly, we made a state of art related to the actual state of VANETs nowadays in order to find the most appropiate and recommended mobility generator and network simulator reported in the literature. Secondly, we decided to use VanetMobiSim [80], as a mobility generator due to its variety mobility models that could be tested, and NS2 [63] as a network simulator for being one of the most used by many authors and also due to its compatibilty with VanetMobiSim. Using these tools, VanetMobiSim and NS2, we carried out a deep performance evaluation of VANETs in several realistic scenarios, giving different values to parameters such as the number of nodes, speed and the propagation model

    Tracking the Economic Value of Embedded Digital Technology: A Supply-side Methodology

    Get PDF
    This methodological report indicates a way forward in estimating the economic role of embedded digital technology (EDT) from the supply side. We propose a more holistic approach to the production and diffusion of ICT and we develop the foundation of a methodology that would ultimately take into account the overall use and impact of embedded digital technology in the productive process. Technological, economic and statistical arguments support our approach. Current technological development no longer accommodates clear borderlines between ICT and non-ICT goods or between general purpose computers and embedded digital devices. The economics and statistics of ICT reveal the complex and multi-channel contributions of ICT to the productive process. The methodology we propose uses the input-output method known as backward linkages to give a measure of EDT as ICT consumption generated along the value chain by the demand of final goods. We give an account of the methodological limitations of applying the method and an overview of data availability and shortages for its implementation. A simplified application of the methodology to German data is used as an example.JRC.DDG.J.4-Information Societ

    Contribution to the design of VANET routing protocols for realistic urban environments

    Get PDF
    One of the main concerns of the cities' administration is mobility management. In Intelligent Transportation Systems (ITS), pedestrians, vehicles and public transportation systems could share information and react to any situation in the city. The information sensed by vehicles could be useful for other vehicles and for the mobility authorities. Vehicular Ad hoc Networks (VANETs) make possible the communication between vehicles (V2I) and also between vehicles and fixed infrastructure (V2I) managed by the city's authorities. In addition, VANET routing protocols minimize the use of fixed infrastructure since they employ multi-hop V2V communication to reach reporting access points of the city. This thesis aims to contribute in the design of VANET routing protocols to enable reporting services (e.g., vehicular traffic notifications) in urban environments. The first step to achieve this global objective has been the study of components and tools to mimic a realistic VANET scenario. Moreover, we have analyzed the impact of the realism of each one of those components in the simulation results. Then, we have improved the Address Resolution procedure in VANETs by including it in the routing signaling messages. Our approach simplifies the VANET operation and increases the packet delivery ratio as consequence. Afterwards, we have tackled the issue of having duplicate packets in unicast communications and we have proposed routing filters to lower their presence. This way we have been able to increase the available bandwidth and reduce the average packet delay with a slight increase of the packet losses. Besides, we have proposed a Multi-Metric Map aware routing protocol (MMMR) that incorporates four routing metrics (distance, trajectory, vehicle density and available bandwidth) to take the forwarding decisions. With the aim of increasing the number of delivered packets in MMMR, we have developed a Geographical Heuristic Routing (GHR) algorithm. GHR integrates Tabu and Simulated Annealing heuristic optimization techniques to adapt its behavior to the specific scenario characteristics. GHR is generic because it could use any geographical routing protocol to take the forwarding decisions. Additionally, we have designed an easy to implement forwarding strategy based on an extended topology information area of two hops, called 2-hops Geographical Anycast Routing (2hGAR) protocol. Results show that controlled randomness introduced by GHR improves the default operation of MMMR. On the other hand, 2hGAR presents lower delays than GHR and higher packet delivery ratio, especially in high density scenarios. Finally, we have proposed two mixed (integer and linear) optimization models to detect the best positions in the city to locate the Road Side Units (RSUs) which are in charge of gathering all the reporting information generated by vehicles.Una de las principales preocupaciones en la administración de las ciudades es la gestión de la movilidad de sus vehículos, debido a los problemas de tráfico como atascos y accidentes. En los sistemas inteligentes de transporte (SIT), peatones, vehículos y transporte público podrán compartir información y adaptarse a cualquier situación que suceda en la ciudad. La información obtenida por los sensores de los vehículos puede ser útil para otros vehículos y para las autoridades de movilidad. Las redes ad hoc vehiculares (VANETs) hacen posible la comunicación entre los propios vehículos (V2V) y entre vehículos y la infraestructura fija de la red de la ciudad (V2I). Asimismo, los protocolos de encaminamiento para redes vehiculares minimizan el uso de infraestructura fija de red, ya que los protocolos de encaminamiento VANET emplean comunicaciones multisalto entre vehículos para encaminar los mensajes hasta los puntos de acceso de la red en la ciudad. El objetivo de esta tesis doctoral es contribuir en el diseño de protocolos de encaminamiento en redes ad hoc vehiculares para servicios de notificaciones (p.ej. reportes del estado del tráfico) en entornos urbanos. El primer paso para alcanzar este objetivo general ha sido el estudio de componentes y herramientas para simular un escenario realista de red ad hoc vehicular. Además, se ha analizado el impacto del nivel de realismo de cada uno de los componentes de simulación en los resultados obtenidos. Así también, se ha propuesto un mecanismo de resolución de direcciones automático y coherente para redes VANET a través del uso de los propios mensajes de señalización de los protocolos de encaminamiento. Esta mejora simplifica la operación de una red ad hoc vehicular y como consecuencia aumenta la tasa de recepción de paquetes. A continuación, se ha abordado el problema de la aparición inesperada de paquetes de datos duplicados en una comunicación punto a punto. Para ello, se ha propuesto el filtrado de paquetes duplicados a nivel del protocolo de encaminamiento. Esto ha producido un incremento del ancho disponible en el canal y una reducción del retardo medio en la trasmisión de un paquete, a costa de un mínimo aumento de la pérdida de paquetes. Por otra parte, hemos propuesto un protocolo de encaminamiento multi-métrica MMMR (Multi-Metric Map-aware Routing protocol), el cual incorpora cuatro métricas (distancia al destino, trayectoria, densidad de vehículos y ancho de banda) en las decisiones de encaminamiento. Con el objetivo de aumentar la tasa de entrega de paquetes en MMMR, hemos desarrollado un algoritmo heurístico de encaminamiento geográfico denominado GHR (Geographical Heuristic Routing). Esta propuesta integra las técnicas de optimización Tabu y Simulated Annealing, que permiten a GHR adaptarse a las características específicas del escenario. Adicionalmente, hemos propuesto 2hGAR (2-hops Geographical Anycast Routing), un protocolo de encaminamiento anycast que emplea información de la topología de red a dos saltos de distancia para tomar la decisión de encaminamiento de los mensajes. Los resultados muestran que la aleatoriedad controlada de GHR en su operación mejora el rendimiento de MMMR. Asimismo, 2hGAR presenta retardos de paquete menores a los obtenidos por GHR y una mayor tasa de paquetes entregados, especialmente en escenarios con alta densidad de vehículos. Finalmente, se han propuesto dos modelos de optimización mixtos (enteros y lineales) para detectar los mejores lugares de la ciudad donde ubicar los puntos de acceso de la red, los cuales se encargan de recolectar los reportes generados por los vehículos.Postprint (published version
    corecore