SC Harvester Papers Database Interface

Requirement or Not, That is the Question: A Case from the Railway Industry

Sarmad Bashir, Muhammad Abbas, Mehrdad Saadatmand, Eduard Paul Enoiu, M. Bohlin et al. In: . 2023

Assessing Risk of Ar and Organizational Changes Factors in Socio-Technical Robotic Manufacturing

Soheila Sheikh Bahaei, B. Gallina. In: SSRN Electronic Journal. 2023

A Modular Ice Cream Factory Dataset on Anomalies in Sensors to Support Machine Learning Research in Manufacturing Systems

Tijana Markovic, M. Leon, B. Leander, S. Punnekkat. In: IEEE Access. 2023

Abstract: A small deviation in manufacturing systems can cause huge economic losses, and all components and sensors in the system must be continuously monitored to provide an immediate response. The usual industrial practice is rather simplistic based on brute force checking of limited set of parameters often with pessimistic pre-defined bounds. The usage of appropriate machine learning techniques can be ve...

A Compositional Approach to Creating Architecture Frameworks with an Application to Distributed AI Systems

Hans-Martin Heyn, E. Knauss, Patrizio Pelliccione. In: J. Syst. Softw.. 2022

Abstract: Artificial intelligence (AI) in its various forms finds more and more its way into complex distributed systems. For instance, it is used locally, as part of a sensor system, on the edge for low-latency high-performance inference, or in the cloud, e.g. for data mining. Modern complex systems, such as connected vehicles, are often part of an Internet of Things (IoT). To manage complexity, architectu...

Evaluating Edge Computing and Compression for Remote Cuff-Less Blood Pressure Monitoring

Ward Goossens, Dino Mustefa, Detlef Scholle, H. Fotouhi, J. Denil. In: J. Sens. Actuator Networks. 2022

Abstract: Remote health monitoring systems play an important role in the healthcare sector. Edge computing is a key enabler for realizing these systems, where it is required to collect big data while providing real-time guarantees. In this study, we focus on remote cuff-less blood pressure (BP) monitoring through electrocardiogram (ECG) as a case study to evaluate the benefits of edge computing and compress...

Emulating future neurotechnology using magic

Jay A. Olson, Marie-Andree Cyr, Despina Z Artenie, Thomas Strandberg, L. Hall et al. In: Consciousness and Cognition. 2022

Emulating future neurotechnology using magic.

Jay A. Olson, Marie-Andree Cyr, Despina Z. Artenie, Thomas Strandberg, Lars Hall et al. In: Consciousness and cognition. 2022

Abstract: Recent developments in neuroscience and artificial intelligence have allowed machines to decode mental processes with growing accuracy. Neuroethicists have speculated that perfecting these technologies may result in reactions ranging from an invasion of privacy to an increase in self-understanding. Yet, evaluating these predictions is difficult given that people are poor at forecasting their react...

Emulating future neurotechnology using magic.

Jay A. Olson, Marie-Andree Cyr, Despina Z. Artenie, Thomas Strandberg, Lars Hall et al. In: Consciousness and cognition. 2022

Abstract: Recent developments in neuroscience and artificial intelligence have allowed machines to decode mental processes with growing accuracy. Neuroethicists have speculated that perfecting these technologies may result in reactions ranging from an invasion of privacy to an increase in self-understanding. Yet, evaluating these predictions is difficult given that people are poor at forecasting their react...

Industry Best Practices in Robotics Software Engineering

R. Bocchino, Arne Nordmann, A. Thackston, A. Angerer, Federico Ciccozzi et al. In: ArXiv. 2022

Abstract: Robotics software is pushing the limits of software engineering practice. The 3rd International Workshop on Robotics Software Engineering held a panel on “the best practices for robotic software engineering”. This article shares the key takeaways that emerged from the discussion among the panelists and the workshop, ranging from architecting practices at the NASA/Caltech Jet Propulsion Laboratory,...

Optimal Reference Tracking for Sampled-Data Control Systems

Enrico Bini, A. Papadopoulos, Jacob Higgins, N. Bezzo. In: 2022 IEEE 61st Conference on Decision and Control (CDC). 2022

Abstract: It is a standard engineering practice to design feedback-based control to have a system follow a given trajectory. While the trajectory is continuous-time, the sequence of references is varied at discrete times as it is normally computed by digital systems.In this work, we propose a method to determine the optimal discrete-time references to be applied over a time window of a given duration. The o...

Analytical Approximations in Probabilistic Analysis of Real-Time Systems

Filip Marković, T. Nolte, A. Papadopoulos. In: 2022 IEEE Real-Time Systems Symposium (RTSS). 2022

Abstract: Probabilistic timing and schedulability analysis of real-time systems is constrained by the problem of often intractable exact computations. The intractability problem is present whenever there is a large number of entities to be analysed, e.g., jobs, tasks, etc. In the last few years, the analytical approximations for deadline-miss probability emerged as an important solution in the above problem...

CrossFit: Fine-grained Benchmarking of Serverless Application Performance across Cloud Providers

Joel Scheuner, Rui Deng, J. Steghöfer, P. Leitner. In: 2022 IEEE/ACM 15th International Conference on Utility and Cloud Computing (UCC). 2022

Abstract: Serverless computing emerged as a promising cloud computing paradigm for deploying cloud-native applications but raises new performance challenges. Existing performance evaluation studies focus on micro-benchmarking to measure an individual aspect of serverless functions, such as CPU speed, but lack an in-depth analysis of differences in application performance across cloud providers. This paper p...

Note To Reviewers.

H. Thane, H. Hansson. In: Pediatric emergency care. 2022

Abstract: Reproducible and deterministic testing of sequential programs can in most cases be achieved by controlling the sequence of inputs to the program. The behavior of a distributed real-time system, on the other hand, not only depends on the inputs but also on the order and timing of the concurrent tasks that execute and communicate with each other and the environment. Hence, sequential test techniques...

Combining Model-Based Testing and Automated Analysis of Behavioural Models using GraphWalker and UPPAAL

Saurabh Tiwari, K. Iyer, Eduard Paul Enoiu. In: 2022 29th Asia-Pacific Software Engineering Conference (APSEC). 2022

Abstract: Model-based Testing (MBT) has been proposed to create test cases more efficiently and effectively. In contrast, analysis techniques (e.g., model checking) have been used separately from testing and have shown great potential when applied early in the development process. Still, these are confronted by applicability and scalability issues and work on specific modeling languages. The combined use of...

Metal- and antibiotic-resistant heterotrophic plate count bacteria from a gold mine impacted river: the Mooi River system, South Africa

J. Bosch, Carlos C. Bezuidenhout, R. Coertze, L. Molale-Tom. In: Environmental Science and Pollution Research International. 2022

Abstract: The Wonderfonteinspruit, South Africa, is highly impacted by a century of gold mining activities. The aim of this study was to investigate the physico-chemical properties of the Wonderfonteinspruit and the receiving Mooi River system, the levels of antimicrobial (metals and antibiotics) resistance characteristics and heterotrophic bacteria levels in these water systems. Various physico-chemical pa...