Multi-objective decision-making methodology to create an optimal design chain partner combination

In today’s highly competitive business environment, many companies adopt the time-to-market strategy to obtain a competitive advantage. To reduce the time and cost of product development and to employ global product development resources, design chain partner evaluation and selection has become a crucial issue. Thus, establishing an optimal design chain partner combination has received significant attention because it has a far-reaching effect on the results of product development. With this perspective, this paper develops an integrated decision-making methodology to assist enterprises as they create an optimal design chain partner combination. First, this study establishes the framework and evaluation models of the criteria for the different roles of design chain partners, including system integration, functional module development and software and component development. Then, this paper applies a weight-restricted DEA (data envelopment analysis) approach to create the models for performance analysis of design chain partners to acquire the performance value of each candidate and select the efficient design chain partners. Moreover, this paper employs the multi-objective performance evaluation model proposed in this paper to analyze the synthesized performance of design chain combinations. Moreover, this research uses a multi-objective genetic algorithm (GA) to search efficiently for the optimal design chain partner combination to minimize product development cost and time and maximize product reliability. Finally, this study employs a derivative new product development project for a digital TV box as a case study to illustrate the efficacy of the proposed methodology.     

Integral: Petri-net approach to distributed software development

As the architecture of modern software systems continues to evolve in a distributed fashion, the development of such systems becomes increasingly complex, which requires the integration of more sophisticated specification techniques, tools, and procedures into the conventional methodology. An essential capability of an integrated software development environment is a formal specification method to capture effectively the system's functional requirements as well as its performance requirements. A validation and verification (V&V) system based on a formal specification method is of paramount importance to the development and maintenance of distributed systems.

There has been recent interest in integrating software techniques and tools at the specification level. It is also noted that an effective way of achieving such integration is by using wide-spectrum specification techniques. In view of these points, an integrated V&V system, called Integral, is presented that provides comprehensive and homogeneous analysis capabilities to both specification and testing phases of the life-cycle of distributed software systems. The underlying software model that supports various V&V activities in Integral is primarily based on Petri nets and is intended to be wide spectrum. The ultimate goal of this research is to demonstrate to the software industry, domestic or foreign, the availability and applicability of a new Petri-net-based software development paradigm. Integral is a prototype V&V system to support such a paradigm.     

A PDES/STEP-based model and system for concurrent integrated design and assembly planning

Product data exchange and interfacing between different CAD/CAM systems are of great importance to the development of concurrent integrated design environments and computer integrated manufacturing systems. This paper presents a STEP-based method and system for concurrent integrated design and assembly planning. An integrated object model for mechanical systems and assemblies is first defined by a hierarchy of structure, geometry and feature. The structure is represented as a component-connector or joint multi-level graph with both hierarchical functional and assembly relations. These hierarchical relation models are then used for uniformly describing their causal relations both for assembly level and feature based single part level. The generic product assembly model is organized according to STEP, using mostly the entities of integrated resources and partly self-defined entities, which are necessary for design and assembly planning. Based on the generic product assembly model, STEP-based strategies and agent concepts are used for agent-based concurrent integration of design and assembly planning. A prototype system, consisting of a CAD system, a product modeling system, an assembly planning system, and an assembly evaluation system is developed, in which product data can be exchanged between these subsystems. Details about the implementation of the system are addressed. The integrated design and assembly planning system can support the introduction of a new product. The results of assembly planning are feedback to the stage of assembly design to improve on the design. A case study is carried out for assembly-oriented design of a gearbox, to illustrate the proposed approach and to validate the developed system.     

Feature-Oriented Nonfunctional Requirement Analysis for Software Product Line

