基于ARINC429接口板的嵌入式底层软件测试平台设计

为满足底层软件的使用需求及减少其存在覆盖率低、消耗成本大、丢包率高、数据采集频率小等问题,提出并设计了基于ARINC429接口板的嵌入式底层软件测试平台。根据ARINC429接口板的结构框图能够设计出嵌入式底层软件测试平台,针对用户安全登录问题,设计了平台登录验证功能;通过对嵌入式底层软件运行信息显示,能够实时对软件运行状态进行监测,进而为数据采集与查询提供支持;设计工具链作为代码编译开发和结构测试工具;通过数据采集、处理、传输来完善软件测试平台的覆盖率。通过实验对比分析可知,该测试平台能够提高测试覆盖率,降低丢包率,促使数据采集频率大大增强,为软件测试平台的安全有效运行提供了保障。     

OVL断言验证库的ARINC429通讯板卡设计验证

针对由设计复杂程度不断增加造成的功能验证困难的问题,提出了OVL在ARINC429通讯板卡设计验证中的使用方法.介绍了断言开放式验证库OVL及OVL断言监视器的结构、功能、分类及参数,在此基础上设计了符合航空运输工业标准的ARINC429通讯板卡,并提出了一种新的对ARINC429通讯板卡设计时序的验证方法.实验结果表明了OVL断言验证方法在设计验证中的可行性,降低了设计验证的复杂度,增加了验证覆盖率,提高了验证效率.     

基于FPGA IP核的AFDX与ARINC429总线转换接口设计

航空电子全双工交换式以太网(AFDX)是下一代航电系统的主干连接网,ARINC429是一种在航空电子系统领域中较成熟的总线标准,在某些分系统内仍然被采用;如何实现这两种总线的转换是目前航电系统的关键技术之一;利用设计的AFDX 协议和ARINC429 协议的IP核,完成了两种总线协议的相互转换;从AFDX数据帧中解析出429数据字,或者将429数据字添加到AFDF协议各层首部组成AFDX帧;通过Modelsim SE的RTL级的仿真和FPGA的实物测试,结果表明AFDX协议帧和ARINC429数据字可以相互转换,验证了IP核及总线转换接口设计的正确性。     

ARINC429总线IP核设计及应用

介绍一种基于EDA技术实现ARINC429总线IP核的设计方法,并给出了在FPGA上的实现结果,以及该IP核在以PCI总线为主机接口的测试系统中的应用。与传统专用芯片相比,该IP核增加了单次或循环发送功能、深度触发主机中断接收,并可实现接收发送通道的多路扩展。经测试及实际应用证明该IP核功能设计高效合理,工作稳定可靠。     

基于FPGA的多通道ARINC429总线测试系统

ARINC429是一种可靠性高、抗干扰能力强的航空通信总线,在航空工业领域得到了非常广泛的应用。提出了一种基于FPGA以及总线接口芯片的系统应用方案,设计了一款多通道、用于ARINC429总线接口的测试系统,意在实现具备ARINC429总线设备的自动化测试并提高测试效率。着重阐述了系统的架构设计、FPGA的逻辑设计、总线接口芯片的硬件设计以及时序的分析与设计,最后对接口芯片的时序、ARINC429总线的信号质量、系统功能进行了验证与测试。经测试,系统进行多通道收发时数据可靠,在不同速率下通信稳定。     

基于FPGA的ARINC429总线嵌入式接口板的设计与实现

提出了在一块芯片内实现ARINC429总线协议,并将USB、PCI两种接口结合在一块接口板上的新构想;并根据板卡的功能和技术指标要求,设计了基于FPGA的ARINC429总线接口板;在硬件设计上采用模块化方法设计了系统的硬件电路,分析了各部分的功能,并对硬件接口进行了详细的设计;软件设计上从硬件和软件两方面论述了NIOSⅡ处理器的设计,从总体设计、发送通道、接收通道、接口逻辑等方面设计与实现了多通道总线协议IP核;最后对板卡的功能进行测试,结果表明设计的接口板能够达到ARINC429数据通信的要求,能够克服专用芯片中的数据格式固定,使用不够灵活方便等缺点。     

通用串行接口IP核的功能验证

