Risk identification and safety assessment of human-computer interaction in integrated avionics based on STAMP

To solve the problem of risk identification and quantitative assessment for human-computer interaction(HCI)in complex avionics systems,an HCI safety analysis framework based on system-theoretical process analysis(STPA)and cognitive reliability and error analysis method(CREAM)is proposed.STPACREAM can identify unsafe control actions and find the causal path during the interaction of avionics systems and pilot with the help of formal verification tools automatically.The common performance conditions(CPC)of avionics systems in the aviation environment is established and a quantitative analysis of human failure is carried out.Taking the head-up display(HUD)system interaction process as an example,a case analysis is carried out,the layered safety control structure and formal model of the HUD interaction process are established.For the interactive behavior“Pilots approaching with HUD”,four unsafe control actions and35 causal scenarios are identified and the impact of common performance conditions at different levels on the pilot decision model are analyzed.The results show that HUD's HCI level gradually improves as the scores of CPC increase,and the quality of crew member cooperation and time sufficiency of the task is the key to its HCI.Through case analysis,it is shown that STPACREAM can quantitatively assess the hazards in HCI and identify the key factors that impact safety.

On Dynamic Channel Emulation in Sector MPAC for Over-the-Air Testing of Beamformed Massive MIMO Devices

In this article,novel emulation strategies for the sectored multiple probe anechoic chamber(SMPAC)are proposed to enable the reliable evaluation of the massive multiple-input multiple-output(MIMO)device operating at beamforming mode,which requires a realistic non-stationary channel environment.For the dynamic propagation emulation,an efficient closed-form probe weighting strategy minimizing the power angular spectrum(PAS)emulation errors is derived,substantially reducing the associated computational complexity.On the other hand,a novel probe selection algorithm is proposed to reproduce a more accurate fading environment.Various standard channel models and setup configurations are comprehensively simulated to validate the capacity of the proposed methods.The simulation results show that more competent active probes are selected with the proposed method compared to the conventional algorithms.Furthermore,the derived closedform probe weighting strategy offers identical accuracy to that obtained with complicated numerical optimization.Moreover,a realistic dynamic channel measured in an indoor environment is reconstructed with the developed methodologies,and 95.6%PAS similarity can be achieved with 6 active probes.The satisfactory results demonstrate that the proposed algorithms are suitable for arbitrary channel emulation.

Adaptive Emulation Framework for Multi-Architecture IoT Firmware Testing

Internet of things(IoT)devices are being increasingly used in numerous areas.However,the low priority on security and various IoT types have made these devices vulnerable to attacks.To prevent this,recent studies have analyzed firmware in an emulation environment that does not require actual devices and is efficient for repeated experiments.However,these studies focused only on major firmware architectures and rarely considered exotic firmware.In addition,because of the diversity of firmware,the emulation success rate is not high in terms of large-scale analyses.In this study,we propose the adaptive emulation framework for multi-architecture(AEMA).In the field of automated emulation frameworks for IoT firmware testing,AEMA considers the following issues:(1)limited compatibility for exotic firmware architectures,(2)emulation instability when configuring an automated environment,and(3)shallow testing range resulting from structured inputs.To tackle these problems,AEMAcan emulate not onlymajor firmware architectures but also exotic firmware architectures not previously considered,such as Xtensa,ColdFire,and reduced instruction set computer(RISC)version five,by implementing a minority emulator.Moreover,we applied the emulation arbitration technique and input keyword extraction technique for emulation stability and efficient test case generation.We compared AEMA with other existing frameworks in terms of emulation success rates and fuzz testing.As a result,AEMA succeeded in emulating 864 out of 1,083 overall experimental firmware and detected vulnerabilities at least twice as fast as the experimental group.Furthermore,AEMAfound a 0-day vulnerability in realworld IoT devices within 24 h.

基于UART Emulation技术的MVB网卡设计与组网研究

提出一种MVB网卡设计方案,在主机与MVB控制器的架构上结合UART Emulation技术,较为完善地实现了MVB设备的过程数据、消息数据、用户编程等功能。利用所设计的网卡与其他MVB网络设备进行MVB组网研究,依据单调比率算法进行周期扫描表的设计,在所搭建的网络平台上进行基本的通信测试,验证了设计的正确性和可行性。该网卡尺寸符合标准3U大小,便于与其他网络设备集成于工控机箱之中。

