Search

We propose a design-time framework (named HYDRA-C) for integrating security tasks into partitioned real-time systems (RTS) running on multicore platforms. Our goal is to opportunistically execute security monitoring mechanisms in a 'continuous' manner -- i.e., as often as possible, across cores, to ensure that security tasks run with as few interruptions as possible. Our framework will allow designers to integrate security mechanisms without perturbing existing real-time (RT) task properties or execution order. We demonstrate the framework using a proof-of-concept implementation with intrusion detection mechanisms as security tasks. We develop and use both, (a) a custom intrusion detection system (IDS), as well as (b) Tripwire -- an open source data integrity checking tool. These are implemented on a realistic rover platform designed using an ARM multicore chip. We compare the performance of HYDRA-C with a state-of-the-art RT security integration approach for multicore-based RTS and find that our method can, on average, detect intrusions 19.05% faster without impacting the performance of RT tasks., Comment: Accepted for publication DATE 2020

We focus on two repeating fast radio bursts (FRBs) recently detected by the CHIME/FRB experiment in 2018--2019 (Source 1: 180916.J0158+65, and Source 2: 181030.J1054+73). These sources have low excess dispersion measures (DMs) ($ < 100 \rm \, pc \, cm^{-3}$ and $ < 20 \rm \, pc \, cm^{-3}$, respectively), implying relatively small maximal distances. They were repeatedly observed by AGILE in the MeV--GeV energy range. We do not detect prompt emission simultaneously with these repeating events. This search is particularly significant for the submillisecond and millisecond integrations obtainable by AGILE. The sources are constrained to emit a MeV-fluence in the millisecond range below $F'_{MeV} = 10^{-8} \, \rm erg \, cm^{-2}$ corresponding to an isotropic energy near $E_{MeV,UL} \simeq 2 \times 10^{46}\,$erg for a distance of 150 Mpc (applicable to Source 1). We also searched for $\gamma$-ray emission for time intervals up to 100 days, obtaining 3$\,\sigma$ upper limits (ULs) for the average isotropic luminosity above 50 MeV, $L_{\gamma,UL} \simeq \,$(5-10)$\,\times 10^{43} \rm \, erg \, s^{-1}$. For a source distance near 100 kpc (possibly applicable to Source 2), our ULs imply $E_{MeV,UL}\simeq10^{40} \rm erg$, and $L_{\gamma,UL} \simeq \,$2$\,\times 10^{37} \rm \, erg \, s^{-1}$. Our results are significant in constraining the high-energy emission of underlying sources such as magnetars, or other phenomena related to extragalactic compact objects, and show the prompt emission to be lower than the peak of the 2004 magnetar outburst of SGR 1806-20 for source distances less than about 100 Mpc., Comment: to be published in ApJL

The X-ray source CXO\, J085201.4$-$461753in the few kyr-old Vela Jr. supernova remnant (G266.2-1.2) belongs to the peculiar class of isolated neutron stars dubbed "Central Compact Objects" (CCOs). At variance with the other CCOs, which are only detected in the X-rays, \cxo\ has been possibly detected also at other wavelengths. In particular, a candidate near-infrared counterpart (H = 21.6 $\pm$0.1) was detected by the Very Large Telescope (VLT) in addition to a 6\arcsec-wide nebula detected in H$\alpha$, interpreted as a velocity-driven bow-shock. Here, we present new near-infrared and optical VLT observations of the candidate counterpart to \cxo\ and its nebula to confirm the proposed associations. Moreover, we used archival Chandra observations to measure for the first time the CXO\, J085201.4$-$461753 proper motion. The comparison between the two sets of near-infrared VLT images, taken 10.56 year apart, do not show evidence of proper motion for the candidate counterpart to CXO\, J085201.4$-$461753, expected from its 4\arcmin\ offset from the SNR geometrical centre, with a $3\sigma$ upper limit of $\sim 10$ mas yr$^{-1}$. This is much smaller than the expected proper motion of $\sim$50--100 mas yr$^{-1}$, which, in turn, is below the $3\sigma$ upper limit of $\sim$ 300 mas yr$^{-1}$ that we obtained with Chandra. At the same time, VLT spectroscopy resolved the nebula optical emission, which is dominated by the NII doublet at 6548 and 6584 \AA\ and not by H$\alpha$. To summarise, we conclude that the proposed near-infrared counterpart is likely unassociated with \cxo\ and that the nebula is not a velocity-driven bow-shock., Comment: 10 pages, 8 figures. MNRAS, accepted for publication

