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.     

Correlation between production of listeriolysin O by variants of Listeria monocytogenes and their virulence for rabbits

L. monocytogenes serovar 1/2a NCTC 7973 was passaged through rabbits and the severity of infection at each passage was determined by counting viable bacteria from infested organs and recording the time of death. A comparative evaluation of the levels of hemolysin produced in vitro by the original and six variant cultures (V1-V6) was done by determination of hemolytic units (CHU). While virulence of the cultures enhanced at each passage (2.2 x 10(9) CFU/g of the spleen for V6 as compared to 5.0 x 10(6) CFU/g spleen for the parent culture), the CHU decreased considerably, 3 CHU for the V6 as compared to 40 CHU for the parent strain. The results suggest that the level of in vitro production of listeriolysin may not parallel the pathogenicity of L. monocytogenes for rabbits.     

On the role of material property gradients in noncontacting thermoelectric NDE

Inclusions and other types of imperfections in nonmagnetic metals can be nondestructively detected by noncontacting magnetic measurements that sense the thermoelectric currents produced by directional heating and cooling of the specimen. The detectability of small and/or weak imperfections is ultimately limited by the intrinsic anisotropy and inhomogeneity of the material to be inspected. This paper investigates the spurious magnetic signature produced by the simplest type of macroscopic inhomogeneity when the material properties exhibit a linear spatial variation in the cross section of a slender bar. An analytical method has been developed for calculating the normal and tangential magnetic fields produced by the resulting thermoelectric currents. Experimental results from a highly inhomogeneous artificial copper/brass sintered specimen were found to be in very good quantitative agreement with our theoretical predictions and fully verified our analytical model. Similar measurements on a weakly inhomogeneous Ti–6Al–4V titanium-alloy bar were also shown to be in very good qualitative agreement with the predictions of the analytical model although the unexpectedly high magnitude of the observed signatures could not be verified by conventional contact measurements, therefore further efforts are needed to better understand the underlying physical phenomenon and clarifying the relationship between the strength of the signature and the very complex microstructural features of this popular high-strength alloy.     

Jitter‐minimized reliability‐maximized management of networks

We propose a joint optimization network management framework for quality‐of‐service (QoS) routing with resource allocation. Our joint optimization framework provides a convenient way of maximizing the reliability or minimizing the jitter delay of paths. Data traffic is sensitive to droppage at buffers, while it can tolerate jitter delay. On the other hand, multimedia traffic can tolerate loss but it is very sensitive to jitter delay. Depending on the type of data, our scheme provides a convenient way of selecting the parameters which result in either reliability maximization or jitter minimization. We solve the optimization problem for a GPS network and provide the optimal solutions. We find the values of control parameters which control the type of optimization performed. We use our analytical results in a multi‐objective QoS routing algorithm. Finally, we provide insights into our optimization framework using simulations. Copyright © 2011 John Wiley & Sons, Ltd.     

Downregulation of miR-99b-5p and Upregulation of Nuclear mTOR Cooperatively Promotes the Tumor Aggressiveness and Drug Resistance in African American Prostate Cancer

