An Empirical Study on Views of Importance of Change Impact Analysis Issues

Change impact analysis is a change management activity that previously has been studied much from a technical perspective. For example, much work focuses on methods for determining the impact of a change. In this paper, we present results from a study on the role of impact analysis in the change management process. In the study, impact analysis issues were prioritised with respect to criticality by software professionals from an organisational perspective and a self-perspective. The software professionals belonged to three organisational levels: operative, tactical and strategic. Qualitative and statistical analyses with respect to differences between perspectives as well as levels are presented. The results show that important issues for a particular level are tightly related to how the level is defined. Similarly, issues important from an organisational perspective are more holistic than those important from a self-perspective. However, our data indicate that the self-perspective colours the organisational perspective, meaning that personal opinions and attitudes cannot easily be disregarded. In comparing the perspectives and the levels, we visualise the differences in a way that allow us to discuss two classes of issues: high-priority and medium-priority. The most important issues from this point of view concern fundamental aspects of impact analysis and its execution.     

A knowledge-based approach to manage information systems interoperability

Interoperability is a key property of enterprise applications, which is hard to achieve due to the large number of interoperating components and semantic heterogeneity. The inherent complexity of interoperability problems implies that there exists no silver bullet to solve them. Rather, the knowledge about how to solve wicked interoperability problems is hidden in the application cases that expose those problems. The paper addresses the question of how to organise and use method knowledge to resolve interoperability problems. We propose the structure of a knowledge-based system that can deliver situation-specific solutions, called method chunks. Situational Method Engineering promotes modularisation and formalisation of method knowledge in the form of reusable method chunks, which can be combined to compose a situation-specific method. The method chunks are stored in a method chunk repository. In order to cater for management and retrieval, we introduce an Interoperability Classification Framework, which is used to classify and tag method chunks and to assess the project situation in which they are to be used. The classification framework incorporates technical as well as business and organisational aspects of interoperability. This is an important feature as interoperability problems typically are multifaceted spanning multiple aspects. We have applied the approach to analyse an industry case from the insurance sector to identify and classify a set of method chunks.     

Behaviourally constrained contact force optimization

In this paper, the problem of optimizing the contact force distribution between a rigid obstacle and an elastic discrete body is considered. The initial distances between the bodies are taken as design variables and the equilibrium total potential energy as the cost function.A standard result is now that if an isoperimetric design constraint prescribing the gap volume is included, the resulting distribution of contact forces is constant; a desirable property. This article includes an investigation of the outcome when the design constraint is interchanged with general behavioural constraints on the contact forces.Special cases are considered: on one hand, if the sum of all contact forces is prescribed, constant interference is a result, and on the other hand, if the value of each contact force is bounded, the optimization gives constant contact forces.     

The mitigation hierarchy upside down – a study of nature protection measures in Danish infrastructure projects

This paper presents a Danish study of mitigation directed at nature protection in environmental impact assessment (EIA) of infrastructure projects. The study is based on a document analysis of EIA reports, a workshop held with EIA professionals, and a study of two cases. The paper takes a point of departure in the mitigation hierarchy as a central conceptual framework, identifies which mitigation measures have been suggested in the EIA reports, and compares this to the mitigation hierarchy. Further, the paper explores the dynamics behind which mitigation measures are chosen and later implemented. The findings point to a discrepancy between the prevention principle embedded in the mitigation hierarchy and the actual EIA practice with increased use of nature compensation. Further, the research reveals significant variation in the design of mitigation measures, e.g. in the level of detail used in describing them and the level of clarity as to aims and actions.     

Integrated cost/weight optimization of aircraft structures

A methodology for a combined cost/weight optimization of aircraft components is proposed. The objective function is formed by a simplified form of direct operating cost, i.e. by a weighted sum of the manufacturing cost and the component weight. Hence, the structural engineer can perform the evaluation of a design solution based on economical values rather than pure cost or weight targets. The parameter that governs the balance between manufacturing cost and weight is called weight penalty and incorporates the effect of fuel burn, environmental impact or contractual penalties due to overweight. Unlike previous work, the analytical cost model and structural models are replaced by commercially available software packages that allow a more realistic model of the manufacturing costs; further, arbitrary constraints for the structural analysis can be implemented. By means of parametric studies it is shown that the design solution strongly depends on the magnitude of the weight penalty.     

Word level bitwidth reduction for unbounded hardware model checking

In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that allows us to check both bounded and unbounded properties using standard bit-level model checking methods as back-end decision procedures, while incurring minimum runtime penalties for designs that are unsuited to our analysis. We do this by combining modifications of several previously known techniques into a static abstraction algorithm which is guaranteed to produce bit-level netlists that are as small or smaller than the original bitblasted designs. We evaluate our algorithm on several challenging hardware components.     

A quantitative analysis of the unit verification perspective on fault distributions in complex software systems: an operational replication

Unit verification, including software inspections and unit tests, is usually the first code verification phase in the software development process. However, principles of unit verification are weakly explored, mostly due to the lack of data, since unit verification data are rarely systematically collected and only a few studies have been published with such data from industry. Therefore, we explore the theory of fault distributions, originating in the quantitative analysis by Fenton and Ohlsson, in the weakly explored context of unit verification in large-scale software development. We conduct a quantitative case study on a sequence of four development projects on consecutive releases of the same complex software product line system for telecommunication exchanges. We replicate the operationalization from earlier studies, analyzed hypotheses related to the Pareto principle of fault distribution, persistence of faults, effects of module size, and quality in terms of fault densities, however, now from the perspective of unit verification. The patterns in unit verification results resemble those of later verification phases, e.g., regarding the Pareto principle, and may thus be used for prediction and planning purposes. Using unit verification results as predictors may improve the quality and efficiency of software verification.     

Spacecraft formation reconfiguration with collision avoidance

In this paper we present a behavioral control solution for reconfiguration of a spacecraft formation using the Null-Space Based (NSB) concept. The solution is task based, and aims to reconfigure and maintain a rigid formation while avoiding collisions between spacecraft. A model of relative translation is derived, together with a passivity-based sliding surface controller which globally stabilizes the equilibrium point of the closed-loop system. The NSB control method is implemented by giving each task different priorities and then calculating desired velocity and a Jacobian matrix for each spacecraft and each task. The velocity vector for each task is then projected into the null-space for higher prioritized tasks to remove conflicting velocity components. Simulation results are presented, showing that each spacecraft moves into the predefined formation without breaking any rules for the higher priority tasks, and all collisions are avoided.     

Simulation of cardiovascular system diseases by including the autonomic nervous system into a minimal model

Diagnosing cardiovascular system (CVS) diseases from clinically measured data is difficult, due to the complexity of the hemodynamic and autonomic nervous system (ANS) interactions. Physiological models could describe these interactions to enable simulation of a variety of diseases, and could be combined with parameter estimation algorithms to help clinicians diagnose CVS dysfunctions. This paper presents modifications to an existing CVS model to include a minimal physiological model of ANS activation. A minimal model is used so as to minimise the number of parameters required to specify ANS activation, enabling the effects of each parameter on hemodynamics to be easily understood. The combined CVS and ANS model is verified by simulating a variety of CVS diseases, and comparing simulation results with common physiological understanding of ANS function and the characteristic hemodynamics seen in these diseases. The model of ANS activation is required to simulate hemodynamic effects such as increased cardiac output in septic shock, elevated pulmonary artery pressure in left ventricular infarction, and elevated filling pressures in pericardial tamponade. This is the first known example of a minimal CVS model that includes a generic model of ANS activation and is shown to simulate diseases from throughout the CVS.