Hierarchical resource allocation for integrated modular avionics systems

Recently the integrated modular avionics （IMA） architecture which introduces the concept of resource partitioning becomes popular as an alternative to the traditional federated architecture. A novel hierarchical approach is proposed to solve the resource allocation problem for IMA systems in distributed environments. Firstly, the worst case response time of tasks with arbitrary deadlines is analyzed for the two-level scheduler. Then, the hierarchical resource allocation approach is presented in two levels. At the platform level, a task assignment algorithm based on genetic simulated annealing （GSA） is proposed to assign a set of pre-defined tasks to different processing nodes in the form of task groups, so that resources can be allocated as partitions and mapped to task groups. While yielding to all the resource con- straints, the algorithm tries to find an optimal task assignment with minimized communication costs and balanced work load. At the node level, partition parameters are optimized, so that the computational resource can be allocated further. An example is shown to illustrate the hierarchal resource allocation approach and manifest the validity. Simulation results comparing the performance of the proposed GSA with that of traditional genetic algorithms are presented in the context of task assignment in IMA systems.

NFC技术Card Emulation模式在Android系统中的应用研究

近地场通讯(Near Field Communication,NFC)协议已被Android系统部分支持。随着Android手机的迅速普及,作为NFC三种工作模式之一的Card Emulation模式在电子考勤、移动支付等领域具有越来越广泛的应用潜力。尽管在Android 4.4版本之前公开的API并不支持Card Emulation模式,但由于Android本身的开源特征,借助开源项目SEEK或Android隐藏的API,仍可探索Card Emulation模式在Android系统上的应用。从NFC的特征和Android系统上NFC技术的实现出发,说明了Card Emulation模式的特点和应用场景,研究了Android系统上Card Emulation模式的现状和应用模式,分析了Card Emulation模式应用中的问题。

Pretreatment of emulational manual acupuncture versus electroacupuncture against visceral traction pain in rats

BACKGROUND： Acupuncture and moxibustion against visceral noxious stimulation present different mechanisms in the peripheral and central nervous systems, involving release of neurotransmitter substance P, acetylcholine esterase, leucine-enkephalin, and c-Fos protein expression. However, there are few reports addressing changes in neurotransmitter expression following manual acupuncture and electroacupuncture against visceral traction pain.OBJECTIVE： To explore changes in neurotransmitter expression in the ileum and protein expression in the medullary visceral zone of visceral traction pain rats undergoing pretreatment of emulational manual acupuncture, and to investigate the differences between emulational manual acupuncture and electroacupuncture.DESIGN, TIME AND SETTING： The randomized, controlled study was performed at the Biomedical Engineering Laboratory, Shanghai University of Traditional Chinese Medicine, Shanghai, China from August 2008 to July 2009.MATERIALS： G6805 electroacupuncture apparatus （Shanghai Medical Electronic Machine Factory, China） and ZSF-I acupuncture manipulation simulation therapeutic system （Chinese Medical Engineering Room, Shanghai University of Traditional Chinese Medicine, Shanghai China） were used in the present study.METHODS： A total of 40 male Sprague Dawley rats were equally and randomly assigned to sham surgery, model, emulational manual acupuncture and electroacupuncture groups. In the emulational manual acupuncture and electroacupuncture groups, emulational manual acupuncture and electroacupuncture were applied at bilateral Zusanli （ST 36） acupoints for 30 minutes, and models of visceral traction pain were established immediately.MAIN OUTCOME MEASURES： Substance P expression, c-Fos and glial fibrillary acidic protein expression were measured using immunohistochemistry. Acetylcholine esterase activity was examined utilizing a colorimetric method. Leucine-enkephalin content was detected using a radioimmune assay. Degree of pain in rats was assessed by pain score.RESULTS： Pain score, substance P expression in the ileum, acetylcholine esterase activity, expression of c-Fos protein and glial fibrillary acidic protein in the medullary visceral zone were significantly decreased following pretreatment of emulational manual acupuncture and electroacupuncture in rats with visceral traction pain （P〈0.05）. Compared with the electroacupuncture group, the leucine-enkephalin content was significantly increased, and pain score was significantly diminished in the emulational manual acupuncture group （P〈0.05）.CONCLUSION： Emulational manual acupuncture pretreatment decreases acetylcholine esterase activity, increases leucine-enkephalin release, downregulates expression of c-Fos protein and glial fibrillary acidic protein and ultimately inhibits visceral traction pain by reducing substance P release. The effectiveness in inhibiting visceral traction pain is greater when using emulational manual acupuncture compared with electroacupuncture. This is because emulational manual acupuncture effectively increases leucine-enkephalin release.