Mammalian target of rapamycin (mTOR) regulates various fundamental cellular events including cell proliferation, protein synthesis, metabolism, apoptosis, and autophagy. Tumor suppressive miR-99b-5p has been implicated in regulating PI3K/AKT/mTOR signaling in a variety of types of cancer. Our previous study suggested the reciprocal miR-99b-5p/MTOR (downregulated/upregulated) pairing as a key microRNA-mRNA regulatory component involved in the prostate cancer (PCa) disparities. In this study, we further validated the expression profiles of mTOR and miR-99b-5p in the PCa, colon, breast, and lung cancer specimens and cell lines. The immunohistochemistry (IHC), immunofluorescence, Western blot, and RT-qPCR assays have confirmed that mTOR is upregulated while miR-99b-5p is downregulated in different patient cohorts and a panel of cancer cell lines. Intriguingly, elevated nuclear mTOR expression was observed in African American PCa and other advanced cancers. Transfection of the miR-99b-5p mimic resulted in a significant reduction in nuclear mTOR and androgen receptor (AR), while a slight/moderate to no decrease in cytoplasmic mTOR and AR in PCa and other cancer cells, suggesting that miR-99b-5p inhibits mTOR and AR expression and their nuclear translocation. Moreover, overexpression of miR-99b-5p targets/inhibits AR-mTOR axis, subsequently initiating cell apoptosis and sensitizing docetaxel-induced cytotoxicity in various cancers. In conclusion, our data suggest that reciprocal miR-99b-5p/nuclear mTOR pairing may be a more precise diagnostic/prognostic biomarker for aggressive PCa, than miR-99b-5p/MTOR pairing or mTOR alone. Targeting the AR-mTOR axis using miR-99b-5p has also been suggested as a novel therapeutic strategy to induce apoptosis and overcome chemoresistance in aggressive PCa.     

BSLPSDN: Base station location privacy via software-defined networking (SDN) in wireless sensor networks

Base station's location privacy in a wireless sensor network (WSN) is critical for information security and operational availability of the network. A key part of securing the base station from potential compromise is to secure the information about its physical location. This paper proposes a technique called base station location privacy via software-defined networking (SDN) in wireless sensor networks (BSLPSDN). The inspiration comes from the architecture of SDN, where the control plane is separated from the data plane, and where control plane decides the policy for the data plane. BSLPSDN uses three categories of nodes, namely, a main controller to instruct the overall operations, a dedicated node to buffer and forward data, and lastly, a common node to sense and forward the packet. We employ three kinds of nodes to collaborate and achieve stealth for the base station and thus protecting it against the traffic-analysis attacks. Different traits of the WSN including energy status and traffic density can actively be monitored by BSLPSDN, which positively affects the energy goals, expected life of the network, load on common nodes, and the possibility of creating diversion in the wake of an attack on the base station. We incorporated multiple experiments to analyze and evaluate the performance of our proposed algorithm. We use single controller with multiple sensor nodes and multiple controllers with multiple sensor nodes to show the level of anonymity of BS. Experiments show that providing BS anonymity via multiple controllers is the best method both in terms of energy and privacy.     

Visual control of step length during overground locomotion: Task-specific modulation of the locomotor synergy.

This study evaluated the dynamics of gait adaptations during overground locomotion. Step length of 20 Ss increased or decreased (by 50% or 30%) on visual cues given at several different times (3 or 2) in the step cycle while walking or running, respectively. Ground reaction forces and temporal data were analyzed for each of the 10 trials per condition. Results showed that both vertical and horizontal impulses are modulated. The cuing time affected the way Ss altered step length. For example, during late cuing Ss made changes during free flight phase. Both magnitude and duration of force were altered suggesting modulation of a higher order parameter, the impulse. Success rate was lower for later cuing times. It was also lower for shorter step length than longer one. This suggests that balance requirements constrain the adaptations that can be made. The study implies far greater on-line peripheral control of locomotion than suggested by a dominant central pattern generator control theory. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Use of proteins to minimize the physical aging of EUDRAGIT sustained release films

The objective of this study was to investigate the influence of two proteins, albumin and type B gelatin, on the physical aging of EUDRAGIT® RS 30 D and RL 30 D coated theophylline pellets. The physicomechanical properties of sprayed films, thermal properties of cast films, influence of proteins on the zeta potential and particle size of the dispersion, and the release of proteins from cast films under simulated dissolution conditions were investigated. The release rate of theophylline decreased significantly over time from pellets coated with an acrylic dispersion containing 10% albumin when there was no acidification of the acrylic dispersion; however, when pellets were coated with an acidified EUDRAGIT®/albumin dispersion, the theophylline release rate was stable for dosage forms stored in the absence of humidity. The drug release rate was faster for pellets coated with acrylic dispersions containing 10% gelatin compared to the albumin-containing formulations. When sprayed films were stored at 40°C/75% RH, the water vapor permeability decreased significantly for both EUDRAGIT® films and those containing EUDRAGIT® and albumin; however, there was no significant change in this parameter when 10% gelatin was present. Albumin was released from the acrylic films when the pH of the dissolution media was below the isoelectric point of the protein while no quantitative release of gelatin was observed in pH 1.2 or 7.4 media. The effect of gelatin to prevent the decrease in drug release rate was due to stabilization in water vapor permeability of the film. Acidification of the polymeric dispersion resulted in electrostatic repulsive forces between albumin and the acrylic polymer, which stabilized the drug release rate when the dosage forms were stored in aluminum induction sealed containers at both 40°C/75% RH and 25°C/60% RH.     

