SC Harvester Papers Database Interface

A Road Less Travelled and Beyond: Towards a Roadmap for Integrating Sustainability into Computing Education

A. Moreira, O. Leifler, Stefanie Betz, Ian Brooks, Rafael Capilla et al. In: ArXiv. 2024

Abstract: Education for sustainable development has evolved to include more constructive approaches and a better understanding of what is needed to align education with the cultural, societal, and pedagogical changes required to avoid the risks posed by an unsustainable society. This evolution aims to lead us toward viable, equitable, and sustainable futures. However, computing education, including software...

A Stochastic Network Calculus Model for TSCH Schedulers

Iliar Rabet, H. Fotouhi, Mário Alves, J. Champati, James Gross et al. In: 2024 IEEE Symposium on Computers and Communications (ISCC). 2024

Abstract: Low-power wireless Internet of Things (IoT) devices employ Time Slotted Channel Hopping (TSCH) Medium Access Control to achieve predictable timing behaviour. TSCH aims at collision-free scheduling by exploiting diversity over time (slots) and frequency (channels). However, existing works on performance and worst-case analysis are based on deterministic models, which lead to rather pessimistic non-...

How Do Practitioners Reason About Security Requirements? An Interview Study

Luciana Provenzano, R. Jongeling. In: 2024 IEEE 32nd International Requirements Engineering Conference (RE). 2024

Abstract: In the development of modern software-intensive systems, security aspects are increasingly emphasized, with new laws and regulations putting more demands on manufacturers. Requirements elicitation must therefore carefully consider security aspects. The literature contains various frameworks that have been proposed to aid in the elicitation of these types of requirements. We are interested to under...

Exploring different Actor Roles in Orchestrations of System of Systems

Tommy Nordström, Leon Rene Sutfeld, Terese Besker. In: 2024 19th Annual System of Systems Engineering Conference (SoSE). 2024

Abstract: The rising complexity and interconnectedness of contemporary systems engineering solutions have spurred the development of Systems-of-Systems (SoS). Within a SoS, we find interconnected constituent systems (CSs), each possessing individual capabilities and managerial autonomy. For effective management of a SoS, a dedicated orchestration mechanism is crucial. However, currently, there is a lack of ...

Gender Aspects of Shared Mobility Services from a System of Systems Perspective

M. Anttila, Terese Besker, Pontus Svenson. In: 2024 19th Annual System of Systems Engineering Conference (SoSE). 2024

Abstract: System of systems (SoS) are intended to solve problems, provide more effective services, and enable greater collaborative behaviour. For SoS operating within the mobility domain, where the usefulness of the SoS solution largely depends on how many people will use the SoS, it is necessary to consider if there are potential gender aspects of the user that may negatively impact the SoS usefulness. In...

Random forest with differential privacy in federated learning framework for network attack detection and classification

Tijana Markovic, M. Leon, David Buffoni, S. Punnekkat. In: Applied Intelligence. 2024

Abstract: Communication networks are crucial components of the underlying digital infrastructure in any smart city setup. The increasing usage of computer networks brings additional cyber security concerns, and every organization has to implement preventive measures to protect valuable data and business processes. Due to the inherent distributed nature of the city infrastructures as well as the critical nat...

Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions

Rong Gu, Eduard Baranov, Afshin Ameri, C. Seceleanu, Eduard Paul Enoiu et al. In: ACM Transactions on Software Engineering and Methodology. 2024

Abstract: Mission planning for multi-agent autonomous systems aims to generate feasible and optimal mission plans that satisfy given requirements. In this article, we propose a tool-supported mission-planning methodology that combines (i) a path-planning algorithm for synthesizing path plans that are safe in environments with complex road conditions, and (ii) a task-scheduling method for synthesizing task p...

Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions

Rong Gu, Eduard Baranov, Afshin Ameri, C. Seceleanu, Eduard Paul Enoiu et al. In: ACM Transactions on Software Engineering and Methodology. 2024

Abstract: Mission planning for multi-agent autonomous systems aims to generate feasible and optimal mission plans that satisfy given requirements. In this article, we propose a tool-supported mission-planning methodology that combines (i) a path-planning algorithm for synthesizing path plans that are safe in environments with complex road conditions, and (ii) a task-scheduling method for synthesizing task p...

A Data-Flow Oriented Software Architecture for Heterogeneous Marine Data Streams

Keila Lima, Ngoc-Thanh Nguyen, Rogardt Heldal, L. Kristensen, Tosin Daniel Oyetoyan et al. In: 2024 IEEE 21st International Conference on Software Architecture (ICSA). 2024

Abstract: Marine in-situ data is collected by sensors mounted on fixed or mobile systems deployed into the ocean. This type of data is crucial both for the ocean industries and public authorities, e.g., for monitoring and forecasting the state of marine ecosystems and/or climate changes. Various public organizations have collected, managed, and openly shared in-situ marine data in the past decade. Recently,...

Message from the ICSA 2024 General Chairs and Program Chairs

Y. R. Reddy, N. Medvidović, Romina Spalazzese, Heiko Koziolek. In: . 2024

We're Drifting Apart: Architectural Drift from the Developers' Perspective

Emilie Anthony, Astrid Berntsson, Tiziano Santilli, Rebekka Wohlrab. In: 2024 IEEE 21st International Conference on Software Architecture (ICSA). 2024

Abstract: Despite the recognized importance of software architecture, it is common that the implementation diverges from the intended architecture over time. This phenomenon is referred to as architectural drift. In the past decades, mainly technical solutions and tools have been developed to detect and address architectural inconsistencies and drift. There is still a lack of evidence from the perspective o...

Defining Requirements Strategies in Agile: A Design Science Research Study

Amna Pir Muhammad, E. Knauss, Odzaya Batsaikhan, Nassiba El Haskouri, Yi-Chun Lin et al. In: ArXiv. 2024

Abstract: Research shows that many of the challenges currently encountered with agile development are related to requirements engineering. Based on design science research, this paper investigates critical challenges that arise in agile development from an undefined requirements strategy. We explore potential ways to address these challenges and synthesize the key building blocks of requirements strategies....

Optimizing Model-based Generated Tests: Leveraging Machine Learning for Test Reduction

M. Zafar, Wasif Afzal, Eduard Paul Enoiu, Z. Haider, Inderjeet Singh. In: 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 2024

Abstract: Several studies have shown Model-based Testing (MBT) as an efficient technique for generating fault-effective test cases. However, the automatic generation of test cases is compromised with redundant test cases providing no additional value to the coverage or fault detection effectiveness while impacting test execution efficiency, especially, in a dynamic development environment where providing ti...

Choice blindness in autistic and non-autistic people

A. Remington, H. White, J. Fairnie, V. Sideropoulos, Lars Hall et al. In: Journal of Cognitive Psychology. 2024

Abstract: ABSTRACT Choice blindness (failure to notice when our choices are switched unexpectedly) suggests people are often unaware of reasons underlying their intentions/preferences. Some argue, however, that research revealing choice blindness simply reflects social-demand characteristics in participant-experimenter interactions. To address this, we compared autistic adults (a population less susceptible...

Natural Language Processing for Requirements Traceability

Jin L.C. Guo, J. Steghöfer, Andreas Vogelsang, Jane Cleland-Huang. In: ArXiv. 2024

Abstract: Traceability, the ability to trace relevant software artifacts to support reasoning about the quality of the software and its development process, plays a crucial role in requirements and software engineering, particularly for safety-critical systems. In this chapter, we provide a comprehensive overview of the representative tasks in requirement traceability for which natural language processing (...