SC Harvester Papers Database Interface

Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns

Ricardo Diniz Caldas, Razan Ghzouli, A. Papadopoulos, Patrizio Pelliccione, Danny Weyns et al. In: 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C). 2021

Abstract: A traditional approach to realize self-adaptation in software engineering (SE) is by means of feedback loops. The goals of the system can be specified as formal properties that are verified against models of the system. On the other hand, control theory (CT) provides a well-established foundation for designing feedback loop systems and providing guarantees for essential properties, such as stabili...

User-centered requirements engineering to manage the fuzzy front-end of open innovation in e-health: A study on support systems for seniors' physical activity

M. Ehn, Mattias Derneborg, Åsa Revenäs, A. Cicchetti. In: International journal of medical informatics. 2021

Abstract: BACKGROUND Although e-health potentials for improving health systems in their safety, quality and efficiency has been acknowledged, a large gap between the postulated and empirically demonstrated benefits of e-health technologies has been ascertained. E-health development has classically been technology-driven, often resulting in the design of devices and applications that ignore the complexity of...

Model-driven engineering for mobile robotic systems: a systematic mapping study

Giuseppina Lucia Casalaro, G. Cattivera, Federico Ciccozzi, I. Malavolta, A. Wortmann et al. In: Software and Systems Modeling. 2021

Abstract: Mobile robots operate in various environments (e.g. aquatic, aerial, or terrestrial), they come in many diverse shapes and they are increasingly becoming parts of our lives. The successful engineering of mobile robotics systems demands the interdisciplinary collaboration of experts from different domains, such as mechanical and electrical engineering, artificial intelligence, and systems engineeri...

Model-driven engineering for mobile robotic systems: a systematic mapping study

Giuseppina Lucia Casalaro, G. Cattivera, Federico Ciccozzi, I. Malavolta, A. Wortmann et al. In: Software and Systems Modeling. 2021

Adaptive Runtime Estimate of Task Execution Times using Bayesian Modeling

A. Friebe, Filip Marković, A. Papadopoulos, Thomas Nolte. In: 2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). 2021

Abstract: In the recent works that analyzed execution-time variation of real-time tasks, it was shown that such variation may conform to regular behavior. This regularity may arise from multiple sources, e.g., due to periodic changes in hardware or program state, program structure, inter-task dependence or inter-task interference. Such complexity can be better captured by a Markov Model, compared to the com...

Agile Elicitation of Scalability Requirements for Open Systems: A Case Study

Gunnar Brataas, A. Martini, G. Hanssen, Georg Ræder. In: J. Syst. Softw.. 2021

Abstract: Eliciting scalability requirements during agile software development is complicated and poorly described in previous research. This article presents a lightweight artifact for eliciting scalability requirements during agile software development: the ScrumScale model. The ScrumScale model is a simple spreadsheet. The scalability concepts underlying the ScrumScale model are clarified in this design ...

Efficient and Effective Generation of Test Cases for Pedestrian Detection - Search-based Software Testing of Baidu Apollo in SVL

Hamid Ebabi, M. H. Moghadam, Markus Borg, Gregory Gay, Afonso Fontes et al. In: 2021 IEEE International Conference on Artificial Intelligence Testing (AITest). 2021

Abstract: With the growing capabilities of autonomous vehicles, there is a higher demand for sophisticated and pragmatic quality assurance approaches for machine learning-enabled systems in the automotive AI context. The use of simulation-based prototyping platforms provides the possibility for early-stage testing, enabling inexpensive testing and the ability to capture critical corner-case test scenarios. ...

Multi-Paradigm Modeling for Cyber-Physical Systems literature

Ankica Barišić, A. Cicchetti, I. Ruchkin, D. Blouin. In: . 2021

ENABLING TIME-CRITICAL COMMUNICATIONS IN MEDICAL IoT APPLICATIONS

Dino Mustefa, H. Fotouhi, S. Punnekkat, Detlef Scholle. In: Proceedings 14th International Conference on ICT, Society and Human Beings (ICT 2021), the 18th International Conference Web Based Communities and Social Media (WBC 2021). 2021

Abstract: Efficient communication is paramount for time-critical applications. Emerging time-critical healthcare applications will require extremely low latency, high reliability, and security guarantees. There are existing and emerging network technologies such as 5G that could enable efficient communications for these time-critical applications. However, it requires detailed identification of the required...

End-to-End Federated Learning for Autonomous Driving Vehicles

Hongyi Zhang, J. Bosch, H. Olsson. In: 2021 International Joint Conference on Neural Networks (IJCNN). 2021

Abstract: In recent years, with the development of computation capability in devices, companies are eager to investigate and utilize suitable ML/DL methods to improve their service quality. However, with the traditional learning strategy, companies need to first build up a powerful data center to collect and analyze data from the edge and then perform centralized model training, which turns out to be ineffi...

Size matters? Or not: A/B testing with limited sample in automotive embedded software

Yuchu Liu, D. I. Mattos, J. Bosch, H. Olsson, Jonn Lantz. In: 2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). 2021

Abstract: A/B testing is gaining attention in the automotive sector as a promising tool to measure casual effects from software changes. Different from the web-facing businesses, where A/B testing has been well-established, the automotive domain often suffers from limited eligible users to participate in online experiments. To address this shortcoming, we present a method for designing balanced control and ...

Using machine learning to generate test oracles: a systematic literature review

Afonso Fontes, Gregory Gay. In: Proceedings of the 1st International Workshop on Test Oracles. 2021

Abstract: Machine learning may enable the automated generation of test oracles. We have characterized emerging research in this area through a systematic literature review examining oracle types, researcher goals, the ML techniques applied, how the generation process was assessed, and the open research challenges in this emerging field. Based on a sample of 22 relevant studies, we observed that ML algorithm...

MBOX: Designing a Flexible IoT Multimodal Learning Analytics System

Hamza Ouhaichi, Daniel Spikol, Bahtijar Vogel. In: 2021 International Conference on Advanced Learning Technologies (ICALT). 2021

Abstract: Multimodal Learning Analytics (MMLA) provides opportunities for understanding and supporting collaborative problem-solving. However, the implementation of MMLA systems is challenging due to the lack of scalable technologies and limited solutions for collecting data from group work. This paper proposes the Multimodal Box (MBOX), an IoT-based system for MMLA, allowing the collection and processing o...

An Empirical Evaluation of Algorithms for Data Labeling

Teodor Fredriksson, D. I. Mattos, J. Bosch, H. Olsson. In: 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC). 2021

Abstract: The lack of labeled data is a major problem in both research and industrial settings since obtaining labels is often an expensive and time-consuming activity. In the past years, several machine learning algorithms were developed to assist and perform automated labeling in partially labeled datasets. While many of these algorithms are available in open-source packages, there is a lack of research t...

Automatic Program Repair

Jeffrey C. Carver, R. Palacios, X. Larrucea, M. Staron. In: IEEE Softw.. 2021