SC Harvester Papers Database Interface

Network Management in Heterogeneous IoT Networks

Shunmuga Priyan Selvaraju, Ali Balador, H. Fotouhi, M. Vahabi, Mats Bjorkman. In: 2021 International Wireless Communications and Mobile Computing (IWCMC). 2021

Abstract: Heterogeneous networks (hetnets) is an interconnection of distinctive networking paradigms to enable wider reachability and greater collaborations. In large Internet-of-Things (IoT) applications, many wireless networks are spatially co-located and intertwined forming hetnets; for instance, health monitoring devices utilising ZigBee or IEEE 802.15.4 co-exist in 2.4 GHz spectrum alongside Wi-Fi devi...

RPL-RP: RPL with Route Projection for Transversal Routing

Iliar Rabet, H. Fotouhi, M. Vahabi, M. Alves, M. Björkman. In: 2021 IEEE 7th World Forum on Internet of Things (WF-IoT). 2021

Abstract: Routing Protocol for Low-Power and Lossy Networks (RPL) as the most widely used routing protocol for constrained Internet of Things (IoT) devices optimizes the number of routing states that nodes maintain to minimize resource consumption. Given that the routes are optimized for data collection, this leads to selecting sub-optimal routes, particularly in case of east-west or ”transversal” traffic. ...

Pushing IoT Mobility Management to the Edge: Granting RPL Accurate Localization and Routing

Iliar Rabet, Shunmuga Priyan Selvaraju, Mohammad Hassan Adeli, H. Fotouhi, Ali Balador et al. In: 2021 IEEE 7th World Forum on Internet of Things (WF-IoT). 2021

Abstract: Accurate and timely mobility support in Internet of Things (IoT) applications is a challenging issue, considering the inherent scarce resources of IoT devices. However, the computational, memory and communication burden may be pushed into more ”muscled” Software Defined Network (SDN) controllers. A centralised controller can exploit its global view of the network and predict the handovers and upda...

Data visualisation in continuous integration and delivery: Information needs, challenges, and recommendations

Azeem Ahmad, O. Leifler, K. Sandahl. In: IET Softw.. 2021

Abstract: Several operations, ranging from regular code updates to compiling, building, testing, and distribution to customers, are consolidated in continuous integration and delivery. Pro-fessionals seek additional information to complete the mission at hand during these tasks. Developers who devote a large amount of time and effort to finding such information may become distracted from their work. We will...

Message from the RoSE 2021 Chairs

A. Angerer, Federico Ciccozzi, I. Malavolta, A. Wortmann. In: 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE). 2021

A probabilistic model of belief in safety cases

Damir Nešić, M. Nyberg, Barbara Gallina. In: Safety Science. 2021

Abstract: Abstract A safety case is a hierarchical argument supported by evidence, whose scope is defined by contextual information. The goal is to show that the conclusion of such argument, typically “the system is acceptably safe”, is true. However, because the knowledge about systems is always imperfect, the value true cannot be assigned with absolute certainty. Instead, researchers have proposed to asse...

Asset-driven Security Assurance Cases with Built-in Quality Assurance

Mazen Mohamad, Örjan Askerdal, Rodi Jolak, J. Steghöfer, R. Scandariato. In: 2021 IEEE/ACM 2nd International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS). 2021

Abstract: Security Assurance Cases (SAC) are structured arguments and evidence bodies used to reason about security of a certain system. SACs are gaining focus in the automotive domain as the needs for security assurance are growing. In this study, we present an approach for creating SAC. The approach is inspired by the upcoming security standards ISO/SAE-21434 as well as the internal needs of automotive Or...

Self-Healing Protocol: Repairing Schedules Online after Link Failures in Time-Triggered Networks

Francisco Pozo, G. Rodríguez-Navas, Hans A. Hansson. In: 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). 2021

Abstract: Switched networks following the time-triggered paradigm rely on static schedules that determine the communication pattern over each link. In order to tolerate link failures, methods based on spatial redundancy and based on resynthesis and replacement of schedules have been proposed. These methods, however, do not scale to larger networks, which may be needed e.g. for future large-scale cyberphysic...

IEEE Workshop NEXTA 2021. The Next Level of Test Automation - Welcome Message

Sigrid Eldh, Vahid Garousi, Sahar Tahvili, M. Felderer, K. Sandahl. In: . 2021

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

C. Seceleanu, Eduard Paul Enoiu, J. 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 Sjodin. 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, Mahshid Helali 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...