通用串行接口由于传输稳定,抗干扰性强等优点,被广泛应用于各种系统中,但其功能验证却是一项复杂而重要的工作。基于e语言,并针对IP核验证的可重用要求,主要介绍了通用串行接口IP核的功能验证方法及流程,提出了基于参考模型和功能覆盖率的验证方法,并在参考模型的基础之上,实现了能对仿真结果自我检测的自动化验证平台。     

IP可重用的AMBA AXI总线验证平台设计与实现

总线结构和互联是SoC设计的核心,因此基于总线的验证成为SoC功能验证的重点和难点.针对AMBA AXI总线的特点以及验证平台可重用性的要求,提出了一种基于IP可重用的,层次化的AMBA AXI总线协议的验证架构,并给出了该架构下激励生成、自检测及覆盖率分析机制.实验结果表明,该架构适用于各种基于AXI总线结构的IP和SoC的验证,能达到较理想的覆盖率,并且具有很好的收敛性.     

基于SOPC的LXI总线1553B及ARINC429通信模块设计

基于LXI总线的1553B及ARINC429通信模块的开发需求,提出了系统软、硬件设计方案;硬件设计使用SOPC Builder将IP核、接口、微处理器等集成到FPGA芯片上,设计了模块的以太网接口、1553B接口和ARINC429接口;构建了系统软件结构,编写了驱动程序,实现了基于μC/OSⅡ和LwIP协议的TCP/IP协议,从而实现了1553B及ARINC429总线的通信协议;最终实现了LXI总线的1553B及ARINC429通信模块。     

基于以太网的ARINC429总线高速接口板的设计

ARINC429总线规范,是专为航空电子系统通信规定的航空工业标准,大多数的ARINC429总线计算机测试系统,都采用PCI总线实现计算机与ARINC429总线接口的连接,使用灵活性差;本文采用32位微控制器MC68332和16位的DSP(TMS320LF2407),以及TCP/IP协议,设计了一种基于以太网的ARINC429总线接口板;给出了系统的整体构成及原理,重点阐述了以太网接口与ARINC429总线接口的软硬件设计及实现。试验表明该接口板数据传输稳定,具有应用灵活、易于扩展等优点,在ARINC429总线的测试方面具有广阔的应用前景。     

Only connect: teaching, technology and telesis

Abstract This paper describes an approach to the design of interactive multimedia materials being developed in a European Community project. The developmental process is seen as a dialogue between technologists and teachers. This dialogue is often problematic because of the differences in training, experience and culture between them. Conditions needed for fruitful dialogue are described and the generic model for learning design used in the project is explained.     

European Community policy and the market

Abstract This paper starts with some reflections on the policy considerations and priorities which are shaping European Commission (EC) research programmes. Then it attempts to position the current projects which seek to capitalise on information and communications technologies for learning in relation to these priorities and the apparent realities of the marketplace. It concludes that while there are grounds to be optimistic about the contribution EC programmes can make to the efficiency and standard of education and training, they are still too technology driven.     

一种自适应子融合集成多分类器方法

融合集成方法已经广泛应用在模式识别领域,然而一些基分类器实时性能稳定性较差,导致多分类器融合性能差,针对上述问题本文提出了一种新的基于多分类器的子融合集成分类器系统。该方法考虑在度量层融合层次之上通过对各类基多分类器进行动态选择,票数最多的类别作为融合系统中对特征向量识别的类别,构成一种新的自适应子融合集成分类器方法。实验表明,该方法比传统的分类器以及分类融合方法识别准确率明显更高,具有更好的鲁棒性。     

煤矿井下安全监控分站的设计及其仿真实现

为了设计一种具有低成本、低功耗、易操作、功能强且可靠性高的煤矿井下安全分站,针对煤矿安全生产实际,文章提出了采用MCS-51系列单片机为核心、具有CAN总线通信接口的煤矿井下安全监控分站的设计方案;首先给出煤矿井下安全监控分站的整体构架设计,然后着重阐述模拟量输入信号处理系统的设计过程,最后说明单片机最小系统及其键盘、显示、报警、通信等各个组成部分的设计;为验证设计方案的可行性与有效性,使用Proteus软件对设计内容进行仿真验证,设计的煤矿井下安全监控分站具有瓦斯、温度等模拟量参数超标报警功能和电机开停、风门开闭等开关量指示功能;仿真结果表明:设计的煤矿井下安全监控分站具有一定的实际应用价值.     

