Making Sense of Software Product Requirements

One of the most crucial tasks for a company offering a software product is to decide what new features should be implemented in the product’s forthcoming versions. Yet, existing studies show that this is also a task with which many companies are struggling. This problem has been claimed to be ambiguous and changing. There are better or worse solutions to the problem, but no optimal one. Furthermore, the criteria determining the success of the solution keeps changing due to continuously changing competition, technologies and market needs. This thesis seeks to gain a deeper understanding of the challenges that companies have reportedly faced in determining the requirements for their forthcoming product versions. To this end, product management related activities are explored in seven companies. Following grounded theory approach, the thesis conducts four iterations of data analysis, where each of the iterations goes beyond the previous one. The thesis results in a theory proposal intended to 1) describe the essential characteristics of organizations’ product management challenges, 2) explain the origins of the perceived challenges and 3) suggest strategies to alleviate the perceived challenges. The thesis concludes that current product management approaches are becoming inadequate to deal with challenges that have multiple and conflicting interpretations, different value orientations, unclear goals, contradictions and paradoxes. This inadequacy continues to increase until current beliefs and assumptions about the product management challenges are questioned and a new paradigm for dealing with the challenges is adopted.

Automation concept for an electrically excited synchronous motor: Setup and requirements specification

This bachelor’s thesis is a part of the research project realized in the summer 2011 in Lappeenranta University of Technology. The goal of the project was to create an automation concept for controlling an electrically excited synchronous motor. This thesis concentrates on the setup and requirements specification part of the concept. The setup consists of ABB AC500 as the PLC master device, DCS800 as an exciter and ACS800 as a frequency converter. The ACS800 frequency converter uses permanent magnet synchronous machine software to control the stator’s magnetic field, the DC drive handles the excitation and the AC500 PLC master controls the communication and functionality of the system. The requirements specification briefly explains the general over-view of the concept, the use and functionality of the PLC program and the requirements needed for the whole concept and the PLC program to work as intended.

The requirements of a feasible plastic packaging material for cultured dairy products

The objective of this Master´s Thesis was to conduct a wide scale preliminary survey regarding the package requirements of a cultured dairy package, and to compare the currently used material polystyrene to other suitable packaging materials. Polystyrene has a long history of use in dairy cups, but in recent years its price has increased significantly compared to other common packaging materials. The overall environmental effects of a package and a package material are today a part of designing a sustainable product life cycle. In addition, in certain contexts there has been discussion of the risks posed by styrene polymer for the environment and for humans. These risks are also discussed in this thesis. Polystyrene (PS) is still the most widely used material in dairy cups. In recent years, polypropylene (PP) cups have appeared in increasing numbers on market shelves. This study focuses on the differences of the suitable polymers and examines the suitability of alternative “suitable” polymers with regards to dairy packaging. Aside from focusing on the cup manufacturer, this thesis also examines its subject matter from the viewpoint of the dairy customer, as well as observing the concrete implications of material changes in the overall value chain. It was known in advance that material permeability would be one of the determining factors and that gas transmission testing would be a significant part of the thesis. Mechanical tests were the second part of the testing process, providing information regarding package strength and protectiveness during the package’s life cycle. Production efficiency, along with uninterrupted stable production, was another important factor that was taken into consideration. These two issues are sometimes neglected in similar contexts due to their self-evident nature. In addition, materials used in production may have a surprising significance to the production and efficiency. Consistent high quality is also partly based on material selection. All of the aforementioned factors have been documented and the results have been analyzed by the development team at Coveris Rigid Finland. Coveris is now calculating the total finance effects and capacities should the material changes be implemented in practice. There are many factors in favor of switching to polypropylene at the moment. The overall production costs, as well as the environmental effects of resin production are the primary influences for said switch from the converters’ perspective.

The requirements and needs of global data usage in product lifecycle management

This study was done for ABB Ltd. Motors and Generators business unit in Helsinki. In this study, global data movement in large businesses is examined from a product data management (PDM) and enterprise resource planning (ERP) point-of-view. The purpose of this study was to understand and map out how a large global business handles its data in a multiple site structure and how it can be applied in practice. This was done by doing an empirical interview study on five different global businesses with design locations in multiple countries. Their master data management (MDM) solutions were inspected and analyzed to understand which solution would best benefit a large global architecture with many design locations. One working solution is a transactional hub which negates the effects of multisite transfers and reduces lead times. Also, the requirements and limitations of the current MDM architecture were analyzed and possible reform ideas given.  

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.