Pulsar studies in the recent years have shown, more than others, to have benefited from a multi-wavelength approach. The INAF - Astronomical Observatory in Cagliari (INAF-OAC) is a growing facility with a young group devoted to pulsar and fast transients studies across the electromagnetic spectrum. Taking advantage of this expertise we have worked to provide a suite of multi-wavelength software and databases for the observations of pulsars and compact Galactic objects at the Sardinia Radio Telescope (SRT). In turn, radio pulsar observations at SRT will be made available, in a processed format, to gamma-ray searches using AGILE and Fermi gamma-ray satellite and, in a near future, they will be complementary to polarimetric X-ray observations with IXPE., Comment: Accepted for publications in Rendiconti Lincei as Proceedings of "A Decade of AGILE: Results, Challenges and Prospects of Gamma-Ray Astrophysics"

Aims. We present the second AGILE-GRID Catalog (2AGL) of {\gamma}-ray sources in the 100 MeV-10 GeV energy range. Methods. With respect to previous AGILE-GRID catalogs, the current 2AGL Catalog is based on the first 2.3 years of science data from the AGILE mission (the so called 'pointing mode') and incorporates more data and several analysis improvements, including better calibrations at the event reconstruction level, an updated model for the Galactic diffuse gamma-ray emission, a refined procedure for point-like source detection, and the inclusion of a search for extended {\gamma}-ray sources. Results. The 2AGL Catalog includes 175 high-confidence sources (above 4{\sigma} significance) with their location regions and spectral properties, and a variability analysis with 4-day light curves for the most significant ones. Relying on the error region of each source position, including systematic uncertainties, 121 sources are considered as positionally associated with known couterparts at different wavelengths or detected by other {\gamma}-ray instruments. Among the identified or associated sources, 62 are Active Galactic Nuclei (AGNs) of the blazar class. Pulsars represent the largest Galactic source class, with 40 associated pulsars, 7 of them with detected pulsation; 8 Supernova Remnants and 4 high-mass X-ray binaries have also been identified. A substantial number of 2AGL sources are unidentified: for 54 sources no known counterpart is found at different wavelengths. Among these sources, we discuss a sub-class of 29 AGILE-GRID-only {\gamma}-ray sources that are not present in 1FGL, 2FGL or 3FGL catalogs; the remaining sources are unidentified in both 2AGL and 3FGL Catalogs. We also present an extension of the analysis of 2AGL sources detected in the 50-100 MeV energy range., Comment: 54 pages, 19 figures, 15 tables, accepted to A&A, catalog web page: http://www.ssdc.asi.it/agile2agl/

In this White Paper we present the potential of the enhanced X-ray Timing and Polarimetry (eXTP) mission for studies related to Observatory Science targets. These include flaring stars, supernova remnants, accreting white dwarfs, low and high mass X-ray binaries, radio quiet and radio loud active galactic nuclei, tidal disruption events, and gamma-ray bursts. eXTP will be excellently suited to study one common aspect of these objects: their often transient nature. Developed by an international Consortium led by the Institute of High Energy Physics of the Chinese Academy of Science, the eXTP mission is expected to be launched in the mid 2020s., Comment: Accepted for publication on Sci. China Phys. Mech. Astron. (2019)

The origin of cosmic neutrinos is still largely unknown. Using data obtained by the gamma-ray imager on board of the AGILE satellite, we systematically searched for transient gamma-ray sources above 100 MeV that are temporally and spatially coincident with ten recent high-energy neutrino IceCube events. We find three AGILE candidate sources that can be considered possible counterparts to neutrino events. Detecting 3 gamma-ray/neutrino associations out of 10 IceCube events is shown to be unlikely due to a chance coincidence. One of the sources is related to the BL Lac source TXS 0506+056. For the other two AGILE gamma-ray sources there are no obvious known counterparts, and both Galactic and extragalactic origin should be considered., Comment: 21 pages, 15 figures, 4 tables. Accepted for publication in ApJ

