This paper is an experience report about introducing Model-based Systems engineering (MBSE) at Volvo (Construction Equipment) and describes lessons learned. The recent growth in technologies such as electromobility, a...
详细信息
ISBN:
(纸本)9781728119700
This paper is an experience report about introducing Model-based Systems engineering (MBSE) at Volvo (Construction Equipment) and describes lessons learned. The recent growth in technologies such as electromobility, automation etc. in heavy construction machinery such as loaders, haulers, excavators etc. leads to increased complexity being addressed within embedded systems and software. Hence there is an increasing need for model-based development methodologies to facilitate flexible and distributed development scenarios, enhance communication among cross-functional teams, more importantly, traceability from requirements to system and software architectures. In this paper, we describe how the MBSE methodology was initially conceived, applied in an ongoing project, the challenges faced, and lessons learned. The paper also points to related works and future directions towards a holistic Model-Driven Development (MDD) framework.
Generally, functions and execution environment which form a software system are changed because requirements change, referred to as "software evolution". At this change, maintaining consistency of the config...
详细信息
ISBN:
(纸本)9780769534466
Generally, functions and execution environment which form a software system are changed because requirements change, referred to as "software evolution". At this change, maintaining consistency of the configuration is important, in order to prevent trouble. However it is difficult for software engineers to perform this kind of maintenance. Thus, when a configuration is changed, computer support is needed. In this paper, we propose a method of FMC (Feature, Module and Connection) which focuses on the maintenance of configuration changes, and we formalize FMC by Alloy. FMC is a modeling method which is based on the feature model of FODA. FMC abstracts functions, execution environment and correspondence relations between functions and execution environment. In addition, we describe how to check and correct inconsistency of FMC using Alloy.
The first international workshop on management and economics of software product lines will bring together researchers and practitioners from academia, industry and governments to report and discuss the challenges and...
详细信息
ISBN:
(纸本)9780769530574
The first international workshop on management and economics of software product lines will bring together researchers and practitioners from academia, industry and governments to report and discuss the challenges and opportunities of adopting and managing software product lines from managerial, organizational, and economics point of view.
Many testing methods are based on program paths. A well-known problem with them is that some paths are infeasible. To decide the feasibility of paths, we may solve a set of constraints. In this paper, we describe cons...
详细信息
Many testing methods are based on program paths. A well-known problem with them is that some paths are infeasible. To decide the feasibility of paths, we may solve a set of constraints. In this paper, we describe constraint-based tools that can be used for this purpose. They accept constraints expressed in a natural form, which may involve variables of different types such as integers, Booleans, reals and fixed-size arrays. The constraint solver is an extension of a Boolean satisfiability checker and it makes use of a linear programming package. The solving algorithm is described, and examples are given to illustrate the use of the tools. For many paths in the testing literature, their feasibility can be decided in a reasonable amount of time.
software quality properties, normally derived from non-functional requirements, are becoming more important for software. A main reason for software evolution is the unsatisfaction to software quality properties. When...
详细信息
ISBN:
(纸本)9780769549224
software quality properties, normally derived from non-functional requirements, are becoming more important for software. A main reason for software evolution is the unsatisfaction to software quality properties. When improving these properties through software evolution, it is essential to know whether software functions are affected and by how much. This paper proposes an approach to linking the functions with the quality properties of software for evolution via software architecture styles, aiming at contributing to (1) predicting evolution efforts and (2) transforming software for improving its quality.
Background: Code inspection has been accepted as an effective method to detect and remove defects and code reading is a critical step in code inspection. However, there are very limited empirical studies on the conten...
详细信息
ISBN:
(纸本)9781467396448
Background: Code inspection has been accepted as an effective method to detect and remove defects and code reading is a critical step in code inspection. However, there are very limited empirical studies on the content and appropriate forms of the suitable software artifacts as the supporting materials, hence inspectors may not be well-supported with necessary knowledge to carry out code reading. Objective: This research aims to investigate the impact of different common supporting materials (i.e., comments vs. design documents) on code reading. Method: A relatively large-scale controlled experiment with 135 senior students was designed and executed to compare the impacts of different supporting materials on code reading. The subjects were randomly separated into three groups with different treatments, i.e, the comments, the design documents and the comments+design documents, respectively. Two metrics regarding the code reading performance (i.e., Effectiveness and Defect Detection Rate) were used to compare the different impacts derived from the two different types of supporting materials. Qualitative feedbacks were also collected using questionnaires for the final analysis. Results: The results indicate that students performed better when being provided with comments than comments+design documents. Also, the removal of design documents shows little impact on inspection effectiveness and may lead to an increase in defect detection rate. Conclusion: Comments may provide more help and value than design documents as supporting material in small to median sized code reading.
Due to the critical consequences of possible failures, robot systems must be formally verified to guarantee that their behaviors are correct and safe. There is, however, a gap in terms of building safe behaviors betwe...
详细信息
ISBN:
(纸本)9798350344172
Due to the critical consequences of possible failures, robot systems must be formally verified to guarantee that their behaviors are correct and safe. There is, however, a gap in terms of building safe behaviors between the formal methods and robotic communities as the latter focuses on informal design and its implementation in a manner which is accessible to robotics engineers. In this paper, we present an approach to bridge that gap which enables a tight coupling of informal robot behaviors defined in SMACH, Python state machine API, with formal models through a process of translation. A set of mapping rules, which facilitates transformation is provided and the result is utilized for formal verification of safety properties. We also discuss the current limitations of such work along with recommendations on how these might be addressed.
There are many business information systems under operation supporting the essential business processes of large scale multi-national enterprises, which forms the essential IT assets of these organizations. However, t...
详细信息
ISBN:
(纸本)9780769549224
There are many business information systems under operation supporting the essential business processes of large scale multi-national enterprises, which forms the essential IT assets of these organizations. However, the isolation of these systems, improper process configurations and unbalanced resource allocations often leads to the deterioration of these enterprises, or even major management crisis. Service-oriented computing is considered a possible remedy for such issues with relatively low migration cost that has attracted much industrial attention. In this paper, through a survey to an industrial consulting case from a Southeastern asia Garment Manufacture, we discuss how service requirements are elicited, how to evolve conventional management information systems into composite service systems that is reconfigurable at runtime, so as to realize resources optimization and efficiency improvement. The purpose of this paper is to analyze the knowhow of migrating conventional management information systems into service-oriented architecture, from a requirements engineering perspective.
This paper describes a system that supports to generate the software tag which makes software development visible to software purchaser (users). A software tag is a partial set of empirical data about a software devel...
详细信息
ISBN:
(纸本)9780769542669
This paper describes a system that supports to generate the software tag which makes software development visible to software purchaser (users). A software tag is a partial set of empirical data about a software development project shared between the purchaser and developer. The purchaser uses the software tag to evaluate the software project, allowing them to recognize the quality level of the processes and products involved. In order to implement the mechanism to use the software tag effectively, it is necessary to support generating the software tag. We have implemented a system named CollectTag that supports to collect data and generate the software tag. We conducted a case study to evaluate the usefulness of CollectTag and generated software tag. The results show that using CollectTag requires low cost to generate the software tag.
Different kinds of process model are prescribed for software organisations, and each offers successful project outcomes if followed. There is little evidence that organisations strictly adhere to specific models. We s...
详细信息
ISBN:
(纸本)9780769549224
Different kinds of process model are prescribed for software organisations, and each offers successful project outcomes if followed. There is little evidence that organisations strictly adhere to specific models. We surveyed 195 participants from 51 New Zealand (NZ) software organisations with a view to increasing our understanding of practice implementation in NZ. We found that practices are implemented inconsistently. The implication is that organisations do not follow any one process, either prescribed or adapted, but rather select practices on a project basis and according to some unknown guidelines. Our conclusion is that, rather than attempting to impose or adapt processes at an organisational level, we should instead aim to understand the rationale behind practice selection and how practices combine to make a coherent set. We also found a collaborative, informal, iterative approach to product development with issues around clarity and availability of requirements.
暂无评论