Sulfonyl‐Containing Polyimide Dielectrics with Advanced Heat Resistance and Dielectric Properties for High‐Temperature Capacitor Applications

Polymer dielectrics, with advanced dielectric properties and heat resistance, are critical for high‐temperature capacitors in various applications. However, the high performance of heat resistance and dielectric properties are quite difficult to achieve all together due to their mutual implication. Here, by intensively investigating the correlation between molecular structure and properties, polyimide dielectrics with i) enhanced dielectric constant by introducing sulfonyl group, ii) low dissipation factor by introducing flexible linkage, and iii) high T_g (glass transition temperature) by retaining an aromatic structure, are obtained. The sulfonyl‐containing polyimides with different flexible linkages exhibit simultaneously a high dielectric constant (4.50–5.98), low dissipation factor (0.00298–0.00426), and outstanding breakdown strength (most above 500 MV m^?1), as well as superior heat resistance (T_g : 244–304 °C). Specifically, the polyimide (SPI‐1) with sulfonyl group in diamine moiety and para‐para linkage shows stable dielectric properties up to 150 °C, and the discharged energy density and charge–discharge efficiency can be as high as 7.04 J cm^?3 and 91.3% at 500 MV m^?1, respectively.     

Effect of iron fortification on microstructural,textural, and sensory characteristics of caprine milk Cheddar cheeses under different storage treatments

In this study, we manufactured 3 types of caprine milk Cheddar cheese: a control cheese (unfortified) and 2 iron-fortified cheeses, one of which used regular ferrous sulfate (RFS) and the other used large microencapsulated ferrous sulfate (LMFS). We then compared the iron recovery rates and the microstructural, textural, and sensory properties of the 3 cheeses under different storage conditions (temperature and duration). Compositional analysis included fat, protein, ash, and moisture contents. The RFS (FeSO₄·7H₂O) and LMFS (with 700- to 800-μm large particle ferrous sulfate encapsulated in nonhydrogenated vegetable fat) were added to cheese curds after whey draining and were thoroughly mixed before hooping and pressing the cheese. Three batches of each type of goat cheese were stored at 2 temperatures (4°C and ?18°C) for 0, 2, and 4 mo. We analyzed the microstructure of cheese using scanning electron microscopy and image analysis software. A sensory panel (n = 8) evaluated flavors and overall acceptability of cheeses using a 10-point intensity score. Results showed that the control, RFS, and LMFS cheeses contained 0.0162, 0.822, and 0.932 mg of Fe/g of cheese, respectively, with substantially higher iron levels in both fortified cheeses. The iron recovery rates of RFS and LMFS were 71.9 and 73.5%, respectively. Protein, fat, and ash contents (%) of RFS and LMFS cheeses were higher than those of the control. Scanning electron microscopy analyses revealed that LMFS cheese contained smaller and more elongated sharp-edged iron particles, whereas RFS cheese had larger-perimeter rectangular iron crystals. Iron-fortified cheeses generally had higher hardness and gumminess scores than the control cheese. The higher hardness in iron-fortified cheeses compared with the control may be attributed to proteolysis of the protein matrix and its binding with iron crystals during storage. Control cheese had higher sensory scores than the 2 iron-fortified cheeses, and LMFS cheese had the lowest scores for all tested sensory properties.