One of the primary sources of unpredictability in modern multi-core embedded systems is contention over shared memory resources, such as caches, interconnects, and DRAM. Despite significant achievements in the design and analysis of multi-core systems, there is a need for a theoretical framework that can be used to reason on the worst-case behavior of real-time workload when both processors and memory resources are subject to scheduling decisions. In this paper, we focus our attention on dynamic allocation of main memory bandwidth. In particular, we study how to determine the worst-case response time of tasks spanning through a sequence of time intervals, each with a different bandwidth-to-core assignment. We show that the response time computation can be reduced to a maximization problem over assignment of memory requests to different time intervals, and we provide an efficient way to solve such problem. As a case study, we then demonstrate how our proposed analysis can be used to improve the schedulability of Integrated Modular Avionics systems in the presence of memory-intensive workload., Comment: Accepted for publication in the IEEE Real-Time Systems Symposium (RTSS) 2018 conference

We demonstrate the presence of a novel scheduler side-channel in preemptive, fixed-priority real-time systems (RTS); examples of such systems can be found in automotive systems, avionic systems, power plants and industrial control systems among others. This side-channel can leak important timing information such as the future arrival times of real-time tasks.This information can then be used to launch devastating attacks, two of which are demonstrated here (on real hardware platforms). Note that it is not easy to capture this timing information due to runtime variations in the schedules, the presence of multiple other tasks in the system and the typical constraints (e.g., deadlines) in the design of RTS. Our ScheduLeak algorithms demonstrate how to effectively exploit this side-channel. A complete implementation is presented on real operating systems (in Real-time Linux and FreeRTOS). Timing information leaked by ScheduLeak can significantly aid other, more advanced, attacks in better accomplishing their goals.

