SC Harvester Papers Database Interface

Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool

M. Javed, Barbara Gallina. In: Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 2. 2018

Abstract: The integration between process engineering and variability management is required for tailoring of safety-oriented processes with variabilities to individual projects in a similar manner to the product lines. Previous studies have not adequately established the Safety-oriented Process Lines (SoPLs). This paper focuses on the seamless integration between Eclipse Process Framework (EPF) Composer an...

Mapping Class Dependencies for Fun and Profit

Allen Kanapala, Gregory Gay. In: . 2018

Abstract: Classes depend on other classes to perform certain tasks. By mapping these dependencies, we may be able to improve software quality. We have developed a prototype framework for generating optimized groupings of classes coupled to targets of interest. From a pilot study investigating the value of coupling information in test generation, we have seen that coupled classes generally have minimal impac...

Optimization Experiments in the Continuous Space - The Limited Growth Optimistic Optimization Algorithm

D. I. Mattos, Erling Mårtensson, J. Bosch, H. Olsson. In: . 2018

Abstract: Online controlled experiments are extensively used by web-facing companies to validate and optimize their systems, providing a competitive advantage in their business. As the number of experiments scale, companies aim to invest their experimentation resources in larger feature changes and leave the automated techniques to optimize smaller features. Optimization experiments in the continuous space ...

Towards Quantitative Evaluation of Reuse Within Safety-Oriented Process Lines

Barbara Gallina, S. Iyer. In: . 2018

Summary and Future Directions

Miroslaw Staron, Wilhelm Meding. In: Carbon Nanotubes. 2018

Real-Time in Networked Embedded Systems

Hans A. Hansson, Thomas Nolte, Mikael Sjodin, Daniel Sundmark. In: . 2018

Cutting-Edge Topics on Dynamic Software Variability

R. Capilla, J. Bosch, M. Hinchey. In: Software Technology: 10 Years of Innovation in IEEE Computer. 2018

Embracing Technical Debt, from a Startup Company Perspective

Terese Besker, A. Martini, Rumesh Edirisooriya Lokuge, Kelly Blincoe, J. Bosch. In: 2018 IEEE International Conference on Software Maintenance and Evolution (ICSME). 2018

Abstract: Software startups are typically under extreme pressure to get to market quickly with limited resources and high uncertainty. This pressure and uncertainty is likely to cause startups to accumulate technical debt as they make decisions that are more focused on the short-term than the long-term health of the codebase. However, most research on technical debt has been focused on more mature software ...

50 Years of Software Engineering

H. Erdogmus, N. Medvidović, Frances Paulisch. In: IEEE Softw.. 2018

Abstract: This theme issue on software engineering’s 50th anniversary presents a range of contributions—from pioneers and well-established software engineers, to younger contributors whose imprint on the field is perhaps yet to come. These contributions come in a variety of formats that provide a balanced look at our field’s past, present, and likely future. The topics include both timeless ideas that appea...

Preventing Omission of Key Evidence Fallacy in Process-Based Argumentations

Faiz Ul Muram, Barbara Gallina, Laura Gomez Rodriguez. In: 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC). 2018

Abstract: Process-based argumentations argue that a safety-critical system has been developed in compliance with the development process defined in the standards and provide the evidence for certification of compliance. However, the process-based argumentations cannot ensure that the evidences are sufficient to support the claim. If the argumentations are insufficient (i.e., fallacious) they may result in a...

A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence

L. Bressan, A. Oliveira, Leonardo Montecchi, Barbara Gallina. In: 2018 14th European Dependable Computing Conference (EDCC). 2018

Abstract: CHESS is an open source methodology and toolset for the development of safety-critical systems. More specifically, CHESS is a model-based methodology, which supports the design, dependability analysis, and code generation for critical systems. Despite its rather mature level in terms of technology readiness, systematic guidance needs to be developed to promote its usage for certification purposes....

False Beliefs and Confabulation Can Lead to Lasting Changes in Political Attitudes

Thomas Strandberg, David Sivén, Lars Hall, Petter Johansson, P. Pärnamets. In: Journal of Experimental Psychology: General. 2018

Abstract: In times of increasing polarization and political acrimony, fueled by distrust of government and media disinformation, it is ever more important to understand the cognitive mechanisms behind political attitude change. In two experiments, we present evidence that false beliefs about one’s own prior attitudes and confabulatory reasoning can lead to lasting changes in political attitudes. In Experime...

Coordinated actor model of self-adaptive track-based traffic control systems

Maryam Bagheri, M. Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya et al. In: J. Syst. Softw.. 2018

Abstract: Abstract Self-adaptation is a well-known technique to handle growing complexities of software systems, where a system autonomously adapts itself in response to changes in a dynamic and unpredictable environment. With the increasing need for developing self-adaptive systems, providing a model and an implementation platform to facilitate integration of adaptation mechanisms into the systems and assu...

Static Flow Analysis of the Action Language for Foundational UML

Jean MaIm, Federico Ciccozzi, J. Gustafsson, B. Lisper, Jonas Skoog. In: 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA). 2018

Abstract: One of the major advantages of Model-Driven Engineering is the possibility to early assess crucial system properties, in order to identify issues that are easier and cheaper to solve at design level than at code level. An example of such a property is the timing behaviour of a real-time application, where an early indication that the timing constraints might not be met can help avoiding costly re-...

Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems

M. Mukelabai, Damir Nešić, Salome Maro, T. Berger, J. Steghöfer. In: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE). 2018

Abstract: Highly configurable systems are complex pieces of software. To tackle this complexity, hundreds of dedicated analysis techniques have been conceived, many of which able to analyze system properties for all possible system configurations, as opposed to traditional, single-system analyses. Unfortunately, it is largely unknown whether these techniques are adopted in practice, whether they address act...