Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog

Model Based System Engineering (MBSE) is a renowned approach in the context of embedded systems development. It is frequently used to deal with the structural and behavioral aspects of system design. However, the verification of system design is generally performed in isolation. It is particularly true in the context of assertion based verification. Consequently, there is a huge gap between system design and its verification that seriously effects the productivity and time-to market objectives. Therefore, in this research, we target to reduce this gap by exploiting the features of MBSE and SystemVerilog assertions (SVA’s). This article introduces a novel MBSE approach to model the design verification aspects of embedded systems, along with the system design (structural and behavioral aspects). We propose SystemVerilog in Object Constraint Language (SVOCL), an OCL temporal extension for SystemVerilog, to represent the design verification requirements by means of SVA’s. As a part of research, SVOCL transformation engine has been developed to generate SVA’s code in order to automate the design verification of embedded systems. The application of SVOCL has been validated through four case studies.     

Compressive sensing based high-resolution passive bistatic radar

Passive bistatic radar (PBR) systems using different communication signals can only offer low-resolution target detection due to their inherent low bandwidth. In this paper, compressive sensing (CS) is applied to multichannel FM and GSM PBR to achieve improved range-Doppler resolutions and avoid some limitations of classical multiband PBR processing. In CS context, block-structured time-domain dictionary which is formed from multichannel signals suffers from coherence when fine range resolution is employed. To overcome such a pitfall, this work first transforms the dictionary to spectral domain where only the most important spectral components are retained. Principle component analysis followed by a whitening method are then applied to this spectrally transformed data in order to reduce the dimensionality of problem, thereby reducing the dictionary size and most importantly fulfilling the required condition of dictionary incoherence for better CS-based recovery. Two different block-structured dictionary formations are tested. The performance of the recovery of spatially close targets, in both FM and GSM PBR setups, are reported.     

Job search website for illiterate users of Pakistan

Illiteracy is a major hurdle in socio-economic development of Pakistan. Research in the Information and Communication Technology (ICT) can help in tackling this issue by developing solutions tailored for illiterate population. The work presented within this paper proposes a job search website for illiterate population of KPK province of Pakistan. The designed website does not require any human assistance while searching a job. Moreover, the website uses culturally relevant graphical and audio content. The usability of the website is tested according to the ISO-9241-11 specification. Furthermore, we have studied the effect of the participants’ characteristics, i.e., their age, computer and mobile usage experience on the usability of the website. The results show that the participants found the website usable. Specifically, they could search suitable jobs with a minimal number of clicks and in less time as compared to the usual task completion rates reported throughout the literature. None of the participants’ characteristics were found to be affecting the usability of the website. These results suggest a promising potential of ICT solutions for providing services to illiterate population of Pakistan.     

Performance of Object Classification Using Zernike Moment

Moments have been used in all sorts of object classification systems based on image. There are lots of moments studied by many researchers in the area of object classification and one of the most preference moments is the Zernike moment. In this paper, the performance of object classification using the Zernike moment has been explored. The classifier based on neural networks has been used in this study. The results indicate the best performance in identifying the aggregate is at 91.4% with a ten orders of the Zernike moment. This encouraging result has shown that the Zernike moment is a suitable moment to be used as a feature of object classification systems.     

A reliable energy-efficient pressure-based routing protocol for underwater wireless sensor network

Recently, Underwater Wireless Sensor Networks (UWSNs) has witnessed significant attention from both academia and industries in research and development, due to the growing number of applications for wide range of purposes including commercial, scientific, environmental and military. Some of the major applications include pollution monitoring, tactical surveillance, tsunami warnings and offshore exploration. Efficient communication among sensors in UWSNs is a challenging task due to the harsh environments and peculiar characteristics of UWSNs. Therefore, design of routing protocol for efficient communication among sensors and sink is one of the fundamental research themes in UWSNs. In this context, this paper proposes a location-free Reliable and Energy efficient Pressure-Based Routing (RE-PBR) protocol for UWSNs. RE-PBR considers three parameters including link quality, depth and residual energy for balancing energy consumption and reliable data delivery. Specifically, link quality is estimated using triangle metric method. A light weight information acquisition algorithm is developed for efficient knowledge discovery of the network. Multi-metric data forwarding algorithm is designed based on route cost calculation which utilizes residual energy and link quality. Simulations are carried out in NS-2 with Aqua-Sim package to evaluate the performance of RE-PBR. The performance of the proposed protocol is compared with the stat-of-the-art techniques: DBR and EEDBR. The comprehensive performance evaluation attests the benefit of RE-PBR as compared to the state-of-the-art techniques in terms of network lifetime, energy consumption, end-to-end delay and packet delivery ratio.     

