Sökresultat

This paper proposes a ‘tool for thinking with’1: that we can describe the interaction between peopleand computers, and especially people and developer tools, as a form of conversation. We outline thisperspective, construct a work in progress analytical frame, and use it to talk about a couple of differentexamples and draw implications for future work.

Despite the growing integration of code analysis tools into developer workflows, usability challengespersist in many aspects. Previous research, primarily focused on static languages and professional developers, has largely overlooked the needs of novice developers and non-static languages like Python.In this paper, we investigate the experiences of novice Python programmers with static code analy

Autonomous robots must operate reliably and predictably in uncertain environ-ments. Throughout the robot software development cycle, robot operators and de-velopers must be able to specify their safety and functional requirements reliablyand explicitly. To this end, we propose to use Domain-Specific Languages (DSLs)to address their needs. To show the applicability and effectiveness of this approac

Target-controlled infusion (TCI) constitutes a clinically available alternative to manually administering the infusion rate of the anesthetic drug propofol. In TCI, a drug infusion profile is optimized to track a reference trajectory of blood plasma or effect site (brain cortex) drug concentration, or a corresponding clinical effect. TCI is a pure feed-forward openloop strategy, fully reliant on a

Automated fault diagnosis can facilitate diagnostics assistance, speedier troubleshooting, and better-organised logistics. Currently, most AI-based prognostics and health management in the automotive industry ignore textual descriptions of the experienced problems or symptoms. With this study, however, we propose an ML-assisted workflow for automotive fault nowcasting that improves on current indu

Software development is a complex activity that needs a lot of tool assistance. Over the years there has been a lot of effort put into development of automated assistance to help with activities such as detection of issues via program analysis, or refactoring of code. Recently, the landscape of developer tool assistance is being disrupted with the entry of AI tools, such as Copilot and ChatGPT, po

New robot applications increasingly require external sensing to accomplish robustness and performance despite the variations and uncertainties that come with the increasing demands on flexibility for manufacturing of customized products. The demands on productivity then require high performance, which for well known feedback-control reasons means short response times from external process event to

This work presents a robotic implementation of Christmas gift wrapping. Handling paper is a challenging task for an industrial robot as it easily tears and folds in unexpected ways. In this application, a dual-arm industrial robot with simple two-finger grippers was used, and the robot was programmed using a standard position-based approach. The wrapping was accomplished with the help of plastic s

Wireless charging of smartphones using inductive wireless power transfer (IWPT) has become very popular. However, the efficiency of IWPT systems can decrease substantially when the transmitting and receiving coils are not closely coupled. One popular approach to mitigate the efficiency degradation is to utilize higher frequency. However, the higher efficiency is only achieved at a specific range o

While Weighted Lasso sparse regression has appealing statistical guarantees that would entail a major real-world impact in finance, genomics, and brain imaging applications, it is typically scarcely adopted due to its complex high-dimensional space composed by thousands of hyperparameters. On the other hand, the latest progress with high-dimensional hyperparameter optimization (HD-HPO) methods for

In embedded computing domains, including the automotive industry, complex functionalities are split across multiple tasks that form task chains. These tasks are functionally dependent and communicate partial computations through shared memory slots based on the Logical Execution Time (LET) paradigm. This paper introduces a model that captures the behavior of a producer-consumer pair of tasks in a

We are currently witnessing the second wave of cloud services that go beyond web storefronts and IT systems, aiming for digitalization of industrial systems. Automation and time-sensitive systems are now taking their first steps toward the cloud. The AORTA project aims to facilitate this transition by providing key technology components needed for real-time services running in the cloud. The ambit

The theme of this issue is infrastructure as code (IaC). This concept typically refers to the application of software engineering practices in managing deployment infrastructure. Moving from physical hardware to virtual machines using configuration files that are way more flexibleâ€Â"and they can be version controlled and distributed. As such, IaC paves the way for automation and DevOps. This col

We study construction problems where multiple robots rearrange stacks of prefabricated blocks to build stable structures. These problems are challenging due to ramifications of actions, true concurrency, and requirements of supportedness of blocks by a surface or a robot and stability of the overall structure at all times. We propose a general elaboration tolerant method to solve a wide range of c

As the number of antennas scales up, research efforts have been directed towards finding decentralized receiver solutions for multi-antenna architectures. In a recent paper, a novel matrix decomposition - the WAX decomposition - was proposed, which has direct bearing on characterizing the level of decentralization that is possible if the complexity of the decentralized processing is limited. Howev

Integration of machine learning (ML) components in critical applications introduces novel challenges for software certification and verification. New safety standards and technical guidelines are under development to support the safety of ML-based systems, e.g., ISO 21448 SOTIF for the automotive domain and the Assurance of Machine Learning for use in Autonomous Systems (AMLAS) framework. SOTIF an

Software corpora are crucial for evaluating research artifacts and ensuring repeatability of outcomes. Corpora such as DaCapo and Defects4J provide a collection of real-world open-source projects for evaluating the robustness and performance of software tools like static analysers. However, what do we know about these corpora? What do we know about their composition? Are they really suited for our

Programming robots for tasks involving force interaction is difficult, since both the knowledge of the task and the dynamics of the robots are necessary. An immersive haptic interface for task demonstration is proposed, where theoperator can sense and act through the robot. This is achieved by coupling two robotic systems with virtual constraints such that they have the same coordinates in the ope

This paper presents a stabilized scheme that solves the wave propagation problem in a general bianisotropic, stratified medium. The method utilizes the concept of propagators, i.e., the wave propagation operators that map the total tangential electric and magnetic fields from one plane in the slab to another. The scheme transforms the propagator approach into a scattering matrix form, where a spec