THE SYSTEMATIC DYNAMIC EMULATION ON THE AGRICULTURAL DEVELOPMENT ON THE LOESS PLATEAU

The Loess Plateau, covered with thick loess, lies in the middle reaches of the YellowRiver to the west of the Taihangshan Mountains, east of the Wuqiao Mountains south ofYinshan Mountains and north of the Qinling Mountains with a total area of 56×10~4km^2.The plateau is 1000--2500m above sea level and has loess as thick as 100--200 metres, be-

PARNEM-A PARALLEL DISCRETE EVENT NETWORK EMULATION SYSTEM

Objective Network emulation system constructs a virtual network environment which has the characteristics of controllable and repeatable network conditions. This makes it possible to predict the availability and performance of new protocols and algorithms before deploying to Internet. Methods PARNEM, a parallel discrete event network emulation system described in this paper has the following characteristics: ① BREEN - a BSP based real-time event scheduling engine; ② application transparent flexible interactive mechanism; ③ legacy network model reuse. Conclusion PARNEM allows detailed and accurate study of application behavior. Comprehensive case studies covering bottleneck bandwidth measurement and distributed cooperative web caching system demonstrate that network emulation technology opens a wide range of new opportunities for examining the behavior of applications.

Optimized Implementation for Wave Digital Filter Based Circuit Emulation on FPGA

A binary tree representation is designed in this paper for optimization of wave digital filter（WDF）implementation.To achieve this,an equivalent WDF model of the original circuit is converted into abinary tree representation at first.This WDF binary tree can then be transformed to several topologies with the same implication,since the WDF adaptors have a symmetrical behavior on their ports.Because the WDF implementation is related to field programmable gate array（FPGA）resource usage and the cycle time of emulation,choosing aproper binary tree topology for WDF implementation can help balance the complexity and performance quality of an emulation system.Both WDF-FPGA emulation and HSpice simulation on the same circuit are tested.There is no significant difference between these two simulations.However,in terms of time consumption,the WDF-FPGA emulation has an advantage over the other.Our experiment also demonstrates that the optimized WDF-FPGA emulation has an acceptable accuracy and feasibility.

A Large-Scale NFV-Based Emulation Platform for Smart Identifier Network

Network emulation is significant because of its ability to study network architecture running on real operating system and thewhole protocol stack. However, conservatively allocating a physical network equipment for a corresponding emulation network iscostly, scale-limited and rigid. In this paper, based on network function virtualization(NFV), we present a large-scale emulationplatform for the Smart Identifier Network(SINET). We pool and virtualize all hardware resources by lightweight virtualization technology. Controllers and orchestrators are designed to manage emulation and collect monitored SINET emulation results. The controllers are used to implement dynamically synchronously management for large-scale emulation network and link characteristics.The orchestrators are utilized to achieve overload avoidance and green computing with the Xiao's dynamic resource allocation algorithm. We implement flexibly programmable and dynamically configurable emulation.

Design and Implementation of a Network Performance Analysis System for Space Network Emulation Platforms

Emulation platforms are critical for evaluation and verification in the research of networking technologies and protocols for space networks(SN).High fidelity emulating technologies have been extensively studied for SN in earlier work,while little emphasis has been placed on the performance evaluation part.In this paper,the design of a network performance analysis architecture is presented,with which high-speed network traffic can be captured and indexed,and the performance of the emulated SN can be well analyzed and evaluated.This architecture comprises three components,namely capture layer,storage layer and analysis layer.Analytic Hierarchy Process(AHP)and several analysis methods are adopted to evaluate the network performance comprehensively.In the implementation of the proposed architecture,configuration optimization and parallel processing are applied to handle large amount of high-speed network traffic.Finally,experiment results through the analysis system exhibits the effectiveness of the proposed architecture.