off-State Degradation in Drain-Extended NMOS Transistors: Interface Damage and Correlation to Dielectric Breakdown

Off-state degradation in drain-extended NMOS transistors is studied. Carefully designed experiments and well-calibrated simulations show that hot carriers, which are generated by impact ionization of surface band-to-band tunneling current, are responsible for interface damage during off-state stress. Classical on-state hot carrier degradation has historically been associated with broken equivSi-H bonds at the interface. In contrast, the off-state degradation in drain-extended devices is shown to be due to broken equivSi-O- bonds. The resultant degradation is universal, which enables a long-term extrapolation of device degradation at operating bias conditions based on short-term stress data. Time evolution of degradation due to broken equivSi-O- bonds and the resultant universal behavior is explained by a bond-dispersion model. Finally, we show that, under off-state stress conditions, the interface damage that is measured by charge-pumping technique is correlated with dielectric breakdown time, as both of them are driven by broken equivSi-O- bonds.     

Will New Antenna Materials Enable Single Path Multiple Access (SPMA)?

The aim of this paper is to introduce a novel frequency reuse concept especially for macro cellular networks to substantially increase the mobile network capacity, and simultaneously to avoid the implementation of low efficient small cells. Single path multiple access (SPMA) utilizes the characteristics of independent propagation paths for particular geographical location in the coverage area of mobile network. The proposed concept is based on the assumption that new approach will be adopted by the antenna manufacturers for producing advanced antennas by utilizing materials like metamaterials including carbon based nanotechnology, and graphene. In SPMA concept, communication between base station and mobile station happens through only single independent propagation path, and frequency resources can be reused in 5 m  \(\times \)  5 m areas or even more often in 1 m  \(\times \)  1 m areas, but limited by a base station/mobile station antenna requirement. Thus, the capacity of the network will be increased dramatically, and it can be managed in centralized manner at certain macro site locations. In already deployed cellular networks, these macro sites are mostly easily available, and that would help to implement SPMA to enhance the network capacity. Simulation results provided in this paper show the applicability of SPMA technique, by limiting the radiation of signal as single path propagation between base station and mobile station.     

Wireless LAN Access Point Placement Based on User Mobility

In a wide area campus, a university provides Wireless Local Area Network (WLAN) for users to connect to the Internet. Most users take advantage of this WLAN benefit by using their laptops. However, the number of smart phone users is growing fast. Since a smart phone is able to get an Internet connection using WLAN, users can use their smart phones without having to pay for a cellular operator. Users tend to use their smart phones more, due to their higher mobility compared to a laptop. This capability enables new services in the market, such as Fixed-Mobile Convergence (FMC), which integrates a fixed network (traditional telephony, WLAN) and a mobile network (cellular) to provide seamless voice communications anytime, anywhere. These new applications require a WLAN connection availability nearly everywhere. However, due to limited budgets, a university can only install APs in places with a high connection demand. We propose a novel WLAN AP placement technique that takes user mobility into consideration. This new approach is more complete than previous approaches, which mainly focus on coverage area and throughput data. Our technique has been implemented in our university. The results show the suitability of the WLAN access point locations in our university campus based on user mobility and activities.     

Interface state densities, low frequency noise and electron mobility in surface channel In0.53Ga0.47As n-MOSFETs with a ZrO2 gate dielectric

This paper reports on an investigation of interface state densities, low frequency noise and electron mobility in surface channel In_0.53Ga_0.47As n-MOSFETs with a ZrO₂ gate dielectric. Interface state density values of D_it ∼ 5 × 10¹² cm⁻² eV⁻¹ were extracted using sub-threshold slope analysis and charge pumping technique. The same order of magnitude of trap density was found from low frequency noise measurements. A peak effective electron mobility of 1200 cm²/Vs has been achieved. For these surface channel In_0.53Ga_0.47As n-MOSFETs, it was found that η parameter, an empirical parameter used to calculate the effective electric field, was ∼0.55, and is to be comparable to the standard value found in Si device.     

Sustainable Green Fog Computing for Smart Agriculture

Wireless Personal Communications - Medical Body Area Networks or MBANs are gaining popularity in healthcare circles because of the convenience they provide to patients and caregivers and assist in...