Swedish Institute of Computer Science Publications Database
Not a member yet
2787 research outputs found
Sort by
Robust and Scalable DTLS Session Establishment
The Datagram Transport Layer Security (DTLS) protocol is highly vulnerable to a form of denial-of-service attack (DoS), aimed at establishing a high number of invalid, half-open, secure sessions. Moreover, even when the efficient pre-shared key provisioning mode is considered, the key storage on the server side scales poorly with the number of clients. SICS Swedish ICT has designed a security architecture that efficiently addresses both issues without breaking the current standard
An Online Decision Support Framework for Integration Test Selection and Prioritization (Doctoral Symposium)
Test case prioritization and selection techniques can lead to early detection of faults and can also enable more efficient usage of testing resources. The available methods of test case selection and prioritization suffer from one or several weaknesses. For example, most of them are only applicable at unit level and do not consider the increasing complexity when subsystems get integrated, especially in the context of embedded system development. Furthermore, the existing methods do not take into account results of current test execution to identify and optimize order for rest of the current execution (i.e., they are not online). In this paper, we propose a tool-supported framework, as an online decision support system (DSF), for prioritizing and selecting integration test cases for embedded system development. DSF provides a complete loop for selecting the best candidate test case for execution based on a finite set of criteria. The results of multiple case studies, done on a train control management subsystem from Bombardier Transportation (BT) in Sweden, demonstrate how our approach helps in a systematic way to select test cases such that it can lead to early detection of faults while respecting various criteria. We are also working towards proposing a customized return on investment (ROI) metric to quantify the economic benefits in optimizing system integration testing using our proposed DSF
A Research Roadmap for Test Design in Automated Integration Testing of Vehicular Systems
An increasing share of the innovations emerging in the vehicular industry are implemented in software. Consequently, vehicular electrical systems are becoming more and more complex with an increasing number of functions, computational nodes and complex sensors, e.g., cameras and radars. The introduction of autonomous functional components, such as advanced driver assistance systems, highlight the foreseeable complexity of different parts of the system interacting with each other and with the human driver. It is of utmost importance that the testing effort can scale with this increasing complexity. In this paper, we review the challenges that we are facing in integration testing of complex embedded vehicular systems. Further, based on these challenges we outline a set of research directions for semi-automated or automated test design and execution in integration testing of vehicular systems. While the discussion is exemplified with our hands-on experience of the automotive industry, much of the concepts can be generalised to a broader setting of complex embedded systems
The Soma Mat and Breathing Light
We present the experience of using the prototypes Soma Mat and Breathing Light. These are designed with a somaesthetic approach to support a meditative bodily introspection. We use light and heat as modalities to subtly guide participants to turn their gaze inwards, to their own bodies. People trying our prototypes reports on a feeling of relaxation, softer movements, and an increased awareness of their own breathing
Militär kompetens i de tänkande maskinernas tidsålder
Recent advances in Artificial Intelligence have spawned a prolific debate about the future of employment and labour in a world where even intellectual work can be performed by algorithms and robots rather than humans. This article discusses the impact of this development on military professions, and on the very concept of military professionalism. Considering military capability to be built from physical, conceptual, and moral factors, it is observed that with increasing automation of the first and second factors, the human contribution will increasingly be in the third, moral, realm. It is also argued that such a human contribution can still tip the scales, even in a high-tech conflict. Reasoning by analogies, it is claimed that ‘man or machine’ is a false dichotomy, that the challenge is, rather, to find the best combination of the two and that this holds true also in highly intellectual aspects of warfighting, such as intelligence analysis. The article is concluded with some reflections on the challenge of creating innovative military organizations that are tolerant to new divisions of labour between man and machine
An Industrial Case Study on Measuring the Quality of the Requirements Scoping Process
Decision making and requirements scoping occupy central roles in helping to develop products that are demanded by the customers and ensuring company strategies are accurately realized in product scope. Many companies experience continuous and frequent scope changes and fluctuations but struggle to measure the phenomena and correlate the measurement to the quality of the requirements process. We present the results from an exploratory interview study among 22 participants working with requirements management processes at a large company that develops embedded systems for a global market. Our respondents shared their opinions about the current set of requirements management process metrics as well as what additional metrics they envisioned as useful. We present a set of metrics that describe the quality of the requirements scoping process. The findings provide practical insights that can be used as input when introducing new measurement programs for requirements management and decision making
Repurposing Bits and Pieces of the Digital
Repurposing refers to a broad set of practices, such as recycling or upcycling, all aiming to make better use of or give new life to physical materials and artifacts. While these practices have an obvious interest regarding sustainability issues, they also bring about unique aesthetics and values that may inspire design beyond sustainability concerns. What if we can harness these qualities in digital materials? We introduce Delete by Haiku, an application that transforms old mobile text messages into haiku poems. We elaborate on how the principles of repurposing -- working on a low budget, introducing chance and combining the original values with the new ones -- can inform interaction design in evoking some of these aesthetic values. This approach changes our views on what constitutes "digital materials" and the opportunities they offer. We also connect recent debates concerning ownership of data with discussions in the arts on the "Death of the Author.
Providing User Security Guarantees in Public Infrastructure Clouds
The infrastructure cloud (IaaS) service model offers improved resource flexibility and availability, where tenants – insulated from the minutiae of hardware maintenance – rent computing resources to deploy and operate complex systems. Large-scale services running on IaaS platforms demonstrate the viability of this model; nevertheless, many organisations operating on sensitive data avoid migrating operations to IaaS platforms due to security concerns. In this paper, we describe a framework for data and operation security in IaaS, consisting of protocols for a trusted launch of virtual machines and domain-based storage protection. We continue with an extensive theoretical analysis with proofs about protocol resistance against attacks in the defined threat model. The protocols allow trust to be established by remotely attesting host platform configuration prior to launching guest virtual machines and ensure confidentiality of data in remote storage, with encryption keys maintained outside of the IaaS domain. Presented experimental results demonstrate the validity and efficiency of the proposed protocols. The framework prototype was implemented on a test bed operating a public electronic health record system, showing that the proposed protocols can be integrated into existing cloud environments