Domain analysis in software product line (SPL) development provides a basis for core assets design and implementation by a systematic and comprehensive commonality/variability analysis. In feature-oriented SPL methods, products of the domain analysis are domain feature models and corresponding feature decision models to facilitate application-oriented customization. As in requirement analysis for a single system, the domain analysis in the SPL development should consider both functional and nonfunctional domain requirements. However, the nonfunctional requirements (NFRs) are often neglected in the existing domain analysis methods. In this paper, we propose a context-based method of the NFR analysis for the SPL development. In the method, NFRs are materialized by connecting nonfunctional goals with real-world context, thus NFR elicitation and variability analysis can be performed by context analysis for the whole domain with the assistance of NFR templates and NFR graphs. After the variability analysis, our method integrates both functional and nonfunctional perspectives by incorporating the nonfunctional goals and operationalizations into an initial functional feature model. NFR-related constraints are also elicited and integrated. Finally, a decision model with both functional and nonfunctional perspectives is constructed to facilitate application-oriented feature model customization. A computer-aided grading system (CAGS) product line is employed to demonstrate the method throughout the paper. This work is supported by the National Natural Science Foundation of China under Grant Nos. 60703092 and 90818009, the National High Technology Research and Development 863 Program of China under Grant No. 2007AA01Z125.     

A study of N-version programming and its impact on software availability

N-version programming is a useful approach to improve the quality of software, especially for safety-critical systems. Positive performance in enhancing software availability is an expected result. In this paper, a software availability model for the study of the impact of N-version programming technique is proposed and investigated. The characteristics of the N-version software system and its operation and failure process are analysed. Based on this analysis, the time-dependent behaviour of the software system, which alternates between online and offline states, is described using a Markov chain. This model derives quantitative measures of software availability. Numerical examples and comparisons are also presented in this paper to directly illustrate N-version programming's positive impact on software availability measures. N-version programming generally provides a positive impact on the system. However, it does not always guarantee a higher availability performance. General recommendations are provided on N-version software structure design based on cost-effective criteria.     

产品性能计算系统集成框架及关键技术

产品设计中性能计算占重要的地位,目前其各种性能计算系统集成成为关键,以履带车辆性能计算系统集成为例,给出其实现集成框架与关键技术。采用Web Services 技术实现基于Web服务的性能计算集成系统。主要包括：服务端集成了不同语言实现的异构的性能计算软件,设计人员通过浏览器调用服务器端的性能计算服务程序。利用SOAP协议进行服务请求和传递计算结果,采用WSDL描述服务。软件应用结果表明该系统是有效的。     

Optimizing decomposition of software architecture for local recovery

The increasing size and complexity of software systems has led to an amplified number of potential failures and as such makes it harder to ensure software reliability. Since it is usually hard to prevent all the failures, fault tolerance techniques have become more important. An essential element of fault tolerance is the recovery from failures. Local recovery is an effective approach whereby only the erroneous parts of the system are recovered while the other parts remain available. For achieving local recovery, the architecture needs to be decomposed into separate units that can be recovered in isolation. Usually, there are many different alternative ways to decompose the system into recoverable units. It appears that each of these decomposition alternatives performs differently with respect to availability and performance metrics. We propose a systematic approach dedicated to optimizing the decomposition of software architecture for local recovery. The approach provides systematic guidelines to depict the design space of the possible decomposition alternatives, to reduce the design space with respect to domain and stakeholder constraints and to balance the feasible alternatives with respect to availability and performance. The approach is supported by an integrated set of tools and illustrated for the open-source MPlayer software.     

Secure System Modeling: Integrating Security Attacks with Statecharts

Software security is becoming an important concern as software applications are increasingly depending on the Internet, an untrustworthy computing environment. Vulnerabilities due to design errors, inconsistencies, incompleteness, and missing constraints in software design can be wrongly exploited by security attacks. Software functionality and security, however, are often handled separately in the development process. Software is designed with the mindset of its functionalities and cost, where the focus is mainly on the operational behavior. Security concerns, on the other hand, are often described in an imprecise way and open to subjective interpretations. This paper presents a threat driven approach that improves on the quality of software through the realization of a more secure model. The approach introduces systematic transformation rules and integration steps for integrating attack tree representations into statechart-based functional models. Through the focus on the behavior of an attack from the perspective of the system behavior, software engineers can clearly define and understand security concerns as software is designed. Security analysis and threat identification are then applied to the integrated model in order to identify and mitigate vulnerabilities at the design level.     

Setting quality targets for coming releases with QUPER: an industrial case study

Quality requirements play a critical role in driving architectural design and are an important issue in software development. Therefore, quality requirements need to be considered, specified, and quantified early during system analysis and not later in the development phase in an ad-hoc fashion. This paper presents the quality performance model that estimates quality targets in relation to market expectations as a basis for the architecting of quality requirements. The purpose of the model is to provide concepts for qualitative reasoning of quality levels in the decision-making of setting actual targets of quality requirements for coming releases of the product. The quality performance model is evaluated at one case company, using a market-driven development approach, in the electronic payment-processing domain. The results show that the model is useful for supporting early decision-making in, e.g., release planning of quality requirements.     

