Capturing quality requirements of product family architecture

Software quality is one of the major issues with software intensive systems. Moreover, quality is a critical success factor in software product families exploiting shared architecture and common components in a set of products. Our contribution is the QRF (Quality Requirements of a software Family) method, which explicitly focuses on how quality requirements have to be defined, represented and transformed to architectural models. The method has been applied to two experiments; one in a laboratory environment and the other in industry. The use of the QRF method is exemplified by the Distribution Service Platform (DiSeP), the laboratory experiment. The lessons learned are also based on our experiences of applying the method in industrial settings.     

Meat molecular traceability: How to choose the best set of microsatellites?

To set up routine assays for molecular meat traceability along the food chain, the availability of a simple and low cost test for the identification of cattle carcasses is required. For this purpose, we evaluated 13 microsatellites for their ability in the identification of animals belonging to four Italian cattle breeds. Here we propose a criterion for a microsatellite-based test with the best reliability when reducing the number of loci to be analysed. The method is based on the observation that in the same loci breeds can show differences in frequencies and number of fixed alleles. This non-uniform distribution of alleles between breeds results in differences in the informative content of the same loci in different breeds. Taking into account these differences, it is possible to perform tests for the allocation of samples to specific animals utilizing a small number of microsatellites. The proposed approach allows cost reduction and ease in performing the analyses.     

IVECO车身视觉检测系统现场溯源研究

汽车车身视觉检测系统是大型、专用的车身总成三维尺寸自动化检测设备,系统组成复杂,测量误差难以确定。本以南京ＩＶＥＣＯ车身视觉检测系统为背景,提出了一种现场溯源技术,解决了测量结果不确定度的溯源问题。     

The new method of traceability of a force-balanced piston gauge used as primary vacuum standard

The force-balanced piston gauge is a primary vacuum standard developed in the 1990s. The general principle of the instrument was first presented in Ooiwa A (Metrologia 30 (1994) 607). Non-rotating piston is connected to an electronic dynamometer and centered by means of transient gas flow in a double tapered gap between piston and cylinder. More details about it can be found in Delajoud, Girard(NCSL International Workshop and Symposium 2002; Vakuum Forschung Praxis 15 (2003) 24) and Tesar, Prazak(Vacuum 67 (2002) 307).Czech Metrology Institute developed its own method of the primary traceability of this instrument through the determination of its effective area. In this paper, there will be described experimental setup of this comparison as well as the experimental results from the traceability calibrations of the effective area in gauge and absolute mode using experimental method of hydrostatic comparison with the classical rotating piston balances and a digital non-rotating piston balance. It will, of course, include the uncertainty budget of this way of traceability and the final uncertainty of the pressure generation of the instrument.     

A trace metamodel proposal based on the model driven architecture framework for the traceability of user requirements in data warehouses

The complexity of the data warehouse (DW) development process requires to follow a methodological approach in order to be successful. A widely accepted approach for this development is the hybrid one, in which requirements and data sources must be accommodated to a new DW model. The main problem is that we lose the relationships between requirements, elements in the multidimensional (MD) conceptual models and data sources in the process, since no traceability is explicitly specified. Therefore, this hurts requirements validation capability and increases the complexity of Extraction, Transformation and Loading processes. In this paper, we propose a novel trace metamodel for DWs and focus on the relationships between requirements and MD conceptual models. We propose a set of Query/View/Transformation rules to include traceability in DWs in an automatic way, allowing us to obtain a MD conceptual model of the DW, as well as a trace model. Therefore, we are able to trace every requirement to the MD elements, further increasing user satisfaction. Finally, we show the implementation in our Lucentia BI tool.     

基于物联网的猪肉产品质量安全监管与溯源系统

我国是猪肉产品生产与消费大国。在分析了影响我国猪肉产品质量安全的主要因素之后,针对猪肉产品质量安全监管技术落后、方法单一、信息化水平低、效果差等问题,设计并实现了基于物联网技术和RFID技术的猪肉产品质量安全监管与溯源系统。首先阐述了系统的功能设计,接着介绍了系统网络架构设计与软件架构设计,然后讨论了猪肉产品追溯编码体系设计。在佛山中南农产品交易中心的应用结果表明,该系统能有效提高猪肉产品质量安全监管的成效。     

DRAMA: A framework for domain requirements analysis and modeling architectures in software product lines

One of the benefits of software product line approach is to improve time-to-market. The changes in market needs cause software requirements to be flexible in product lines. Whenever software requirements are changed, software architecture should be evolved to correspond with them. Therefore, domain architecture should be designed based on domain requirements. It is essential that there is traceability between requirements and architecture, and that the structure of architecture is derived from quality requirements. The purpose of this paper is to provide a framework for modeling domain architecture based on domain requirements within product lines. In particular, we focus on the traceable relationship between requirements and architectural structures. Our framework consists of processes, methods, and a supporting tool. It uses four basic concepts, namely, goal based domain requirements analysis, Analytical Hierarchy Process, Matrix technique, and architecture styles. Our approach is illustrated using HIS (Home Integration System) product line. Finally, industrial examples are used to validate DRAMA.     

VANET中基于无证书环签密的可认证隐私保护方案

针对车载自组织网络(Vehicular ad-hoc Network,VANET)中车辆用户隐私信息保护和通信消息传输安全的问题,提出了一种可认证的无证书环签密方案。车辆通过可信机构生成的伪身份通信,有且仅有可信机构可以根据车辆节点的原始注册信息和追踪密钥确定消息发送车辆的真实身份,保证了通信的匿名性和对恶意车辆身份的可追踪性;消息发送车辆和接收车辆基于所构建的可认证环签密模型分别执行签密和解签密算法,实现了签密车辆身份和所发送消息的可认证;在随机预言模型下证明了所提方案具有机密性和不可伪造性。将所提的隐私保护方案与现有的VANET隐私保护方案进行安全性能的比较,证明了所提方案的机密性、可认证性和可追踪性等安全性较完善。通过列表比较了所提方案中环签密和解签密算法中各项运算的数量。将两种算法中双线性运算和标量乘运算的开销之和作为所提方案的计算开销,列表并进行数值分析。仿真实验基于Intel I7、3.07 GHz的硬件平台和MATLAB软件。结果表明,所提方案的计算开销远小于其余3个方案。当车辆数量增大到适用范围的上限100时,所提方案的计算开销仍小于150 ms。因此,该隐私保护方案满足了安全性和即时通信的要求,尤其适用于城市交通系统。     

P2P网络模式下测量设备溯源系统设计

本文介绍一种P2P网络结构下的分布式测量设备溯源管理系统的设计。围绕P2P网络架构的特点,分析了采用P2P结构设计本系统的主要原则和在小型分布式应用系统的实现技术。通过系统的开发实践,解决了P2P集中式架构下的节点通信、信息同步和任务协同等技术问题。实验证明,P2P网络结构下的分布式溯源管理系统较好的满足了一般企事业单位的业务需要。     

基于PML结构文件的MapReduce算法优化*

针对目前物联网和云计算技术结合后,物联网RFID产生的小型数据致使云计算中MapReduce算法产生运算瓶颈问题进行了研究。运用PML和EPC编码技术保证了数据存储的完整,采用快速排序和改进XGrind压缩技术对于MapReduce算法进行优化。由实验获得,优化后MapReduce算法减小64%的I/O吞吐和45%的CPU耗用,同时使查询数据效率提高75%,可改善查询物联网获取的海量信息的效能。最终通过对云计算下MapReduce算法的优化,为云计算下的物联网追溯平台数据高效使用提供了技术支撑。