SC Harvester Papers Database Interface

Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach

C. Seceleanu, Eduard Paul Enoiu, Jan Carlson, K. Lundqvist, Séverine Sentilles et al. In: 7th Conference on the Engineering of Computer Based Systems. 2021

Abstract: With the emergence of “Industry 4.0”, the integration of cloud technologies and industrial cyber-physical systems becomes increasingly important to boost productivity. The industrial cyber-physical systems infrastructures and their fusion with the cloud lead to massive amounts of data acquired for controlling particular processes, but also for supporting decision-making. Although cloud-assisted sy...

On Sustainability for Offset Based Response-Time Analysis

Jukka Mäki-Turja, Kaj Hänninen, Mikael Sjödin. In: 7th Conference on the Engineering of Computer Based Systems. 2021

Abstract: It is known that offsets in general are not sustainable, i.e., if offsets in a system are modified it is not trivial to determine if this affects schedulability or not. In this paper we investigate if there are situations where offsets can be deemed sustainable, i.e., situations where one can safely modify an offset without impairing schedulability. We introduce, for the approximate Response-Time ...

Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems

M. Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, M. H. Moghadam, Mehrdad Saadatmand. In: Journal of Internet Services and Applications. 2021

Abstract: Software systems are complicated, and the scientific and engineering methodologies for software development are relatively young. Cyber-physical systems are now in every corner of our lives, and we need robust methods for handling the ever-increasing complexity of their software systems. Model-Driven Development is a promising approach to tackle the complexity of systems through the concept of abs...

Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems

M. Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, M. H. Moghadam, Mehrdad Saadatmand. In: Journal of Internet Services and Applications. 2021

Evaluation of 3D computer-assisted patient’s specific scaffold seeded with autogenous stem cells and platelet-rich fibrin in alveolar cleft repair.

Ahmad Azeem, M. Rahman, H. Al-Ahmady. In: . 2021

Abstract: Purpose: Evaluation of the treatment outcome of using patient-specific implantable scaffolds seeded with autogenous bone marrow mononuclear cell layer containing stem cells and platelet-rich fibrin in the treatment of alveolar cleft defect. Materials and methods: 12 alveolar cleft defects were divided into 2 groups; group A, six alveolar defects were treated using 3D printed patient’s specific imp...

GMP: A Genetic Mission Planner for Heterogeneous Multirobot System Applications

Branko Miloradovic, Baran Curuklu, Mikael Ekstrom, A. Papadopoulos. In: IEEE Transactions on Cybernetics. 2021

Abstract: The use of multiagent systems (MASs) in real-world applications keeps increasing, and diffuses into new domains, thanks to technological advances, increased acceptance, and demanding productivity requirements. Being able to automate the generation of mission plans for MASs is critical for managing complex missions in realistic settings. In addition, finding the right level of abstraction to repres...

ProDSPL: proactive self-adaptation based on dynamic software product lines

I. Ayala, A. Papadopoulos, M. Amor, L. Fuentes. In: Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A. 2021

Abstract: This is an extended abstract of the article: Inmaculada Ayala, Alessandro V. Papadopoulos, Mercedes Amor, Lidia Fuentes, ProDSPL: Proactive self-adaptation based on Dynamic Software Product Lines, Journal of Systems and Software, Volume 175, 2021, 110909, ISSN 0164-1212, https://doi.org/10.1016/j.jss.2021.110909....

Data and Materials for: Why Don’t Developers Detect Improper Input Validation?'; DROP TABLE Papers; --

Larissa Braz, Enrico Fregnan, G. Çalıklı, Alberto Bacchelli. In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). 2021

Abstract: Improper Input Validation (IIV) is a dangerous software vulnerability that occurs when a system does not safely handle input data. Although IIV is easy to detect and fix, it still commonly happens in practice; so, why do developers not recognize IIV? Answering this question is key to understand how to support developers in creating secure software systems. In our work, we studied to what extent de...

An Overview and Comparison of Technical Debt Measurement Tools

P. Avgeriou, D. Taibi, Apostolos Ampatzoglou, Francesca Arcelli Fontana, Terese Besker et al. In: IEEE Software. 2021

Abstract: Different tools adopt different terms, metrics, and ways to identify and measure technical debt. We attempt to clarify the situation by comparing the features and popularity of technical debt measurement tools and analyzing the existing empirical evidence on their validity....

Exploiting Parallelism in Multi-Task Robot Allocation Problems

Branko Miloradovic, Baran Çürüklü, Mikael Ekström, A. Papadopoulos. In: 2021 IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC). 2021

Abstract: Multi-Agent Systems (MASs) have been widely adopted in robotics, as a means to solve complex missions by subdividing them into smaller tasks. In such a context, Multi-Robot Task Allocation (MRTA) has been a relevant research area, with the main aim of providing formulations and solutions to different mission configurations, in order to optimize the planning and the execution of complex missions ut...

Performance Testing Using a Smart Reinforcement Learning-Driven Test Agent

M. H. Moghadam, Golrokh Hamidi, Markus Borg, Mehrdad Saadatmand, M. Bohlin et al. In: 2021 IEEE Congress on Evolutionary Computation (CEC). 2021

Abstract: Performance testing with the aim of generating an efficient and effective workload to identify performance issues is challenging. Many of the automated approaches mainly rely on analyzing system models, source code, or extracting the usage pattern of the system during the execution. However, such information and artifacts are not always available. Moreover, all the transactions within a generated ...

Accessibility challenges in lab simulations

M. Ralston, Greg Gay. In: Proceedings of the 18th International Web for All Conference. 2021

Abstract: Adapting in-person learning activities such as labs for online courses presents many challenges for educators and is of particular interest during the COVID-19 pandemic. In this paper, we describe accessibility challenges and solutions in an implementation of lab simulations for an Occupational Health and Safety course. The labs simulate measuring and evaluating workplace noise, light and heat lev...

Teaching accessibility awareness with games

Greg Gay. In: Proceedings of the 18th International Web for All Conference. 2021

Abstract: Serious games have become more common in higher education as tools for delivering experiential learning. They are particularly useful during times of crisis like the COVID-19 pandemic, with almost all learning switching to virtual as populations isolate and people learn from home. Creating such games for typical able learners that are also accessible to learners with disabilities can be challengin...

A Model-Based Approach to Document Software Toolchains for Supporting a Safety Analysis

Stephan Baumgart, Yin Chen, Rasmus Hamrén, S. Punnekkat. In: 2021 IEEE International Systems Conference (SysCon). 2021

Abstract: The increasing use of embedded systems to provide new functionality and customer experience requires developing the embedded systems carefully. As a new challenge, autonomous systems are developed to be working in a fleet to provide production workflows. Developing such a system-of-systems requires utilizing various software tools to manage the complexity. One task in developing safety-critical pr...

A Model-Based Approach to Document a System-of-Systems

Stephan Baumgart, S. Punnekkat. In: 2021 IEEE International Systems Conference (SysCon). 2021

Abstract: The technical evolution enables the development and application of autonomous systems in various domains. In the on-road and off-road vehicle domains, autonomous vehicles are applied in different contexts. Autonomous cars are designed as single system solutions, while in other scenarios, multiple autonomous or semi-autonomous vehicles are integrated into a system-of-systems. We utilize a case from...