AGILE is a mission of the Italian Space Agency (ASI) Scientific Program dedicated to gamma-ray astrophysics, operating in a low Earth orbit since April 23, 2007. It is designed to be a very light and compact instrument, capable of simultaneously detecting and imaging photons in the 18 keV to 60 keV X-ray energy band and in the 30 MeV{50 GeV gamma-ray energy with a good angular resolution (< 1 deg at 1 GeV). The core of the instrument is the Silicon Tracker complemented with a CsI calorimeter and a AntiCoincidence system forming the Gamma Ray Imaging Detector (GRID). Before launch, the GRID needed on-ground calibration with a tagged gamma-ray beam to estimate its performance and validate the Monte Carlo simulation. The GRID was calibrated using a tagged gamma-ray beam with energy up to 500 MeV at the Beam Test Facilities at the INFN Laboratori Nazionali di Frascati. These data are used to validate a GEANT3 based simulation by comparing the data and the Monte Carlo simulation by measuring the angular and energy resolutions. The GRID angular and energy resolutions obtained using the beam agree well with the Monte Carlo simulation. Therefore the simulation can be used to simulate the same performance on-light with high reliability., Comment: 19 page 12 figures

The main characteristics in the radio continuum spectra of Supernova Remnants (SNRs) result from simple synchrotron emission. In addition, electron acceleration mechanisms can shape the spectra in specific ways, especially at high radio frequencies. These features are connected to the age and the peculiar conditions of the local interstellar medium interacting with the SNR. Whereas the bulk radio emission is expected at up to $20-50$ GHz, sensitive high-resolution images of SNRs above 10 GHz are lacking and are not easily achievable, especially in the confused regions of the Galactic Plane. In the framework of the early science observations with the Sardinia Radio Telescope in February-March 2016, we obtained high-resolution images of SNRs Tycho, W44 and IC443 that provided accurate integrated flux density measurements at 21.4 GHz: 8.8 $\pm$ 0.9 Jy for Tycho, 25 $\pm$ 3 Jy for W44 and 66 $\pm$ 7 Jy for IC443. We coupled the SRT measurements with radio data available in the literature in order to characterise the integrated and spatially-resolved spectra of these SNRs, and to find significant frequency- and region-dependent spectral slope variations. For the first time, we provide direct evidence of a spectral break in the radio spectral energy distribution of W44 at an exponential cutoff frequency of 15 $\pm$ 2 GHz. This result constrains the maximum energy of the accelerated electrons in the range $6-13$ GeV, in agreement with predictions indirectly derived from AGILE and \textit{Fermi}-LAT gamma-ray observations. With regard to IC443, our results confirm the noticeable presence of a bump in the integrated spectrum around $20-70$ GHz that could result from a spinning dust emission mechanism., Comment: 12 pages, 9 figures

The increased capabilities of modern real-time systems (RTS) expose them to various security threats. Recently, frameworks that integrate security tasks without perturbing the real-time tasks have been proposed, but they only target single core systems. However, modern RTS are migrating towards multicore platforms. This makes the problem of integrating security mechanisms more complex, as designers now have multiple choices for where to allocate the security tasks. In this paper we propose HYDRA, a design space exploration algorithm that finds an allocation of security tasks for multicore RTS using the concept of opportunistic execution. HYDRA allows security tasks to operate with existing real-time tasks without perturbing system parameters or normal execution patterns, while still meeting the desired monitoring frequency for intrusion detection. Our evaluation uses a representative real-time control system (along with synthetic task sets for a broader exploration) to illustrate the efficacy of HYDRA., Comment: Accepted for publication, 21st DATE (Design, Automation & Test in Europe) conference, 2018

The LIGO-Virgo Collaboration (LVC) detected, on 2017 August 17, an exceptional gravitational-wave (GW) event temporally consistent within $\sim\,1.7 \, \rm s$ with the GRB 1708117A observed by Fermi-GBM and INTEGRAL. The event turns out to be compatible with a neutron star-neutron star (NS-NS) coalescence that subsequently produced a radio/optical/X-ray transient detected at later times. We report the main results of the observations by the AGILE satellite of the GW170817 localization region (LR) and its electromagnetic (e.m.) counterpart. At the LVC detection time $T_0$, the GW170817 LR was occulted by the Earth. The AGILE instrument collected useful data before and after the GW-GRB event because in its spinning observation mode it can scan a given source many times per hour. The earliest exposure of the GW170817 LR by the gamma-ray imaging detector (GRID) started about 935 s after $T_0$. No significant X-ray or gamma-ray emission was detected from the LR that was repeatedly exposed over timescales of minutes, hours, and days before and after GW170817, also considering Mini-calorimeter and Super-AGILE data. Our measurements are among the earliest ones obtained by space satellites on GW170817 and provide useful constraints on the precursor and delayed emission properties of the NS-NS coalescence event. We can exclude with high confidence the existence of an X-ray/gamma-ray emitting magnetar-like object with a large magnetic field of $10^{15} \, \rm G$. Our data are particularly significant during the early stage of evolution of the e.m. remnant., Comment: Submitted to Astrophysical Journal Letters on October 13, 2017; LVC; revised October 25, 2017; accepted October 25, 2017

On July 31st, 2016, the ICECUBE collaboration reported the detection of a high-energy starting event induced by an astrophysical neutrino. We report here about the search for a gamma-ray counterpart of the ICECUBE-160731 event made with the AGILE satellite. No detection was found spanning the time interval of +/- 1 ks around the neutrino event time T0 using the AGILE "burst search" system. Looking for a possible gamma-ray precursor in the results of the AGILE-GRID automatic Quick Look procedure over predefined 48-hours time-bins, we found an excess above 100 MeV between one and two days before T0, positionally consistent with the ICECUBE error circle, having a post-trial significance of about 4 sigma. A refined data analysis of this excess confirms a-posteriori the automatic detection. The new AGILE transient source, named AGL J1418+0008, thus stands as possible ICECUBE-160731 gamma-ray precursor. No other space missions nor ground observatories have reported any detection of transient emission consistent with the ICECUBE event. We show that Fermi-LAT had a low exposure of the ICECUBE region during the AGILE gamma-ray transient. Based on an extensive search for cataloged sources within the error regions of ICECUBE-160731 and AGL J1418+0008, we find a possible common counterpart showing some of the key features associated to the high-energy peaked BL Lac (HBL) class of blazars. Further investigations on the nature of this source using dedicated SWIFT ToO data are presented., Comment: 23 pages, 8 figures, 4 tables. Accepted for publication in ApJ

In September 2016, the microquasar Cygnus X-3 underwent a giant radio flare, which was monitored for 6 days with the Medicina Radio Astronomical Station and the Sardinia Radio Telescope. Long observations were performed in order to follow the evolution of the flare on a hourly scale, covering six frequency ranges from 1.5 GHz to 25.6 GHz. The radio emission reached a maximum of 13.2 +/- 0.7 Jy at 7.2 GHz and 10 +/- 1 Jy at 18.6 GHz. Rapid flux variations were observed at high radio frequencies at the peak of the flare, together with rapid evolution of the spectral index: alpha steepened from 0.3 to 0.6 within 5 hours. This is the first time that such fast variations are observed, giving support to the evolution from optically thick to optically thin plasmons in expansion moving outward from the core. Based on the Italian network (Noto, Medicina and SRT) and extended to the European antennas (Torun, Yebes, Onsala), VLBI observations were triggered at 22 GHz on five different occasions, four times prior to the giant flare, and once during its decay phase. Flux variations of 2-hour duration were recorded during the first session. They correspond to a mini-flare that occurred close to the core ten days before the onset of the giant flare. From the latest VLBI observation we infer that four days after the flare peak the jet emission was extended over 30 mas., Comment: 13 pages, 9 figures. Accepted for publication in MNRAS

The LIGO/Virgo Collaboration (LVC) detected on 2017 January 4, a significant gravitational-wave (GW) event (now named GW170104). We report in this Letter the main results obtained from the analysis of hard X-ray and gamma-ray data of the AGILE mission that repeatedly observed the GW170104 localization region (LR). At the LVC detection time $T_0$ AGILE observed about 36% of the LR. The gamma-ray imaging detector did not reveal any significant emission in the energy range 50 MeV--30 GeV. Furthermore, no significant gamma-ray transients were detected in the LR that was repeatedly exposed over timescales of minutes, hours, and days. We also searched for transient emission using data near $T_0$ of the omnidirectional detector MCAL operating in the energy band 0.4--100 MeV. A refined analysis of MCAL data shows the existence of a weak event (that we call "E2") with a signal-to-noise ratio of $4.4\,\sigma$ lasting about 32 ms and occurring $0.46\,\pm\,0.05 \,\rm s$ before $T_0$. A study of the MCAL background and of the false-alarm rate of E2 leads to the determinination of a post-trial significance between $2.4\,\sigma$ and $2.7\,\sigma$ for a temporal coincidence with GW170104. We note that E2 has characteristics similar to those detected from the weak precursor of the short GRB 090510. The candidate event E2 is worth consideration for simultaneous detection by other satellites. If associated with GW170104, it shows emission in the MeV band of a short burst preceding the final coalescence by 0.46 sec and involving $\sim 10^{-7}$ of the total rest mass energy of the system., Comment: Submitted to Astrophysical Journal Letters on 2017 May 31; revised 2017 July 19; accepted 2017 July 20

Observations of supernova remnants (SNRs) are a powerful tool for investigating the later stages of stellar evolution, the properties of the ambient interstellar medium, and the physics of particle acceleration and shocks. For a fraction of SNRs, multi-wavelength coverage from radio to ultra high-energies has been provided, constraining their contributions to the production of Galactic cosmic rays. Although radio emission is the most common identifier of SNRs and a prime probe for refining models, high-resolution images at frequencies above 5 GHz are surprisingly lacking, even for bright and well-known SNRs such as IC443 and W44. In the frameworks of the Astronomical Validation and Early Science Program with the 64-m single-dish Sardinia Radio Telescope, we provided, for the first time, single-dish deep imaging at 7 GHz of the IC443 and W44 complexes coupled with spatially-resolved spectra in the 1.5-7 GHz frequency range. Our images were obtained through on-the-fly mapping techniques, providing antenna beam oversampling and resulting in accurate continuum flux density measurements. The integrated flux densities associated with IC443 are S_1.5GHz = 134 +/- 4 Jy and S_7GHz = 67 +/- 3 Jy. For W44, we measured total flux densities of S_1.5GHz = 214 +/- 6 Jy and S_7GHz = 94 +/- 4 Jy. Spectral index maps provide evidence of a wide physical parameter scatter among different SNR regions: a flat spectrum is observed from the brightest SNR regions at the shock, while steeper spectral indices (up to 0.7) are observed in fainter cooling regions, disentangling in this way different populations and spectra of radio/gamma-ray-emitting electrons in these SNRs., Comment: 13 pages, 9 figures, accepted for publication to MNRAS on 18 May 2017

In real-time embedded systems (RTS), failures due to security breaches can cause serious damage to the system, the environment and/or injury to humans. Therefore, it is very important to understand the potential threats and attacks against these systems. In this paper we present a novel reconnaissance attack that extracts the exact schedule of real-time systems designed using fixed priority scheduling algorithms. The attack is demonstrated on both a real hardware platform and a simulator, with a high success rate. Our evaluation results show that the algorithm is robust even in the presence of execution time variation.

Embedded real-time systems (RTS) are pervasive. Many modern RTS are exposed to unknown security flaws, and threats to RTS are growing in both number and sophistication. However, until recently, cyber-security considerations were an afterthought in the design of such systems. Any security mechanisms integrated into RTS must (a) co-exist with the real- time tasks in the system and (b) operate without impacting the timing and safety constraints of the control logic. We introduce Contego, an approach to integrating security tasks into RTS without affecting temporal requirements. Contego is specifically designed for legacy systems, viz., the real-time control systems in which major alterations of the system parameters for constituent tasks is not always feasible. Contego combines the concept of opportunistic execution with hierarchical scheduling to maintain compatibility with legacy systems while still providing flexibility by allowing security tasks to operate in different modes. We also define a metric to measure the effectiveness of such integration. We evaluate Contego using synthetic workloads as well as with an implementation on a realistic embedded platform (an open- source ARM CPU running real-time Linux)., Comment: Accepted for publication, 29th Euromicro Conference on Real-Time Systems (ECRTS17)

[Abridged] The Sardinia Radio Telescope (SRT) is the new 64-m dish operated by INAF (Italy). Its active surface will allow us to observe at frequencies of up to 116 GHz. At the moment, three receivers, one per focal position, have been installed and tested. The SRT was officially opened in October 2013, upon completion of its technical commissioning phase. In this paper, we provide an overview of the main science drivers for the SRT, describe the main outcomes from the scientific commissioning of the telescope, and discuss a set of observations demonstrating the SRT's scientific capabilities. One of the main objectives of scientific commissioning was the identification of deficiencies in the instrumentation and/or in the telescope sub-systems for further optimization. As a result, the overall telescope performance has been significantly improved. As part of the scientific commissioning activities, different observing modes were tested and validated, and first astronomical observations were carried out to demonstrate the science capabilities of the SRT. In addition, we developed astronomer-oriented software tools, to support future observers on-site. The astronomical validation activities were prioritized based on technical readiness and scientific impact. The highest priority was to make the SRT available for joint observations as part of European networks. As a result, the SRT started to participate (in shared-risk mode) in EVN (European VLBI Network) and LEAP (Large European Array for Pulsars) observing sessions in early 2014. The validation of single-dish operations for the suite of SRT first light receivers and backends continued in the following years, and was concluded with the first call for shared-risk/early-science observations issued at the end of 2015., Comment: 26 pages, 18 figures, accepted for publication in Section 13 'Astronomical instrumentation' of Astronomy & Astrophysics

We present a long-term spectral monitoring of the unique Double Pulsar binary PSR J0737-3039 corresponding to two "Large Programs" performed by XMM-Newton in 2006 and 2011. Spectral variability of pulsar emission in soft X-rays is not evident over 5 years, despite the significant relativistic spin precession in the considered time span (about 25deg). We provide, for the first time, evidence of hard X-ray emission from the system in the 5-8 keV energy band. The standard spectral analysis was coupled to the energy dependent spatial analysis to confirm this excess, most likely ascribed to iron line emission. The Fe K-alpha emission line at 6.4-6.97 keV was previously unheard-of in non-accreting binary systems and could testify to the presence of a relic disk that survived the supernova explosions that terminated the lives of the Double Pulsar's stellar progenitors. The existence of a relic disk in this system reinforces speculation about the presence of similar structures around other peculiar classes of isolated neutron stars., Comment: 13 pages, 4 figures, Accepted for publication in the Astrophysical Journal on 17 February 2017