Supporting the automated generation of modular product line safety cases

Abstract The effective reuse of design assets in safety-critical Software Product Lines (SPL) would require the reuse of safety analyses of those assets in the variant contexts of certification of products derived from the SPL. This in turn requires the traceability of SPL variation across design, including variation in safety analysis and safety cases. In this paper, we propose a method and tool to support the automatic generation of modular SPL safety case architectures from the information provided by SPL feature modeling and model-based safety analysis. The Goal Structuring Notation (GSN) safety case modeling notation and its modular extensions supported by the D-Case Editor were used to implement the method in an automated tool support. The tool was used to generate a modular safety case for an automotive Hybrid Braking System SPL

Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach

Goals are first-class entities in a self-adaptive system (SAS) as they guide the self-adaptation. A SAS often operates in dynamic and partially unknown environments, which cause uncertainty that the SAS has to address to achieve its goals. Moreover, besides the environment, other classes of uncertainty have been identified. However, these various classes and their sources are not systematically addressed by current approaches throughout the life cycle of the SAS. In general, uncertainty typically makes the assurance provision of SAS goals exclusively at design time not viable. This calls for an assurance process that spans the whole life cycle of the SAS. In this work, we propose a goal-oriented assurance process that supports taming different sources (within different classes) of uncertainty from defining the goals at design time to performing self-adaptation at runtime. Based on a goal model augmented with uncertainty annotations, we automatically generate parametric symbolic formulae with parameterized uncertainties at design time using symbolic model checking. These formulae and the goal model guide the synthesis of adaptation policies by engineers. At runtime, the generated formulae are evaluated to resolve the uncertainty and to steer the self-adaptation using the policies. In this paper, we focus on reliability and cost properties, for which we evaluate our approach on the Body Sensor Network (BSN) implemented in OpenDaVINCI. The results of the validation are promising and show that our approach is able to systematically tame multiple classes of uncertainty, and that it is effective and efficient in providing assurances for the goals of self-adaptive systems

PARTICULARITIES OF QUALITY EVALUATION IN A SOFTWARE COMPANY

Quality management is a management domain very discussed and disputed nowadays and this is the first sign it is a very modern, needed and present concept in theory and practice. Some are seeing it as a solution to prepare things in the way they are needed, and the instrument which might guarantee a proper environment of keeping them in a specified and constant form. The application of quality management is a quality management system that has to be designed, developed and implemented to achieve the aim of quality. The article has the purpose to briefly present what a quality management system should mean in a software company, why it should be periodically evaluated and how it might be done. In the second part it points out the characteristics of the audit as a general evaluation instrument and the main contribution consists on the author’s endeavor to mark out the particularities of an audit process carried out on a software company, considering the fact that particularization increases the changes to easier and earlier succeed with such an activity on a practical basis.Management, quality management, software quality, quality evaluation, quality audit

Using Ontologies for the Design of Data Warehouses

Obtaining an implementation of a data warehouse is a complex task that forces designers to acquire wide knowledge of the domain, thus requiring a high level of expertise and becoming it a prone-to-fail task. Based on our experience, we have detected a set of situations we have faced up with in real-world projects in which we believe that the use of ontologies will improve several aspects of the design of data warehouses. The aim of this article is to describe several shortcomings of current data warehouse design approaches and discuss the benefit of using ontologies to overcome them. This work is a starting point for discussing the convenience of using ontologies in data warehouse design.Comment: 15 pages, 2 figure

Air Gondwana and the teaching of negotiation skills: Imagination in design and imagination in learning

The skill of negotiation is a skill that is crucial for lawyers to master. It is a skill which is now taught explicitly alongside the substantive law and a number of Australian law schools including that at the Queensland University of Technology. Methods of teaching the skill may vary but a traditional approach involves some form of instruction followed by a role play. This paper examines the author’s imaginative use of technology to create an engaging and challenging learning environment in which students will themselves be required to exercise and imagination in development of their skills

Concept document of the repository-based software engineering program: A constructive appraisal

A constructive appraisal of the Concept Document of the Repository-Based Software Engineering Program is provided. The Concept Document is designed to provide an overview of the Repository-Based Software Engineering (RBSE) Program. The Document should be brief and provide the context for reading subsequent requirements and product specifications. That is, all requirements to be developed should be traceable to the Concept Document. Applied Expertise's analysis of the Document was directed toward assuring that: (1) the Executive Summary provides a clear, concise, and comprehensive overview of the Concept (rewrite as necessary); (2) the sections of the Document make best use of the NASA 'Data Item Description' for concept documents; (3) the information contained in the Document provides a foundation for subsequent requirements; and (4) the document adequately: identifies the problem being addressed; articulates RBSE's specific role; specifies the unique aspects of the program; and identifies the nature and extent of the program's users

A supply side story for a threshold model: Endogenous growth of the free and open source community

The study of social institutions producing and disseminating knowledge has mainly concentrated on two main concepts: Science and Technology. This paper examines a recent institutional form that seems not to resemble either of the other two; that is, knowledge-intensive communities, where individuals freely exchange knowledge through information and communication technology. Using free and open source software as an example, we develop a model where this phenomenon is confronted with Technology with respect to its ability to attract researchers.