A Simplified-Syntax-Based Static Structure Model for Embedded Software Analysis

In order to solve the problem that the embedded software has the shortcoming of the platform dependence, this paper presents an embedded software analysis method based on the static structure model. Before control flow and data flow analysis, a lexical analysis/syntax analysis method with simplified grammar and sentence depth is designed to analyze the embedded software. The experiments use the open source code of smart meters as a case, and the artificial faults as the test objects, repeating 30 times. Compared with the popular static analyzing tools PC-Lint and Splint, the method can accurately orient 91% faults, which is between PC-Lint＇s 95% and Splint＇s 85%. The result indicates that the correct rate of our method is acceptable. Meanwhile, by removing the platform-dependent operation with simplified syntax analysis, our method is independent of development environment. It also shows that the method is applicable to the compiled C（including embedded software） program.

A Methodology for Development of Software Composite-Metrics for Program Control-Flow Structure

This paper reports on a pioneer effort for the establishment of a software composite metric with key capability of distinguishing among different structures. As a part of this effort most of the previously proposed program control-flow complexity metrics are evaluated. It is observed that most of these metrics are inherently limited in distinguishing capability. However, the concept of composite metrics is potentially useful for the development of a practical metrics. This paper presents a methodology for the develop- ment of a practical composite metric using statistical techniques. The proposed metric differs from all previous metrics in 2 ways: (1) It is based on an overall structural analysis of a given program in deeper and broader context. It captures various structural measurements taken from all existing structural levels; (2) It unifies a set of 19 important structural metrics. The compositing model of these metrics is based on statistical techniques rather than on an arbitrary method. Experinces with the pro- posed metric clearly indicate that it distinguishes different structures better than the previous metrics.

Modeling considerations in seismic assessment of RC bridges using state-of-practice structural analysis software tools

The increasing awareness of the general society toward the seismic safety of structures has led to more restrictive performance requirements hence, many times, to the need of using new and more accurate methods of analysis of structures. Among these, nonlinear static procedures are becoming, evermore, the preferred choice of the majority of design codes, as an alternative to complete nonlinear time-history analysis for seismic design and assessment of structures. The many available software tools should therefore be evaluated and well understood, in order to be easily and soundly employed by the practitioners. The study presented herein intends to contribute to this need by providing further insight with respect to the use of commonly employed structural analysis software tools in nonlinear analysis of bridge structures. A comparison between different nonlinear modeling assumptions is presented, together with the comparison with real experimental results. Furthermore, alternative adaptive pushover procedures are proposed and applied to a case study bridge, based on a generic plastic hinge model. The adopted structural analysis program proved to be accurate, yielding reliable estimates, both in terms of local plastic hinge behavior and global structural behavior.

Software System Evolution Analysis Method Based on Algebraic Topology

The analysis of software system evolution is highly significant in software research as the evolution runs throughout the lifecycle of a software system. Considering a software system as an algebraic engineering system, we propose a software system evolution analysis method based on algebraic topology. First, from a complex network perspective, we abstract a software system into the software structural topology diagram. Then, based on the algebraic topology principle, we abstract each node in the software structural topology diagram into an algebraic component represented by a 6-tuple. We propose three kinds of operation relationships between two algebraic components, so that the software system can be abstracted into an algebraic expression of components. In addition, we propose three forms of software system evolution, which help to analyze the structure and evolution of system software and facilitate its maintenance and reconfiguration.

Design and implementation of five-axis transformation function in CNC system

To implement five-axis functions in CNC system, based on domestic system Lan Tian series, an improved design method for the system software structure is proposed in this paper. The numerical control kernel of CNC system is divided into the task layer and the motion layer. A five-axis transformation unit is integrated into the motion layer. After classifying five-axis machines into different types and analyzing their geometry information, the five-axis kinematic library is designed according to the abstract factory pattern. Furthermore, by taking CA spindle- tilting machine as an example, the forward and the inverse kinematic transformations are deduced. Based on the new software architecture and the five-axis kinematic library, algorithms of RTCP （rotation tool center point control） and 3D radius compensation for end-milling are designed and realized. The milling results show that, with five-axis functions based on such software struc- ture, the instructions with respect to the cutter＇s position and orientation can be directly carried out in the CNC system.