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.     

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.     

An Industrial Case Study on Distributed Prioritisation in Market-Driven Requirements Engineering for Packaged Software

When developing packaged software, which is sold ‘off-the-shelf’ on a worldwide marketplace, it is essential to collect needs and opportunities from different market segments and use this information in the prioritisation of requirements for the next software release. This paper presents an industrial case study where a distributed prioritisation process is proposed, observed and evaluated. The stakeholders in the requirements prioritisation process include marketing offices distributed around the world. A major objective of the distributed prioritisation is to gather and highlight the differences and similarities in the requirement priorities of the different market segments. The evaluation through questionnaires shows that the stakeholders found the process useful. The paper also presents novel approaches to visualise the priority distribution among stakeholders, together with measures on disagreement and satisfaction. Product management found the proposed charts valuable as decision support when selecting requirements for the next release, as they revealed unforeseen differences among stakeholder priorities. Conclusions on stakeholder tactics are provided and issues of further research are identified, including ways of addressing identified challenges.     

Industry evaluation of the Requirements Abstraction Model

Software requirements are often formulated on different levels and hence they are difficult to compare to each other. To address this issue, a model that allows for placing requirements on different levels has been developed. The model supports both abstraction and refinement of requirements, and hence requirements can both be compared with each other and to product strategies. Comparison between requirements will allow for prioritization of requirements, which in many cases is impossible if the requirements are described on different abstraction levels. Comparison to product strategies will enable early and systematic acceptance or dismissal of requirements, minimizing the risk for overloading. This paper presents an industrial evaluation of the model. It has been evaluated in two different companies, and the experiences and findings are presented. It is concluded that the requirements abstraction model provides helpful improvements to the industrial requirements engineering process.