SC Harvester Papers Database Interface

Choosing the fitness function for the job: Automated generation of test suites that detect real faults

Alireza Salahirad, H. Almulla, Gregory Gay. In: Software Testing. 2020

Abstract: The article from this special issue was previously published in Software Testing, Verification and Reliability, Volume 29, Issue 4–5, 2019. For completeness we are including the title page of the article below. The full text of the article can be read in Issue 29:4–5 on Wiley Online Library: https://onlinelibrary.wiley.com/doi/10.1002/stvr.1701...

Software Curriculum @ Siemens — The Architecture of a Training Program for Architects

Matthias Backert, T. Blum, Rüdiger Kreuter, Frances Paulisch, Peter Zimmerer. In: 2020 IEEE 32nd Conference on Software Engineering Education and Training (CSEE&T). 2020

Abstract: Siemens established a company-wide role-based qualification and certification curriculum, focusing on the topic of “architecture”. Architects play a central role in the product lifecycle of the complex systems that Siemens offers. Since the curriculum's start in 2006 with the “senior software architect” program, we have added programs for software, system, and test architects. This curriculum is m...

Correction to: Software engineering whispers: The effect of textual vs. graphical software design descriptions on software design communication

Rodi Jolak, Maxime Savary-Leblanc, M. Dalibor, A. Wortmann, R. Hebig et al. In: Empirical Software Engineering. 2020

Abstract: To fulfill the contractual requirement of the Sweden Compact agreement, the following funding note has to be added and placed in the Funding section of the original article: Open access funding provided by University of Gothenburg....

Fast and curious: A model for building efficient monitoring- and decision-making frameworks based on quantitative data

Iris Figalist, Christoph Elsner, J. Bosch, H. Olsson. In: Inf. Softw. Technol.. 2020

Abstract: Abstract Context: Nowadays, the hype around artificial intelligence is at its absolute peak. Large amounts of data are collected every second of the day and a variety of tools exists to enable easy analysis of data. In practice, however, making meaningful use of it is way more challenging. For instance, affected stakeholders often struggle to specify their information needs and to interpret the re...

Teaching sustainability, ethics and scientific writing: An integrated approach

O. Leifler, L. Lindblom, Mikael Svensson, Madelene Gramfält, Arne Jönsson. In: 2020 IEEE Frontiers in Education Conference (FIE). 2020

Abstract: This Innovative Practice Full Paper presents an approach to integrate three critical elements in Computer Science education.The call to imbue computer science graduates with strategic skills needed to address our pressing global sustainability challenges is extremely important, and a great challenge to degree programmes in computer science and software engineering. Doing this successfully requires...

Probabilistic Mission Planning and Analysis for Multi-agent Systems

Rong Gu, Eduard Paul Enoiu, C. Seceleanu, K. Lundqvist. In: . 2020

Product line adoption in industry: an experience report from the railway domain

Muhammad Abbas, R. Jongeling, Claes Lindskog, Eduard Paul Enoiu, Mehrdad Saadatmand et al. In: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A. 2020

Abstract: The software system controlling a train is typically deployed on various hardware architectures and must process various signals across those deployments. The increase of such customization scenarios and the needed adherence of the software to various safety standards in different application domains has led to the adoption of product line engineering within the railway domain. This paper explores...

Growth prediction of Alternanthera philoxeroides under salt stress by application of artificial neural networking

Q. Javed, Ahmad Azeem, Jian-Fan Sun, Ikram Ullah, D. Du et al. In: Plant Biosystems - An International Journal Dealing with all Aspects of Plant Biology. 2020

Abstract: Abstract The purpose of this study was to develop an independent multi-criteria model to predict the growth of invasive Alternanthera philoxeroides under salt stress. Artificial neural-networks with Multi-Layer Perceptron (MLP) were used for building a Predicted Neural Model (PNM) using soil parameters such as pH, electrical conductivity (EC), water content, temperature, humidity, and organic cont...

Data-driven Anomaly Detection for Railway Propulsion Control Systems

Ajna Hodzic, Dzenita Skulj, Aida Čaušević. In: IECON 2020 The 46th Annual Conference of the IEEE Industrial Electronics Society. 2020

Abstract: The popularity of railway transportation has been on the rise over the past decades, as it has provided safe, reliable, and highly available service. One of the main challenges this domain has been facing is reducing the costs of preventive maintenance and improving operational efficiency.In this paper, we aim at enabling the monitoring and analysis of collected signal data from a train propulsion...

Heartbeat Bully: Failure Detection and Redundancy Role Selection for Network-Centric Controller

Bjarne Johansson, Mats Rågberger, A. Papadopoulos, T. Nolte. In: IECON 2020 The 46th Annual Conference of the IEEE Industrial Electronics Society. 2020

Abstract: High availability and reliability are fundamental for distributed control systems in the automation industry. Redundancy solutions, with duplicated hardware, is the common way to increase availability. With the advent of Industry 4.0, the automation industry is undergoing a paradigm shift; a peer-to-peer mesh oriented architecture is replacing the traditional hierarchical automation pyramid. With ...

Towards boosting the OpenMBEE platform with model-code consistency

R. Jongeling, A. Cicchetti, Federico Ciccozzi, J. Carlson. In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 2020

Abstract: Eventual consistency between design and implementation is imperative for the quality and maintainability of software systems. Towards achieving this consistency, engineers can analyze the gaps between models and corresponding code to gain insights into differences between design and implementation. Due to the different levels of abstraction of the involved artifacts, this analysis is a complex tas...

Papyrus for gamers, let's play modeling

A. Bucchiarone, Maxime Savary-Leblanc, Xavier Le Pallec, J. Bruel, A. Cicchetti et al. In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 2020

Abstract: Gamification refers to the exploitation of gaming mechanisms for serious purposes, like learning hard-to-train skills such as modeling. We present a gamified version of Papyrus, the well-known open source modeling tool. Instructors can use it to easily create new modeling games (including the tasks, solutions, levels, rewards...) to help students learning any specific modeling aspect. The evaluati...

Co-evolution of simulink models in a model-based product line

R. Jongeling, A. Cicchetti, Federico Ciccozzi, J. Carlson. In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems. 2020

Abstract: Co-evolution of metamodels and conforming models is a known challenge in model-driven engineering. A variation of co-evolution occurs in model-based software product line engineering, where it is needed to efficiently co-evolve various products together with the single common platform from which they are derived. In this paper, we aim to alleviate manual efforts during this co-evolution process in...

Using Benji to systematically evaluate model comparison algorithms

Lorenzo Addazi, A. Cicchetti. In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 2020

Abstract: Model comparison is a critical task in model-driven engineering. Its correctness enables an effective management of model evolution, synchronisation, and even other tasks, such as model transformation testing. The literature is rich as concerns comparison algorithms approaches, however the same cannot be said for their systematic evaluation. In this paper we present Benji, a tool for the generatio...

Towards dynamic safety assurance for Industry 4.0

M. Javed, Faiz ul Muram, Hans A. Hansson, S. Punnekkat, Henrik Thane. In: J. Syst. Archit.. 2020

Abstract: Abstract The goal of Industry 4.0 is to be faster, more efficient and more customer-centric, by enhancing the automation and digitalisation of production systems. Frequently, the production in Industry 4.0 is categorized as safety-critical, for example, due to the interactions between autonomous machines and hazardous substances that can result in human injury or death, damage to machines, propert...