Emulation of Realistic Multi-Path Propagation Channels inside an Anechoic Chamber for Antenna Diversity Measurements

As antennas are inherently included recommended in Over-The-Air (OTA) testing, it is important to also consider realistic channel models for the multiple-input multiple-output (MIMO) device performance evaluation. This paper aims to emulate realistic multi-Path propagation channels in terms of angles of arrivals (AoA) and cross-polarization ratio (XPR) with Rayleigh fading, inside an anechoic chamber, for antenna diversity measurements. In this purpose, a practical multi-probe anechoic chamber measurement system (MPAC) with 24 probe antennas (SATIMO SG24) has been used. However, the actual configuration of this system is not able to reproduce realistic channels. Therefore, a new method based on the control of the SG24 probes has been developed. At first time, this method has been validated numerically through the comparison of simulated and analytical AoA probability density distributions. At the second time, the performance of an antenna diversity system inside the SG24 has been performed in terms of the correlation coefficient and diversity gain (DG) using an antenna reference system. Simulated and measurements results have shown a good agreement.

Reliability emulation of production system on longwall face

Based on the theory of random process and the characteristic of the functioning of a system component subject to a certain specific probability distribution, emulated the whole process of system production on Iongwall face was emulated, in which the methods of time pace and computer random emulation were adopted. The paper provides an objective basis for the analysis of a mining Iongwall face and the varied lines of effectiveness, machine stoppage rate and coal flow of components and system, and output etc.lt also offers some theories to improve productivity by discussing the application of the transformation plan and optimization of reasonable coal stock capacity, as well as selection of system equipment and matching optimization.

Study on the Technology of Spacecraft Dynamic Simulation and Emulation

To meet the requirements and functions of spacecraft dynamic simulation and emulation according to different flight periods, the realization of real time system with different configurations, control of the development cycle and examples of application are presented in detail. On the basis of the satellite dynamic simulation technology, distributed network integrated with the component testing platforms is used to construct a multi-level bus network system. The system takes into full consideration the configuration flexibility, real time characteristics and extendibility. Test results show that both the software algorithm and the hardware integration of the system are correct and effective. The system could be used not only as the effective tool of designing and developing the components and whole assembly of satellites and missiles, but also for the dynamic simulation and emulation in all phases of a spacecraft development cycle.

Emulation Technology BGA芯片组散热器

Emulation Technology公司推出其椭圆鳍片BGA芯片组散热器。这些散热器用于减轻采用更新BGA和其他SMT封装芯片组的发热问题，这些封装可提高芯片速度同时也增加了功率要求。椭圆鳍片设计在使用多散热器、气流较小的环境中尤为有效。大鳍片和更低压降特性确保了最佳冷却性能。该散热器使用可拆卸夹子以方便贴附到芯片组上，无需变形或附件。

Emulation Technology连接器

Emulation Technology（ET）扩大了板到板互连产品生产线，PC／104嵌入式联盟已认可其产品。该产品为标准装配过程提供压和及焊接阵列模式，同时还有所有连接器的标准焊接模式。此外，还具备堆叠嵌入、非堆叠嵌入、合并64＋40引脚PC／104连接器、end—of—stack头、挡板、活动盖板，装配硬件以及工具。

Vector Control of Three-Phase Solar Farm Converters Based on Fictive-Axis Emulation

In this paper,a new method for adjusting the current of three-phase voltage source DC-AC converter in orthogonal(DQ)reference frame is presented.In the DQ reference system,AC variable appears in the constant form of DC,making the controller design the same as the DC-DC converter[1].It provides controllable gain benefits at the steady-state operating point,and finally realizes zero steady-state error[2].In addition,the creative analytical model is dedicated to building up a series of virtual quantities orthogonal to the actual single-phase system.In general,orthogonal imaginary numbers get the reference signal by delaying the real quantity by a quarter period.However,the introduction of such time delay makes the dynamic response of the system worse.In this paper,orthogonal quantities are generated from a virtual axis system parallel to the real axis,which can effectively improve the dynamic performance of traditional methods without increasing the complexity of controller structure.Through PSCAD simulation,the ideal experimental results are obtained.