Avoiding semantic and temporal gaps in developing software intensive systems

Development of software intensive systems (systems) in practice involves a series of self-contained phases for the lifecycle of a system. Semantic and temporal gaps, which occur among phases and among developer disciplines within and across phases, hinder the ongoing development of a system because of the interdependencies among phases and among disciplines. Such gaps are magnified among systems that are developed at different times by different development teams, which may limit reuse of artifacts of systems development and interoperability among the systems. This article discusses such gaps and a systems development process for avoiding them.     

Designing economic np control charts: A programmed simulation approach

This paper presents control charts models and the necessary simulation software for the location of economic values of the control parameters. The simulation program is written in FORTRAN, requires only 10K of main storage, and can run on most mini and micro computers. Two models are presented - one describes the process when it is operating at full capacity and the other when the process is operating under capacity. The models allow the product quality to deteriorate to a further level before an existing out-of-control state is detected, and they can also be used in situations where no prior knowledge exists of the out-of-control causes and the resulting proportion defectives.     

The development of robot art

Going through a few examples of robot artists who are recognized worldwide, we try to analyze the deepest meaning of what is called “robot art” and the related art field definition. We also try to highlight its well-marked borders, such as kinetic sculptures, kinetic art, cyber art, and cyberpunk. A brief excursion into the importance of the context, the message, and its semiotics is also provided, case by case, together with a few hints on the history of this discipline in the light of an artistic perspective. Therefore, the aim of this article is to try to summarize the main characteristics that might classify robot art as a unique and innovative discipline, and to track down some of the principles by which a robotic artifact can or cannot be considered an art piece in terms of social, cultural, and strictly artistic interest. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

Explanation and prediction: an architecture for default and abductive reasoning

Although there are many arguments that logic is an appropriate tool for artificial intelligence, there has been a perceived problem with the monotonicity of classical logic. This paper elaborates on the idea that reasoning should be viewed as theory formation where logic tells us the consequences of our assumptions. The two activities of predicting what is expected to be true and explaining observations are considered in a simple theory formation framework. Properties of each activity are discussed, along with a number of proposals as to what should be predicted or accepted as reasonable explanations. An architecture is proposed to combine explanation and prediction into one coherent framework. Algorithms used to implement the system as well as examples from a running implementation are given.     

View-based model-driven architecture for enhancing maintainability of data access services

In modern service-oriented architectures, database access is done by a special type of services, the so-called data access services (DAS). Though, particularly in data-intensive applications, using and developing DAS are very common today, the link between the DAS and their implementation, e.g. a layer of data access objects (DAOs) encapsulating the database queries, still is not sufficiently elaborated, yet. As a result, as the number of DAS grows, finding the desired DAS for reuse and/or associated documentation can become an impossible task. In this paper we focus on bridging this gap between the DAS and their implementation by presenting a view-based, model-driven data access architecture (VMDA) managing models of the DAS, DAOs and database queries in a queryable manner. Our models support tailored views of different stakeholders and are scalable with all types of DAS implementations. In this paper we show that our view-based and model driven architecture approach can enhance software development productivity and maintainability by improving DAS documentation. Moreover, our VMDA opens a wide range of applications such as evaluating DAS usage for DAS performance optimization. Furthermore, we provide tool support and illustrate the applicability of our VMDA in a large-scale case study. Finally, we quantitatively prove that our approach performs with acceptable response times.     

A pragmatic multi-method investigation of discrepant technological events: Coping,attributions, and ‘accidental’ learning

Discrepant technological events or situations that entail a problem, a misunderstanding or a difficulty with the Information Technology (IT) being employed, are common in the workplace, and can lead to frustration and avoidance behaviors. Little is known, however, about how individuals cope with these events. This paper examines these events by using a multi-method pragmatic approach informed by coping theory. The results of two studies – a critical incident study and an experiment – serve to build and test, respectively, a theoretical model that posits that individuals use a variety of strategies when dealing with these events: they experience negative emotions, make external attributions, and adopt engagement coping strategies directed at solving the event, eventually switching to a disengagement coping strategy when they feel they have no control over the situation. Furthermore, users’ efforts may result in ‘accidental’ learning as they try to overcome the discrepant IT events through engagement coping. The paper ends with a discussion of the results in light of existing literature, future opportunities for research, and implications for practice.