SC Harvester Papers Database Interface

A Personal Opinion Survey on Process Compliance Checking in the Safety Context

Julieth Patricia Castellanos Ardila, B. Gallina. In: . 2020

Separation of Concerns in Process Compliance Checking: Divide-and-Conquer

Julieth Patricia Castellanos Ardila, B. Gallina. In: . 2020

Natural History of Hypertension in Turner Syndrome During a 12-Year Pragmatic Interventional Study

K. Sandahl, Jan Wen, M. Erlandsen, N. H. Andersen, C. Gravholt. In: Hypertension. 2020

Abstract: Supplemental Digital Content is available in the text. Turner syndrome is caused by complete or partial X monosomy in some or all cells. Cardiovascular complications are dominant, including increased blood pressure (BP), leading to early-onset hypertension. The aim is to describe the debut, development, and treatment of hypertension in Turner syndrome during a 12-year pragmatic interventional stud...

Enforcing Geofences for Managing Automated Transportation Risks in Production Sites

M. Javed, Faiz ul Muram, A. Fattouh, S. Punnekkat. In: . 2020

Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents

Rong Gu, Eduard Paul Enoiu, C. Seceleanu, K. Lundqvist. In: . 2020

Towards Formal Analysis of Vehicle Platoons Using Actor Model

Z. Sharifi, R. Khosravi, M. Sirjani, Ehsan Khamespanah. In: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). 2020

Abstract: Vehicle platooning is a promising technology to save the road capacity and also fuel consumption by reducing the distance between the vehicles in the platoon. The closer the cars are to each other, the closer we are to the goals. But, this will increase the need for safety verification. In this paper we use formal methods to verify safety distance in a platoon. To do so, we present a formal actor-...

What Developers (Care to) Recall: An Interview Survey on Smaller Systems

J. Krüger, R. Hebig. In: 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME). 2020

Abstract: Developers spend most of their time with program comprehension, obtaining (or recovering) the knowledge they need to perform a task. Researchers have investigated the information needs of developers to understand what knowledge is important and to scope techniques, for example, to facilitate program comprehension, support knowledge recovery, or identify experts. Similarly, researchers analyzed dev...

The influence of Technical Debt on software developer morale

Terese Besker, Hadi Ghanbari, A. Martini, Jan Bosch. In: J. Syst. Softw.. 2020

Abstract: Context: Previous research in the Technical Debt (TD) field has mainly focused on the technical and economic aspects, while its human aspect has received minimal attention. Objective: This paper aims to understand how software developers’ morale is influenced by TD and how their morale is influenced by TD management activities. Furthermore, this study correlates the morale with the amount of wasta...

Enabling Fog-based Industrial Robotics Systems

S. Salman, Václav Struhár, Z. Bakhshi, Van-Lan Dao, Nitin Desai et al. In: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). 2020

Abstract: Low latency and on demand resource availability enable fog computing to host industrial applications in a cloud like manner. One industrial domain which stands to benefit from the advantages of fog computing is robotics. However, the challenges in developing and implementing a fog-based robotic system are manifold. To illustrate this, in this paper we discuss a system involving robots and robot ce...

Clock Synchronization in Integrated TSN-EtherCAT Networks

D. Mateu, Daniel Hallmans, M. Ashjaei, A. Papadopoulos, J. Proenza et al. In: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). 2020

Abstract: Moving towards new technologies, such as Time Sensitive Networking (TSN), in industries should be gradual with a proper integration process instead of replacing the existing ones to make it beneficial in terms of cost and performance. Within this context, this paper identifies the challenges of integrating a legacy EtherCAT network, as a commonly used technology in the automation domain, into a TS...

IoT and Fog Analytics for Industrial Robot Applications

A. Lager, A. Papadopoulos, T. Nolte. In: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). 2020

Abstract: The rapid development of IoT, cloud and fog computing has increased the potential for developing smart services for IoT devices. Such services require not only connectivity and high computing capacity, but also fast response time and throughput of inferencing results. In this paper we present our ongoing work, investigating the potential for implementing smart services in the context of industrial...

The Automotive Virtual Verification Ecosystem: Impediments and Enablers

S. Ågren, E. Knauss, P. Giusto, G. Soremekun, Rogardt Heldal et al. In: IEEE Software. 2020

Abstract: We describe the benefits of, critical impediments to, and crucial enablers for virtual verification. This will provide help for overcoming difficulties and starting a constructive dialogue among ecosystem actors in the automotive industry....

Special section on IST for ISSRE 2019

B. Gallina, M. Cukier. In: Inf. Softw. Technol.. 2020

Blockchain and Smart Contract Engineering

Jeffrey C. Carver, M. Staron. In: IEEE Softw.. 2020

Abstract: Because smart contracts are often small programs, tools to prevent attacks are often based on analyzing the smart contract code to identify vulnerabilities a priori....

An Agent-Based Approach to Realize Emergent Configurations in the Internet of Things

Fahed Alkhabbas, Romina Spalazzese, P. Davidsson. In: Electronics. 2020

Abstract: The Internet of Things (IoT) has enabled physical objects and devices, often referred to as things, to connect and communicate. This has opened up for the development of novel types of services that improve the quality of our daily lives. The dynamicity and uncertainty of IoT environments, including the mobility of users and devices, make it hard to foresee at design time available things and serv...