An integrated framework for mechatronics based product development in a fuzzy environment

New product development (NPD) is a term used to describe the complete process of bringing a new concept to a state of market readiness. Mechatronics based product requires a multidisciplinary approach for its modeling, design, development and implementation. An integrated and concurrent approach focusing on integrating the mechanical structure with basic three components namely sensors, controllers and actuators is required. This paper aims at developing a framework for a new Mechatronics product development. For conceptual design of Mechatronics system, various tools like Fuzzy Delphi Method (FDM), Fuzzy Interpretive Structural Modeling (FISM), Fuzzy Analytical Network Process (FANP) and Fuzzy Quality Function Deployment (FQFD) are used. Based on the prioritized design requirements, the functional specifications of the required components are developed. Then, Computer Aided Design and control system software are used to develop the detailed system design. Then, a prototype model is developed based on the integration of mechanical system with Sensor, Controller and Electrical units. Performance of the prototype model is monitored and Fuzzy failure mode and effect analysis (FMEA) is then used to rank the potential failures. Based on the results of fuzzy FMEA, the developed model is redesigned. The proposed framework is illustrated with a case study related to developing automatic power loom reed cleaning machine.     

综合网管系统软件测试模型的研究与实现

综合网络管理系统对稳定性、及时性要求很高.论文在功能测试、性能测试和自动化测试等方面对测试流程及重点技术进行理解,通过对综合网管系统的结构和业务进行分析以及对软件测试理论的深入研究,拟定了一套综合网管系统测试解决方案,包括系统测试模型,功能测试模型和性能测试模型,并针对回归测试提出了一个自动化测试模型.提高测试效率,保证软件质量.     

Tolerance analysis based on Monte Carlo simulation: a case of an automotive water pump design optimization

Successful products are those presenting the highest quality at a fair cost. Although different approaches can be used to define the concept of quality, functional reliability is always a major requirement, due to implications such as safety and user losses regarding maintenance expenses, and product availability. Intelligent designs are robust and result in a fair cost. Robust designs are those insensitive to sources of variation occurring during the product life, keeping their performance under variable use conditions, like thermal and stress effects. The robustness approach is a function of two main design criteria: low complexity and tolerance design. Design for manufacture and assembly is closely related to decreasing complexity. Tolerance design is a tool in which the unavoidable manufacturing variations are considered during product development. This work presents a proposal for an intelligent design in an actual application by considering design simplification through the reduction of parts for an automotive water pump. The tolerance analysis is performed by means of a powerful statistical approach—a Monte Carlo simulation—in which process behavior is randomly simulated representing a high production volume. Additionally, service thermal effects are also contemplated, and assembly tests are proposed for automatic rejection of non-conforming parts, assuring high reliability and full compliance with functional requirements. This is an example of integrated design–manufacturing work aiming at both cost saving and improved reliability.

     

甘蔗收获机械可视化虚拟设计平台的研究开发

介绍了甘蔗收获机械可视化虚拟集成设计平台研究开发的基本思路。该平台的构建通过STEP标准建立产品开发的全局共享信息模型，利用PDM软件集成和封装CAD／CAE及其它产品设计过程中用到的应用软件；平台也集成了甘蔗收获机械设计、分析和评价专家系统，专家系统采用模糊评价的方法对开发过程设计和仿真分析的结果进行评价和决策。集成平台支持甘蔗收获机械可视化虚拟产品集成化的团队设计及收获机械系列化产品开发。     

面向集成化CAE软件开发的SiPESC研发工作进展

针对我国自主CAE软件发展缓慢的事实,根据现代工程领域的科学研究和产品研发对CAE建模、分析和设计能力提出的需求,研发自主的面向CAE工程与科学计算集成化软件平台SiPESC（Software Integration Platform for Engineering and Scientific Computation...     

A model for availability analysis of distributed software/hardware systems

