231 research outputs found
Trap-Assisted Tunneling in the Schottky Barrier
The paper presents a new way how to calculate the currents in a Schottky barrier. The novel phenomeno-logical model extends the Shockley-Read-Hall recombi-nation-generation theory of trap-assisted tunneling. The proposed approach explains the occurrence of large leakage currents in Schottky structures on wide band semi-conductors with a high Schottky barrier (above 1 eV) and with a high density of traps. Under certain conditions, trap-assisted tunneling (TAT) plays a more important role than direct tunneling
Threat modeling for communication security of IoT-enabled digital logistics
The modernization of logistics through the use of Wireless Sensor Network (WSN) Internet of Things (IoT) devices promises great efficiencies. Sensor devices can provide real-time or near real-time condition monitoring and location tracking of assets during the shipping process, helping to detect delays, prevent loss, and stop fraud. However, the integration of low-cost WSN/IoT systems into a pre-existing industry should first consider security within the context of the application environment. In the case of logistics, the sensors are mobile, unreachable during the deployment, and accessible in potentially uncontrolled environments. The risks to the sensors include physical damage, either malicious/intentional or unintentional due to accident or the environment, or physical attack on a sensor, or remote communication attack. The easiest attack against any sensor is against its communication. The use of IoT sensors for logistics involves the deployment conditions of mobility, inaccesibility, and uncontrolled environments. Any threat analysis needs to take these factors into consideration. This paper presents a threat model focused on an IoT-enabled asset tracking/monitoring system for smart logistics. A review of the current literature shows that no current IoT threat model highlights logistics-specific IoT security threats for the shipping of critical assets. A general tracking/monitoring system architecture is presented that describes the roles of the components. A logistics-specific threat model that considers the operational challenges of sensors used in logistics, both malicious and non-malicious threats, is then given. The threat model categorizes each threat and suggests a potential countermeasure
Dataset: LoED: The LoRaWAN at the Edge dataset
This paper presents the LoRaWAN at the Edge Dataset (LoED), an open LoRaWAN packet dataset collected at gateways. Real-world LoRaWAN datasets are important for repeatable sensor-network and communications research and evaluation as, if carefully collected, they provide realistic working assumptions. LoED data is collected from nine gateways over a four month period in a dense urban environment. The dataset contains packet header information and all physical layer properties reported by gateways such as the CRC, RSSI, SNR and spreading factor. Files are provided to analyse the data and get aggregated statistics. The dataset is available at: doi.org/10.5281/zenodo.412143
Local and Systemic Effects of Chronic Intracavernous Injection of Papaverine, Prostaglandine E1 and Saline in Primates
Taste activity in the parabrachial region in adult rats following neonatal chorda tympani transection
The chorda tympani is a gustatory nerve that fails to regenerate if sectioned in rats 10 days of age or younger. This early denervation causes an abnormally high preference for NH4Cl in adult rats, but the impact of neonatal chorda tympani transection on the development of the gustatory hindbrain is unclear. Here, we tested the effect of neonatal chorda tympani transection (CTX) on gustatory responses in the parabrachial nucleus (PbN). We recorded in vivo extracellular spikes in single PbN units of urethane-anesthetized adult rats following CTX at P5 (chronic CTX group) or immediately prior to recording (acute CTX group). Thus, all sampled PbN neurons received indirect input from taste nerves other than the CT. Compared to acute CTX rats, chronic CTX animals had significantly higher responses to stimulation with 0.1 and 0.5 M NH4Cl, 0.1 NaCl, and 0.01 M citric acid. Activity to 0.5 M sucrose and 0.01 M quinine stimulation was not significantly different between groups. Neurons from chronic CTX animals also had larger interstimulus correlations and significantly higher entropy, suggesting that neurons in this group were more likely to be activated by stimulation with multiple tastants. Although neural responses were higher in the PbN of chronic CTX rats compared to acute-sectioned controls, taste-evoked activity was much lower than observed in previous reports, suggesting permanent deficits in taste signaling. These findings demonstrate that the developing gustatory hindbrain exhibits high functional plasticity following early nerve injury
Formal verification of synchronisation, gossip and environmental effects for wireless sensor networks
The Internet of Things (IoT) promises a revolution in the monitoring and control of a wide range of applications, from urban water supply networks and precision agriculture food production, to vehicle connectivity and healthcare monitoring. For applications in such critical areas, control software and protocols for IoT systems must be verified to be both robust and reliable. Two of the largest obstacles to robustness and reliability in IoT systems are effects on the hardware caused by environmental conditions, and the choice of parameters used by the protocol. In this paper we use probabilistic model checking to verify that a synchronisation and dissemination protocol for Wireless Sensor Networks (WSNs) is correct with respect to its requirements, and is not adversely affected by the environment. We show how the protocol can be converted into a logical model and then analysed using the probabilistic model-checker, PRISM. Using this approach we prove under which circumstances the protocol is guaranteed to synchronise all nodes and disseminate new information to all nodes. We also examine the bounds on synchronisation as the environment changes the performance of the hardware clock, and investigate the scalability constraints of this approach. © 2019 Universitatsbibliothek TU Berlin
The limits of LoRaWAN in event-triggered wireless networked control systems
Wireless sensors and actuators offer benefits to large industrial control systems. The absence of wires for communication reduces the deployment cost, maintenance effort, and provides greater flexibility for sensor and actuator location and system architecture. These benefits come at a cost of a high probability of communication delay or message loss due to the unreliability of radio-based communication. This unreliability poses a challenge to contemporary control systems that are designed with the assumption of instantaneous and reliable communication. Wireless sensors and actuators create a paradigm shift in engineering energy-efficient control schemes coupled with robust communication schemes that can maintain system stability in the face of unreliable communication. This paper investigates the feasibility of using the low-power wide-area communication protocol LoRaWAN with an event-triggered control scheme through modelling in Matlab. We show that LoRaWAN is capable of meeting the maximum delay and message loss requirements of an event-triggered controller for certain classes of applications. We also expose the limitation in the use of LoRaWAN when message size or communication range requirements increase or the underlying physical system is exposed to significant external disturbances
Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems
- …