Swedish Institute of Computer Science Publications Database
Not a member yet
2787 research outputs found
Sort by
Performance and overhead evaluation of OSCOAP and DTLS
No full textIn this report we compare the OSCOAP protocol to CoAP over
DTLS-PSK to evaluate their performance in constrained devices
The GRADE Decision Canvas for Classification and Reflection on Architecture Decisions
No full textThis paper introduces a decision canvas for capturing architecture decisions in software and systems engineering. The canvas leverages a dedicated taxonomy, denoted GRADE, meant for establishing the basics of the vocabulary for assessing and choosing architectural assets in the development of software-intensive systems. The canvas serves as a template for practitioners to discuss and document architecture decisions, i.e., capture, understand and communicate decisions among decision-makers and to others. It also serves as a way to reflect on past decision-making activities devoted to both tentative and concluding decisions in the development of software-intensive systems. The canvas has been assessed by means of preliminary internal and external evaluations with four scenarios. The results are promising as the canvas fulfills its intended objectives while satisfying most of the needs of the subjects participating in the evaluation
Range-consistent forbidden regions of Allen’s relations
No full textFor all 8192 combinations of Allen's 13 relations between one task with origin o_i and fixed length ℓ _i and another task with origin o_j and fixed length ℓ _j, this paper shows how to systematically derive a formula F (o_j, o_j, ℓ_i, ℓ_j), where o_j and o_j respectively denote the earliest and the latest origin of task j, evaluating to a set of integers which are infeasible for o_i for the given combination. Such forbidden regions allow maintaining range-consistency for an Allen constraint
Towards Automating Integration Testing of .NET Applications using Roslyn
No full textThe increasing complexity and size of software products combined with pressure to have shorter time-to-market is
making manual testing techniques too costly and unscalable. This is particularly observed in industrial systems where continuous integration and deployment are applied. Therefore, there is a growing need to automate the testing process and make it scalable with respect to the context of real-world and large industrial applications. While there are already some solutions for generation of unit level test cases, automatic generation of integration level test cases to verify interaction of software components poses specific challenges especially in object-oriented applications. In this paper, we describe our ongoing work in introducing a solution to automate generation of integration test cases for C# applications by exploiting the code analysis capabilities of Microsoft .NET compiler platform known as Roslyn. This is done in collaboration with ABB Industrial Automation Control Technologies (IACT) in Västerås-Sweden, where the software for 800xA distributed control system is developed
Characterization of trade-off preferences between non-functional properties
No full textEfficient design and evolution of complex software intensive systems rely on the ability to make informed decisions as early as possible in the life cycle. Such informed decisions should take both the intended functional and non-functional properties into account. Especially regarding the latter, it is both necessary to be able to predict properties and to prioritize them according to well-defined criteria. In this paper we focus on the latter problem, that is to say how to make trade-offs between non-functional properties of software intensive systems. We provide an approach based on the elicitation of utility functions from stake-holders and subsequent checks for consistency among these functions. The approach is exploitable through an easy-to-use GUI, which is also presented. Moreover, we describe the setup and the outcome of our two-fold validation based on exploratory elicitations with students and practitioners
Automated Probabilistic System Architecture Analysis in the Multi-Attribute Prediction Language (MAPL): Iteratively Developed using Multiple Case Studies
No full textThe Multi-Attribute Prediction Language (MAPL), an analysis metamodel for non-functional qualities of system architectures, is introduced. MAPL features automate analysis in five non-functional areas: service cost, service availability, data accuracy, application coupling, and application size. In addition, MAPL explicitly includes utility modeling to make trade-offs between the qualities. The article introduces how each of the five non-functional qualities are modeled and quantitatively analyzed based on the ArchiMate standard for enterprise architecture modeling and the previously published Predictive, Probabilistic Architecture Modeling Framework, building on the well-known UML and OCL formalisms. The main contribution of MAPL lies in the probabilistic use of multi-attribute utility theory for the trade-off analysis of the non-functional properties. Additionally, MAPL proposes novel model-based analyses of several non-functional attributes. We also report how MAPL has iteratively been developed using multiple case studies
Being, Bringing, Bridging - Three Aspects of Sketching with Nature
No full textWe articulate and reflect on the use of nature as a physical sketching material. We have closely documented explorations of various organic and non-organic materials found during excursions in a local forest and how we used them as resources in sketching. This serves as an exemplar case of how sketching in interaction design can be grounded in empirical explorations of nature. We discuss three examples of sketching based on explorations and experiences with elements and objects from a forest. Processes and characteristics of phenomena in nature such falling leaves, melting and freezing of snow, and perennial growth allowed us to expand our design repertoire and sketching skills, especially as new forms of representations and interactions. Based on this we outline three aspects of how nature can be included in sketching processes: being in nature, bringing nature to the lab, and bridging nature and interaction design