System availability is a major performance concern in distributed systems design and analysis. A typical kind of application on distributed systems has a homogeneously distributed software/hardware structure. That is, identical copies of distributed application software run on the same type of computers. In this paper, the system availability for this type of system is studied. Such a study is useful when studying optimal testing time or testing resource allocation. We consider both the case of simple two-host system, and also the more general case of multi-host system. A Markov model is developed and equations are derived to obtain the steady-state availability. Both software and hardware failures are considered, assuming that software faults are constantly being identified and removed upon a failure. Although a specific model for software reliability is used for illustration, the approach is a general one. Comparisons show that system availability changes in a similar way to single-host based software/hardware systems. Sensitivity analysis is also presented. In addition, the assumptions used in this paper are discussed.     

Performance Model for Market-Oriented Design of Software Products

The design of user interfaces in industrial enterprises is not an isolated task, but is inseparable from product definition and the design and functional aspects of the product concept. To be able to define and ultimately create market-oriented software products, it is necessary to utilize data from market research. This article presents a tool for analyzing such market research data, referred to as the performance model. The performance model enables market research data to be mapped into design-relevant performance categories to produce requirements profiles for various target groups. This is presented with reference to the social sciences institute (SINUS) milieu model, a lifestyle-based market segmentation model for the Federal Republic of Germany (hereinafter referred to as the SINUS milieu model), and is exemplified by the design styles preferred by the different milieus (Flaig, Meyer, & Ueltzhoffer, 1994). The most important findings are that (a) different target groups (here the SINUS milieus) make different demands on software products, (b) the application and economic performances are usually the most important to personal computer users, and (c) different milieus have very different expectations with respect to design styles. Some milieus prefer a cognitive-ergonomic design style, whereas others prefer an emotional-hedonistic design style. The derivation of the performance model, its application, and the empirical evidence demonstrated were described in detail in Degen's (1999) dissertation.     

Software performance tuning of software product family architectures: Two case studies in the real-time embedded systems domain

Software performance is an important non-functional quality attribute and software performance evaluation is an essential activity in the software development process. Especially in embedded real-time systems, software design and evaluation are driven by the needs to optimize the limited resources, to respect time deadlines and, at the same time, to produce the best experience for end-users. Software product family architectures add additional requirements to the evaluation process. In this case, the evaluation includes the analysis of the optimizations and tradeoffs for the whole products in the family. Performance evaluation of software product family architectures requires knowledge and a clear understanding of different domains: software architecture assessments, software performance and software product family architecture. We have used a scenario-driven approach to evaluate performance and dynamic memory management efficiency in one Nokia software product family architecture. In this paper we present two case studies. Furthermore, we discuss the implications and tradeoffs of software performance against evolvability and maintenability in software product family architectures.     

Optimal number of hosts in a distributed system based on cost criteria

Redundant or distributed systems are increasingly used in system design so that the required reliability and availability can be easily achieved. However, such an approach requires additional resources that can be very costly. Hence, how to design and test such a system in the most cost-effective way is of concern to the developers. A general cost model and a solution algorithm are presented for the determination of the optimal number of hosts and optimal system debugging time that minimize the total cost while achieving a certain performance objective. During testing, software faults are corrected and the reliability shows an increasing trend, and hence system reliability increases. A general system model is constructed based on a Markov process with software reliability and availability obtained from software reliability growth models. The optimization problem is formulated based on the cost criteria and the solution procedure is described. An application example is presented.     

Automated Software Quality Assurance

This paper describes a family of tools which not only supports software development, but also assures the quality of each software product from the requirements definition to the integrated system. It is based upon an explicit definition of the design objectives and includes specification verification, design evaluation, static program analysis, dynamic program analysis, integration test auditing, and configuration management.     

基于产品线N-生命周期模型的集成化软件工程环境研究

为实现软件的工业化生产,我们对日渐成熟的软件产品线体系结构、构件技术和产品线开发方法进行了分析和研究,并借鉴现代工业生产体系和自动化生产方式,提出了基于产品线体系结构的软件工程过程模型--N-生命周期模型。以此模型为基础,提出了基于产品线开发过程模型的集成化软件工程环境模型和构架,并对此环境模型和构架的实实现进行了系统的理论、技术和配置研究。文中的研究思想和成果对于基于产品线的集成化软件工程环境研究具有一定的参考和借鉴作用。