On the Security of the Automatic Dependent Surveillance-Broadcast Protocol

Automatic dependent surveillance-broadcast (ADS-B) is the communications protocol currently being rolled out as part of next generation air transportation systems. As the heart of modern air traffic control, it will play an essential role in the protection of two billion passengers per year, besides being crucial to many other interest groups in aviation. The inherent lack of security measures in the ADS-B protocol has long been a topic in both the aviation circles and in the academic community. Due to recently published proof-of-concept attacks, the topic is becoming ever more pressing, especially with the deadline for mandatory implementation in most airspaces fast approaching. This survey first summarizes the attacks and problems that have been reported in relation to ADS-B security. Thereafter, it surveys both the theoretical and practical efforts which have been previously conducted concerning these issues, including possible countermeasures. In addition, the survey seeks to go beyond the current state of the art and gives a detailed assessment of security measures which have been developed more generally for related wireless networks such as sensor networks and vehicular ad hoc networks, including a taxonomy of all considered approaches.Comment: Survey, 22 Pages, 21 Figure

Using Computational Agents to Design Participatory Social Simulations

In social science, the role of stakeholders is increasing in the development and use of simulation models. Their participation in the design of agent-based models (ABMs) has widely been considered as an efficient solution to the validation of this particular type of model. Traditionally, "agents" (as basic model elements) have not been concerned with stakeholders directly but via designers or role-playing games (RPGs). In this paper, we intend to bridge this gap by introducing computational or software agents, implemented from an initial ABM, into a new kind of RPG, mediated by computers, so that these agents can interact with stakeholders. This interaction can help not only to elicit stakeholders' informal knowledge or unpredicted behaviours, but also to control stakeholders' focus during the games. We therefore formalize a general participatory design method using software agents, and illustrate it by describing our experience in a project aimed at developing agent-based social simulations in the field of air traffic management.Participatory Social Simulations, Agent-Based Social Simulations, Computational Agents, Role-Playing Games, Artificial Maieutics, User-Centered Design

A Diffusion Approximation for an Epidemic Model

Influenza is one of the most common and severe diseases worldwide. Devastating epidemics actuated by a new subtype of the influenza A virus occur again and again with the most important example given by the Spanish Flu in 1918/19 with more than 27 million deaths. For the development of pandemic plans it is essential to understand the character of the dissemination of the disease. We employ an extended SIR model for a probabilistic analysis of the spatio-temporal spread of influenza in Germany. The inhomogeneous mixing of the population is taken into account by the introduction of a network of subregions, connected according to Germany's commuter and domestic air traffic. The infection dynamics is described by a multivariate diffusion process, the discussion of which is a major part of this report. We furthermore present likelihood-based estimates of the model parameters

Visualizing a control strategy for estimating electricity consumption

This paper investigates the potential of applying different control measures on low power and high power appliances with the goal of evolving efficiency in electricity consumption. The research involves carrying out simulations on their power consumption readings to set up a control system. The study discovers savings on all appliances under study to be 12.8% Kw, not minding occupancy rate of the building. Air-conditioners have the greatest impact of a 6% Kw contribution on savings. This would lead to a substantial contribution when converted to pricing rates. The results from the study indicate that control measures should be extended to peak periods and power saving measures extended to more appliances

Using natural means to reduce surface transport noise during propagation outdoors

This paper reviews ways of reducing surface transport noise by natural means. The noise abatement solutions of interest can be easily (visually) incorporated in the landscape or help with greening the (sub)urban environment. They include vegetated surfaces (applied to faces or tops of noise walls and on building façades and roofs ), caged piles of stones (gabions), vegetation belts (tree belts, shrub zones and hedges), earth berms and various ways of exploiting ground-surface-related effects. The ideas presented in this overview have been tested in the laboratory and/or numerically evaluated in order to assess or enhance the noise abatement they could provide. Some in-situ experiments are discussed as well. When well-designed, such natural devices have the potential to abate surface transport noise, possibly by complementing and sometimes improving common (non-green) noise reducing devices or measures. Their applicability strongly depends on the available space reserved for the noise abatement and the receiver position

Multiscale mobility networks and the large scale spreading of infectious diseases

Among the realistic ingredients to be considered in the computational modeling of infectious diseases, human mobility represents a crucial challenge both on the theoretical side and in view of the limited availability of empirical data. In order to study the interplay between small-scale commuting flows and long-range airline traffic in shaping the spatio-temporal pattern of a global epidemic we i) analyze mobility data from 29 countries around the world and find a gravity model able to provide a global description of commuting patterns up to 300 kms; ii) integrate in a worldwide structured metapopulation epidemic model a time-scale separation technique for evaluating the force of infection due to multiscale mobility processes in the disease dynamics. Commuting flows are found, on average, to be one order of magnitude larger than airline flows. However, their introduction into the worldwide model shows that the large scale pattern of the simulated epidemic exhibits only small variations with respect to the baseline case where only airline traffic is considered. The presence of short range mobility increases however the synchronization of subpopulations in close proximity and affects the epidemic behavior at the periphery of the airline transportation infrastructure. The present approach outlines the possibility for the definition of layered computational approaches where different modeling assumptions and granularities can be used consistently in a unifying multi-scale framework.Comment: 10 pages, 4 figures, 1 tabl