A Structured Hardware/Software Architecture for Embedded Sensor Nodes

Owing to the limited requirement for sensor processing in early networked sensor nodes, embedded software was generally built around the communication stack. Modern sensor nodes have evolved to contain significant on-board functionality in addition to communications, including sensor processing, energy management, actuation and locationing. The embedded software for this functionality, however, is often implemented in the application layer of the communications stack, resulting in an unstructured, top-heavy and complex stack. In this paper, we propose an embedded system architecture to formally specify multiple interfaces on a sensor node. This architecture differs from existing solutions by providing a sensor node with multiple stacks (each stack implements a separate node function), all linked by a shared application layer. This establishes a structured platform for the formal design, specification and implementation of modern sensor and wireless sensor nodes. We describe a practical prototype of an intelligent sensing, energy-aware, sensor node that has been developed using this architecture, implementing stacks for communications, sensing and energy management. The structure and operation of the intelligent sensing and energy management stacks are described in detail. The proposed architecture promotes structured and modular design, allowing for efficient code reuse and being suitable for future generations of sensor nodes featuring interchangeable components

Unified radio and network control across heterogeneous hardware platforms

Experimentation is an important step in the investigation of techniques for handling spectrum scarcity or the development of new waveforms in future wireless networks. However, it is impractical and not cost effective to construct custom platforms for each future network scenario to be investigated. This problem is addressed by defining Unified Programming Interfaces that allow common access to several platforms for experimentation-based prototyping, research, and development purposes. The design of these interfaces is driven by a diverse set of scenarios that capture the functionality relevant to future network implementations while trying to keep them as generic as possible. Herein, the definition of this set of scenarios is presented as well as the architecture for supporting experimentation-based wireless research over multiple hardware platforms. The proposed architecture for experimentation incorporates both local and global unified interfaces to control any aspect of a wireless system while being completely agnostic to the actual technology incorporated. Control is feasible from the low-level features of individual radios to the entire network stack, including hierarchical control combinations. A testbed to enable the use of the above architecture is utilized that uses a backbone network in order to be able to extract measurements and observe the overall behaviour of the system under test without imposing further communication overhead to the actual experiment. Based on the aforementioned architecture, a system is proposed that is able to support the advancement of intelligent techniques for future networks through experimentation while decoupling promising algorithms and techniques from the capabilities of a specific hardware platform

Controlling Concurrent Change - A Multiview Approach Toward Updatable Vehicle Automation Systems

The development of SAE Level 3+ vehicles [{SAE}, 2014] poses new challenges not only for the functional development, but also for design and development processes. Such systems consist of a growing number of interconnected functional, as well as hardware and software components, making safety design increasingly difficult. In order to cope with emergent behavior at the vehicle level, thorough systems engineering becomes a key requirement, which enables traceability between different design viewpoints. Ensuring traceability is a key factor towards an efficient validation and verification of such systems. Formal models can in turn assist in keeping track of how the different viewpoints relate to each other and how the interplay of components affects the overall system behavior. Based on experience from the project Controlling Concurrent Change, this paper presents an approach towards model-based integration and verification of a cause effect chain for a component-based vehicle automation system. It reasons on a cross-layer model of the resulting system, which covers necessary aspects of a design in individual architectural views, e.g. safety and timing. In the synthesis stage of integration, our approach is capable of inserting enforcement mechanisms into the design to ensure adherence to the model. We present a use case description for an environment perception system, starting with a functional architecture, which is the basis for componentization of the cause effect chain. By tying the vehicle architecture to the cross-layer integration model, we are able to map the reasoning done during verification to vehicle behavior

A unified radio control architecture for prototyping adaptive wireless protocols

Experimental optimization of wireless protocols and validation of novel solutions is often problematic, due to limited configuration space present in commercial wireless interfaces as well as complexity of monolithic driver implementation on SDR-based experimentation platforms. To overcome these limitations a novel software architecture is proposed, called WiSHFUL, devised to allow: i) maximal exploitation of radio functionalities available in current radio chips, and ii) clean separation between the logic for optimizing the radio protocols (i.e. radio control) and the definition of these protocols

Flashover performance of lightning protected buildings using scaled models and electric field analysis

In early era, Benjamin Franklin discovered that the application of Lightning Rod (also known as the Franklin Rod) method is found to be effectived as a lightning protective device for buildings. Hence, it was considered among the best solution to overcome the problems facing by publics due to lightning strikes. However, few years later it was found that the corroded Franklin Rod due to the impact of environmental contaminations tends to reduce its ability to effectively capture the lightning strikes. The directly or indirectly impacts of lightning strikes had caused owners to spend huge amount of money just to repair damages on the buildings. Nowadays, there were many professional standards and documents guiding public to properly install the building’s lightning protection system, yet the same damages problems had shown to be frequently occur that related to the strikes often bypasses the of Lightning Air Terminal (LAT) system. The main reason for this could be due to lacking ideas by learned circle of lightning experts as not to fully understand the behavior of Franklin Rods system when it interacts with the lightning leaders. Therefore, this thesis discusses the works that investigated the flashover performances occurred on the buildings with various structural geometry shapes. The case study method is using small scaled models for both laboratory and simulation works, aiming to understand the Franklin Rods performance on capturing lightning leaders. Summarizing the works, about 11 scaled-down building shape models equipped with Franklin Rods system are selected in the case studies such as follows; a conical, gable, triangular, half circle, L-shape, square, cylindrical, butterfly, pyramid, rectangular and inclined like shapes. These models were then injected with 30 lightning flashes each using the 100 kVpeak single stage impulse generator. This number of flashes is considered as total two-years lightning activity frequencies in Malaysia, which the lighting flash density is statistically recorded to be around 15 flashes / year / km2. The maximum applied voltage is about 86.5 kVpeak. The model scaling concept is based on 1:30 cm ratio for every 3 m height of building structure. Interestingly, the overall work data had shown that the pyramid-like shapes is found to be the best structure type to be used in reducing the LAT bypasses and direct strike damages. The structure’s Franklin Rod protection system captured the least number of strikes during competitive tests conducted on all of the scaled down building models. Works of electric field analysis on all building models were conducted using ANSYS Maxwell simulation tool. Utilisation of electric field plot data in this work enables the creation of likelihood factor (ranging from 0.1 to 0.9) method that so useful to capable predict the strikes pattern occurring on dedicated terminal rod. Both laboratory and simulation work also confirm that the edge shapes play crucial roles as intense electric fields is found to accumulate on the edges area when the Franklin Rod intercepts the lightning leaders. These mentioned findings lead to introducing better method of LAT placement on the top of the building, whereby the existing lightning protection system is recommended to have one of installed LAT rods elongated to act as sacrificial point to directly attract lightning strikes. All the work and key findings in this work can contribute to the science and technology field toward having a better LAT lightning protection system and also lead to better decision in selecting / designing the shapes and edges concept as to reduce likelihood of LAT bypasses and damages of the building structure