lnu.sePublikationer
Ändra sökning
Avgränsa sökresultatet
1234567 51 - 100 av 305
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 51.
    D'Angelo, Mirko
    et al.
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM).
    Caporuscio, Mauro
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM).
    SA-Chord: A Self-Adaptive P2P Overlay Network2018Ingår i: Proceedings. 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems: FAS*W 2018. 3–7 September 2018 Trento, Italy, Los Alamitos, CA: IEEE, 2018, s. 118-123Konferensbidrag (Refereegranskat)
    Abstract [en]

    Pure Edge Computing relies on peer-to-peer overlay networks to realize the communication backbone between participating entities. In these settings, entities are characterized by high heterogeneity, mobility, and variability, which introduce runtime uncertainty and may harm the dependability of the network. Departing from state-of-the-art solutions, overlay networks for Pure Edge Computing should take into account the dynamics of the operating environment and self-adapt their topology accordingly, in order to increase the dependability of the communication. To this end, this paper discusses the preliminary development and validation of SA-Chord, a self-adaptive version of the wellknown Chord protocol, able to adapt the network topology according to a given global goal. SA-Chord has been validated through simulation against two distinct goals: (i) minimize energy consumption and, (ii) maximize network throughput. Simulation results are promising and show how SA-Chord efficiently and effectively achieves a given goal.

  • 52.
    D'Angelo, Mirko
    et al.
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM).
    Gerasimou, Simos
    University of York, UK.
    Ghahremani, Sona
    University of Potsdam, Germany.
    Grohmann, Johannes
    University of Würzburg, Germany.
    Nunes, Ingrid
    Federal University of Rio Grande do Sul, Brazil.
    Pournaras, Evangelos
    ETH Zurich, Switzerland.
    Tomforde, Sven
    University of Kassel, Germany.
    On learning in collective self-adaptive systems: state of practice and a 3D framework2019Ingår i: 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), IEEE, 2019, s. 13-24Konferensbidrag (Refereegranskat)
    Abstract [en]

    Collective self-adaptive systems (CSAS) are distributed and interconnected systems composed of multiple agents that can perform complex tasks such as environmental data collection, search and rescue operations, and discovery of natural resources. By providing individual agents with learning capabilities, CSAS can cope with challenges related to distributed sensing and decision-making and operate in uncertain environments. This unique characteristic of CSAS enables the collective to exhibit robust behaviour while achieving system-wide and agent-specific goals. Although learning has been explored in many CSAS applications, selecting suitable learning models and techniques remains a significant challenge that is heavily influenced by expert knowledge. We address this gap by performing a multifaceted analysis of existing CSAS with learning capabilities reported in the literature. Based on this analysis, we introduce a 3D framework that illustrates the learning aspects of CSAS considering the dimensions of autonomy, knowledge access, and behaviour, and facilitates the selection of learning techniques and models. Finally, using example applications from this analysis, we derive open challenges and highlight the need for research on collaborative, resilient and privacy-aware mechanisms for CSAS.

  • 53. de Lemos, Rogerio
    et al.
    Giese, Holger
    Müller, Hausi A.
    Shaw, Mary
    Andersson, Jesper
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    Litoiu, Marin
    Schmerl, Bradley
    Tamura, Gabriel
    Villegas, Norha M.
    Vogel, Thomas
    Weyns, Danny
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    Baresi, Luciano
    Becker, Basil
    Bencomo, Nelly
    Brun, Yuriy
    Cukic, Bojan
    Desmarais, Ron
    Dustdar, Schahram
    Engels, Gregor
    Geihs, Kurt
    Goschka, Karl M.
    Gorla, Alessandra
    Grassi, Vincenzo
    Inverardi, Paola
    Karsai, Gabor
    Kramer, Jeff
    Lopes, Antonia
    Magee, Jeff
    Malek, Sam
    Mankovskii, Serge
    Mirandola, Raffaela
    Mylopoulos, John
    Nierstrasz, Oscar
    Pezze, Mauro
    Prehofer, Christian
    Schaefer, Wilhelm
    Schlichting, Rick
    Smith, Dennis B.
    Sousa, Joao Pedro
    Tahvildari, Ladan
    Wong, Kenny
    Wuttke, Jochen
    Software Engineering for Self-Adaptive Systems: A Second Research Roadmap2013Ingår i: Software Engineering for Self-Adaptive Systems II: International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / [ed] Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Springer, 2013, Vol. 7475, s. 1-32Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    The goal of this roadmap paper is to summarize the state-of-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with a wide range of topics associated with the field, we focus on four essential topics of self-adaptation: design space for self-adaptive solutions, software engineering processes for self-adaptive systems, from centralized to decentralized control, and practical run-time verification & validation for self-adaptive systems. For each topic, we present an overview, suggest future directions, and focus on selected challenges. This paper complements and extends a previous roadmap on software engineering for self-adaptive systems published in 2009 covering a different set of topics, and reflecting in part on the previous paper. This roadmap is one of the many results of the Dagstuhl Seminar 10431 on Software Engineering for Self-Adaptive Systems, which took place in October 2010.

  • 54. Dechesne, Francien
    et al.
    Hattori, Hattoriter Mors, AdriaanSuch, Jose MiguelWeyns, DannyLinnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.Dignum, Frank
    Advanced Agent Technology: Aamas Workshops 2011, Ample, Aose, Arms, Docmas, Itmas, Taipei, Taiwan, May 2-6, 2011. Revised Selected Papers2012Proceedings (redaktörskap) (Refereegranskat)
  • 55.
    Derhami, Shahriar
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    Software Performance Analysis for ARM architectures2015Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Abstract

    This bachelor thesis discusses existing performance analysis techniques for ARM based architecture processors. This includes a comparison between couple of performance analysis applications installed on two Android test devices. Each application monitored CPU performance of the device in three test scenarios. Each test was done in five iterations. The results were compared for each test and for each application. The results of these iterations were compared to find the most stable application among the rest.

     

    Ladda ner fulltext (pdf)
    fulltext
  • 56.
    Ericsson, Morgan
    et al.
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    Löwe, Welf
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    Wingkvist, Anna
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    Probabilistic Quality Models to Improve Communication and Actionability2015Ingår i: 2015 30th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), IEEE: IEEE Press, 2015, s. 1-4Konferensbidrag (Refereegranskat)
    Abstract [en]

    We need to aggregate metric values to make quality assessment actionable. However, due to properties of metric values, i.e., unknown distributions and different measurement scales, they are difficult to aggregate. We present and evaluate a method to aggregate metric values based on observed numerical distributions that are converted into cumulative density functions. We use these to determine the probability of each metric and file, and aggregate these. Our limited study suggests that the method improves correctness, communication, and the ability to take action. However, more evaluation is required.

  • 57.
    Ericsson, Morgan
    et al.
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Wingkvist, Anna
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Löwe, Welf
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    A Software Infrastructure For Information Quality Assessment2011Ingår i: Proceedings of the International Conference on Information Quality, 2011Konferensbidrag (Refereegranskat)
    Abstract [en]

    Information quality assessment of technical documentation is nowadays an integral part of quality management of products and services. These are usually assessed using questionnaires, checklists, and reviews and consequently work that is cumbersome, costly and prone to errors. Acknowledging the fact that only humans can assess certain quality aspects, we suggest complementing these with automatic quality assessment using a software infrastructure that (i) reads information from documentations, (ii) performs analyses on this information, and (iii) visualizes the results to help stakeholders understand quality issues. We introduce the software infrastructure’s architecture and implementation, its adaptation to different formats of documentations and types of analyses, along with a number of real world cases exemplifying feasibility and benefit of our approach. Altogether, our approach contributes to more efficient and automatic information quality assessments. 

  • 58.
    Ericsson, Morgan
    et al.
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Wingkvist, Anna
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Löwe, Welf
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    The Design and Implementation of a Software Infrastructure for IQ Assessment2012Ingår i: International Journal of Information Quality, ISSN 1751-0457, Vol. 3, nr 1, s. 49-70Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Information quality assessment of technical documentation is an integral part of quality management of products and services. Technical documentation is usually assessed using questionnaires, checklists, and reviews. This is cumbersome, costly and prone to errors. Acknowledging the fact that only people can assess certain quality aspects, we suggest complementing these with software-supported automatic quality assessment. The many different encodings and representations of documentation, e.g., various XML dialects and XML Schemas/DTDs, is one problem. We present a system, a software infrastructure, where abstraction and meta modelling are used to define reusable analyses and visualisations that are independent of specific encodings and representations. We show how this system is implemented and how it: 1) reads information from documentations; 2) performs analyses on this information; 3) visualises the results to help stakeholders understand quality issues. We introduce the system, the architecture and implementation, its adaptation to different formats of documentations and types of analyses, along with a number of real world cases exemplifying the feasibility and benefits of our approach. Altogether, our approach contributes to more efficient information quality assessments.

     

  • 59.
    Ericsson, Morgan
    et al.
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Wingkvist, Anna
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Löwe, Welf
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Visualization of Text Clones in Technical Documentation2012Ingår i: Proceedings of SIGRAD 2012: Interactive Visual Analysis of Data / [ed] Andreas Kerren and Stefan Seipel, 2012, s. 79-82Konferensbidrag (Refereegranskat)
    Abstract [en]

    An initial study of how text clones can be detected and visualized in technical documentation, i.e., semi-structured text that describe a product, software, or service. The goal of the visualizations is to support human experts to assess and prioritize the clones, since certain clones can be either intentional or harmless. We study some existing visualizations designed for source code, and provide initial and limited adaption of these. A major difficulty in this adaptation is to manage the semi-structured technical documentation compared to structured source code. 

  • 60.
    Galster, Matthias
    et al.
    University of Groningen ; The Netherlands.
    Avgeriou, ParisUniversity of Groningen, The Netherlands.Weyns, DannyLinnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.Becker, MartinFraunhofer IESE, Germany.
    WICSA/ECSA '12 Proceedings of the WICSA/ECSA 2012 Companion Volume2012Proceedings (redaktörskap) (Refereegranskat)
    Abstract [en]

    Variability is the ability of a software system or artifact to be adapted for specific contexts, in a preplanned manner. Many of today's software systems are built with variability in mind, e.g., product lines and families, self-adaptive systems, open platforms, or service-based systems that support dynamic runtime composition of web services. Variability is reflected in and facilitated through the software architecture. Also, as the software architecture is a reference point for many development activities and for achieving quality attributes, variability should be treated as a first-class and cross-cutting concern in software architecture. Therefore, the Second International Workshop on Variability in Software Architecture (VARSA 2012) aims at identifying critical challenges and progressing the state-of-the-art on variability in software architecture. VARSA 2012 is a follow-up of the First International Workshop on Variability in Software Architecture (VARSA 2011), held at WICSA 2011.

  • 61. Galster, Matthias
    et al.
    Avgeriou, Paris
    Weyns, Danny
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Männistö, Tomi
    Variability in software architecture: current practice and challenges2011Ingår i: Software Engineering Notes: an Informal Newsletter of The Specia, ISSN 0163-5948, E-ISSN 1943-5843, Vol. 36, s. 30-32Artikel i tidskrift (Refereegranskat)
    Ladda ner fulltext (pdf)
    2011SEN
  • 62.
    Galster, Matthias
    et al.
    University of Canterbury, New Zealand.
    Männistö, Tomi
    Helsinki University, Finland.
    Weyns, Danny
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    Avgeriou, Paris
    Groningen University, The Netherlands.
    Variability in software architecture: the road ahead2014Ingår i: Software Engineering Notes: an Informal Newsletter of The Specia, ISSN 0163-5948, E-ISSN 1943-5843, Vol. 39, nr 4, s. 33-34Artikel i tidskrift (Övrigt vetenskapligt)
    Abstract [en]

    Variability in a software system is reflected in and facilitated through the architecture of that system. The Third International Workshop on Variability in Software Architecture (VARSA) was held in conjunction with the 11th Working IEEE/IFIP Conference on Software Architecture 2014 in Sydney, Australia. Based on the findings from previous editions of VARSA, this edition aimed at exploring methods, technologies and tools to handle variability at the software architecture level. The workshop featured one industrial keynote talk, one academic keynote talk and five research paper presentations.

  • 63.
    Galster, Matthias
    et al.
    University of Groningen.
    Weyns, Danny
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    Avgeriou, Paris
    University of Groningen.
    Becker, Martin
    Fraunhofer Institute .
    Variability in software architecture: views and beyond2013Ingår i: Software Engineering Notes: an Informal Newsletter of The Specia, ISSN 0163-5948, E-ISSN 1943-5843, Vol. 38, nr 1, s. 46-49Artikel i tidskrift (Övrigt vetenskapligt)
    Abstract [en]

    Variability (the ability of a software system or software artifact to be adapted for use in a specific context) is reflected in and facilitated through the software architecture. The Second International Workshop on Variability in Software Architecture (VARSA) was held in conjunction with the Joint 10th Working IEEE/IFIP Conference on Software Architecture & 6th European Conference on Software Architecture 2012 in Helsinki, Finland. The workshop aimed at exploring current and emerging methods, languages, notations, technologies and tools to model, implement, and manage variability in the software architecture. It featured one industrial talk, five research paper presentations, and three working group discussions. Working groups discussed topics that emerged during the workshop. This report summarizes the themes of the workshop and presents the results of the working group discussions.

    Ladda ner fulltext (pdf)
    fulltext
  • 64.
    Garcia-Valls, Marisol
    et al.
    Univ Carlos III Madrid, Spain.
    Perez-Palacin, Diego
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM).
    Mirandola, Raffaela
    Politecn Milan, Italy.
    Pragmatic cyber physical systems design based on parametric models2018Ingår i: Journal of Systems and Software, ISSN 0164-1212, E-ISSN 1873-1228, Vol. 144, s. 559-572Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The adaptive nature of cyber physical systems (CPS) comes from the fact that they are deeply immersed in the physical environments that are inherently dynamic. CPS also have stringent requirements on real-time operation and safety that are fulfilled by rigorous model design and verification. In the real-time literature, adaptation is mostly limited to off-line modeling of well known and predicted transitions; but this is not appropriate for cyber physical systems as each transition can have unique and unknown characteristics. In the adaptive systems literature, adaptation solutions are silent about timely execution and about the underlying hardware possibilities that can potentially speed up execution. This paper presents a solution for designing adaptive cyber physical systems by using parametric models that are verified during the system execution (i.e., online), so that adaptation decisions are made based on the timing requirements of each particular adaptation event. Our approach allows the system to undergo timely adaptations that exploit the potential parallelism of the software and its execution over multicore processors. We exemplify the approach on a specific use case with autonomous vehicles communication, showing its applicability for situations that require time-bounded online adaptations.

  • 65.
    García-Valls, Marisol
    et al.
    University Carlos III, Spain.
    Perez-Palacin, Diego
    Politecnico di Milano, Italy.
    Mirandola, Raffaela
    Politecnico di Milano, Italy.
    Extending the verification capabilities of middleware for reliable distributed self-adaptive systems2014Ingår i: 12th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2014, s. 164-169Konferensbidrag (Refereegranskat)
    Abstract [en]

    The design of the embedded software for industrial systems progressively integrates more intelligent functions to ease the integration between the factory floor hardware and operator-friendly control front ends. New software development paradigms such as service oriented architecture (SOA) make it possible by embedding small footprint web servers inside small embedded devices that are connected to the actuators which they control. In general, the timing requirements of such distributed systems are not in the front plane and temporal guarantees provided by most solutions are typically best effort. iLAND is an example of a middleware that supports communication and reconfiguration of distributed services, ensuring temporal correctness. It includes the logic for adapting the architectural structure of a service-based application (i.e., number and connections of the software pieces/functions) to respond to operator requests in a time-deterministic way, focusing only on the temporal correctness. In this paper, we apply the principles of autonomic computing to the middleware design, and we provide a high-level description on how its verification process could be extended beyond the purely temporal properties using more comprehensive formal techniques. We exemplify these ideas with a modified on-line verification manager that suits the needs of a kind of systems with specific timing and functional constraints.

  • 66.
    García-Valls, Marisol
    et al.
    University Carlos III, Spain.
    Perez-Palacin, Diego
    Politecnico di Milano, Italy.
    Mirandola, Raffaela
    Politecnico di Milano, Italy.
    Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification2014Ingår i: Proceedings of the 2014 IEEE 38th Annual Computer Software and Applications Conference, IEEE Press, 2014, s. 332-337Konferensbidrag (Refereegranskat)
    Abstract [en]

    The inherent dynamic nature of Cyber Physical Systems (CPS) requires novel mechanisms to support their evolution over their operation life time. Though typically the development of CPS integrates the software (cyber) design with the physical domain, this contribution concentrates mainly on another essential integration plane: The software design level. This paper presents an approach to support the adaptation process of CPS required by their evolution. It is based on the run-time generation of verified system configurations and their analysis to guide the evolution of the system through correct configurations that meet the functional and timing requirements of the new situations. We show its feasibility by presenting and analyzing the results of the execution for a reduced-scale time-sensitive application that employs a complex verification technique to model functional and temporal aspects of the system.

  • 67.
    Gederin, Ruslan
    et al.
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    Mazepa, Viktor
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    Emulator for complex sensor-based IT system2013Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Developing and testing complex information technology (IT) systems is a difficult task. This is even more difficult if parts of the system, no matter if hard- or software, are not available when needed due to delays or other reasons. The architecture and design cannot be evaluated and existing parts cannot be reliably tested. Thus the whole concept of the system cannot be validated before all parts are in place.

    To solve this problem in an industrial project, where the development of the server-side should be finished and tested (clear for production) while the hardware sensors where designed but not implemented, we developed an emulator (software) for the hardware sensors meeting the exact specification as well as parts of the server solution.

    This allowed proceeding with the server-side development, testing, and system validation without the hardware sensors in place. Following the exact specification should allow replacing the emulator with the real sensors without complications, once they are available. In the end, being able to develop hard- and software in parallel the project can be in production much earlier than performing the development in sequence.

    Ladda ner fulltext (pdf)
    fulltext
  • 68.
    Ghazi, Ahmad Nauman
    et al.
    Blekinge Institute of Technology, Sweden.
    Andersson, Jesper
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM), Institutionen för datavetenskap (DV).
    Torkar, Richard
    Chalmers University of Technology, Sweden.
    Petersen, Kai
    Blekinge Institute of Technology, Sweden.
    Börstler, Jörgen
    Blekinge Institute of Technology, Sweden.
    Information Sources and Their Importance to Prioritize Test Cases in the Heterogeneous Systems Context2014Ingår i: Systems, Software and Services Process Improvement / [ed] Barafort, Béatrix; O'Connor, Rory. V.; Poth, Alexander; Messnarz, Richard, Springer, 2014, Vol. 425, s. 86-98Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    Context: Testing techniques proposed in the literature rely on various sources of information for test case selection (e.g., requirements, source code, system structure, etc.). The challenge of test selection is amplified in the context of heterogeneous systems, where it is unknown which information/data sources are most important.

    Contribution: (1) Achieve in-depth understanding of test processes in heterogeneous systems; (2) Elicit information sources for test selection in the context of heterogeneous systems. (3) Capture the relative importance of the identified information sources.

    Method: Case study research is used for the elicitation and understanding of which information sources are relevant for test case privatization, followed by an exploratory survey capturing the relative importance of information sources for testing heterogeneous systems.

    Results: We classified different information sources that play a vital role in the test selection process, and found that their importance differs largely for the different test levels observed in heterogeneous testing. However, overall all sources were considered essential in test selection for heterogeneous systems.

    Conclusion: Heterogeneous system testing requires solutions that take all information sources into account when suggesting test cases for selection. Such approaches need to be developed and compared with existing solutions.

  • 69.
    Gilson, Fabian
    et al.
    Univ Canterbury, New Zealand.
    Weyns, Danny
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM). Katholieke Univ Leuven, Belgium.
    When Natural Language Processing Jumps into Collaborative Software Engineering2019Ingår i: 2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2019), IEEE, 2019, s. 238-241Konferensbidrag (Refereegranskat)
    Abstract [en]

    Software engineering is an intrinsically collaborative activity, especially in the era of Agile Software Development. Many actors are partaking in development activities, such that a common understanding should be reached at numerous stages during the overall development life-cycle. For a few years now, Natural Language Processing techniques have been employed either to extract key information from free-form text or to generate models from the analysis of text in order to ease the sharing of knowledge across all parties. A significant part of these approaches focuses on retrieving lost domain and architectural knowledge through the analysis of documents, issue management systems or other forms of knowledge management systems. However, these post-processing methods are time-consuming by nature since they require to invest significant resources into the validation of the extracted knowledge. In this paper, inspired by collaborative tools, bots and Natural Language extraction approaches, we envision new ways to collaboratively record and document design decisions as they are discussed. These decisions will be documented as they are taken and, for some of them, static or behavioural models may be generated on-the-fly. Such an interactive process will ensure everyone agrees on critical design aspects of the software. We believe development teams will benefit from this approach because manual encoding of design knowledge will be reduced and will not be pushed to a later stage, when not forgotten.

  • 70.
    Glazunov, Vladimir
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    Quality assessment of a large real world industry project2013Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Quality Monitor is application, which automatically analyzes software projects forquality and makes quality assessment reports. This thesis project aims to instantiate Quality Monitor for a large real-world .Net project and to extend Quality Monitor by considering other data sources than just source code. This extended analysis scope includes bug reports, features, and time reports besides .Net assemblies (code) as artifacts. Different tools were investigated for the analysis of code, bug reports, features and time reports.

    The analysis of .Net assemblies was implemented as none of the existing tools under evaluation met all requirements. The analysis of .Net assemblies was successfully completed; it allows the extraction data necessary for creating Call and Control Flow graphs. These graphs are used for calculating additional metrics allowing for an improved assessment of quality of the project. Implementation of .Net assembly reader was tested using large real world industrial project.

    Other data sources were analyzed theoretically, but excluded for further implementation. Altogether the thesis includes an analysis of possible Quality Monitor extensions including their requirements, design, and (partially) their implementation and evaluation.

    Ladda ner fulltext (pdf)
    fulltext
  • 71.
    Griffith, Ioseff
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM).
    Procedural Narrative Generation Through Emotionally Interesting Non-Player Characters2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Procedural content generation is a technique used to produce a wide range of computer-generated content in many industries today, the video game industry in particular. This study focuses on how procedural content generation can be applied to create emotionally interesting non-player characters and through this, generate narrative snippets that can immerse and interest a reader. The main points examined are how to achieve this using a modular approach to personality and behaviour, how well readers can distinguish whether motivations and interactions are generated by a computer or written by a human, and to what degree a reader can be immersed in a computer-generated narrative. Procedural narrative could help to reduce workload on large projects or lower costs, and is an area in which there is much room for further research. To answer these problems, a literature review of existing techniques for the creation of emotionally interesting non-player characters was conducted and used to design and construct a prototype implementation for generating procedural narrative. The output of this narrative was dressed up to match the style of a human text and A/B testing was conducted utilising a survey in order to evaluate and compare responses to the two texts. Ultimately, the results showed very little difference between the perception of the human-written text and the computer-written text, with the only aspects found lacking in the computer-written text being clarity of emotion and foreshadowing.

    Ladda ner fulltext (pdf)
    fulltext
  • 72.
    Grinchenko, Oleksandr
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Difficulty of porting MVC Supervising Controller game from Windows OS to Android OS platform.2012Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Ladda ner fulltext (pdf)
    fulltext
  • 73.
    Gumeniuk, Oleg
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Design and implementation of a next generation web interaction SaaS prototype2012Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Ladda ner fulltext (pdf)
    Master_Thesis_Oleg_Gumeniuk
  • 74. Haesevoets, R.
    et al.
    Weyns, Danny
    Katholieke Universiteit Leuven.
    Holvoet, Tom
    Joosen, W.
    A formal model for self-adaptive and self-healing organizations2009Ingår i: ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009. SEAMS’09., 2009, s. 116-125Konferensbidrag (Refereegranskat)
    Abstract [en]

    Multi-agent systems typically consist of autonomous entities, capable of adapting their behavior and interaction patterns in dynamic environments, making them an interesting approach for modeling self-adaptive systems. The interactions among agents, a key challenge in engineering multi-agent systems, are often structured and managed by means of organizations. In previous work we have built a prototype of an organization middleware, which encapsulates the management of dynamic organizations as a reusable service and offers organizations as first-class programming abstractions to application developers. To develop a mature middleware, we face two key challenges: realizing the integration of the middleware with the rest of the system in a disciplined way and assuring properties, such as self-adaptivity and self- healing, of services offered by the middleware. This paper presents a formal specification of an organization and management model for dynamic organizations, a first step in facing these challenges. Both models contribute to the integration of the middleware with the rest of the system. The organization model rigorously describes the main programming abstractions to which application developers have to conform, while the management model can be used to derive specific monitoring and control points required by the middleware to realize self-* properties. In addition, the management model offers a foundation to reason about self- * properties.

  • 75.
    Haesevoets, Robrecht
    et al.
    Katholieke Universiteit Leuven.
    Weyns, Danny
    Katholieke Universiteit Leuven.
    Christiaens, Lieven
    Katholieke Universiteit Leuven.
    Meulders, Fried
    Katholieke Universiteit Leuven.
    Holvoet, Tom
    Katholieke Universiteit Leuven.
    Joosen, Wouter
    Katholieke Universiteit Leuven.
    Hierarchical Organizations for Decentralized Traffic Monitoring2008Konferensbidrag (Refereegranskat)
    Abstract [en]

    The use of floating car data is an interesting method tomonitor traffic. Vehicles act as local traffic sensors anddata from individual vehicles is aggregated into higher-levelinformation. We propose a number of reusable organizationabstractions and a software architecture to support amulti-agent approach for floating car data. The abstractionsare based on the idea of hierarchical organizationswhich are used as units of data aggregation. In this approach,an agent is deployed on each vehicle. At the lowestlevel, nearby vehicle agents collaborate to aggregate individualtraffic data and distribute it to local clients such astraffic light controllers. At higher-levels, organizations arebuilt up from lower-level organizations and represent specificaggregation interests such as the total congestion levelin a specific area. This decentralized approach avoids thebottleneck of a centralized control center and makes the systemmore robust and scalable. A prototype was built, supportinga two-level organization structure, and is used in asimulated traffic environment as initial validation.1 Introduction

  • 76.
    Haesevoets, Robrecht
    et al.
    Katholieke Universiteit Leuven, Belgium.
    Weyns, Danny
    Katholieke Universiteit Leuven, Belgium.
    Cruz Torres, Mario Henrique
    Katholieke Universiteit Leuven, Belgium.
    Helleboogh, Alexander
    Katholieke Universiteit Leuven, Belgium.
    Holvoet, Tom
    Katholieke Universiteit Leuven, Belgium.
    Joosen, Wouter
    Katholieke Universiteit Leuven, Belgium.
    A middleware model in alloy for supply chain-wide agent interactions2011Ingår i: Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers / [ed] Danny Weynes & Marie-Pierre Gleizes, Berlin: Springer, 2011, Vol. 6788, s. 249s. 189-204Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    To support the complex coordination activities involved in supply chain management, more and more companies have autonomous software agents acting on their behalf. Due to confidentiality concerns, such as hiding sensitive information from competitors, agents typically only have a local view on the supply chain. In many situations, however, companies would like to expand the view of their agents to share valuable information such as transportation tracking and service delays. Non of the participating companies, however, has enough knowledge or authority to realize such interactions in a controlled manner.

    In this paper, we present an organization middleware that offers a collaboration platform and enables agents to interact across the boundary of local interactions. Policies and laws enable companies to define the scope of interactions of their agents and the restrictions on their exposed information. Using Alloy, we formally define the relation between the interactions offered by the middleware, the exposed information and the provided policies and laws. This allows us to guarantee a number properties which are of particular interest to companies using the middleware.

    Ladda ner fulltext (pdf)
    fulltext
  • 77.
    Haesevoets, Robrecht
    et al.
    Katholieke Universiteit Leuven.
    Weyns, Danny
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    Holvoet, Tom
    Katholieke Universiteit Leuven.
    Architecture-Centric Support for Adaptive Service Collaborations2014Ingår i: ACM Transactions on Software Engineering and Methodology, ISSN 1049-331X, E-ISSN 1557-7392, Vol. 23, nr 1, s. Article ID: 2-Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    In today’s volatile business environments, collaboration between information systems, both within and across company borders, has become essential to success. An efficient supply chain, for example, requires the collaboration of distributed and heterogeneous systems of multiple companies. Developing such collaborative applications and building the supporting information systems poses several engineering challenges. A key challenge is to manage the ever growing design complexity. In this article, we argue that software architecture should play a more prominent role in the development of collaborative applications. This can help to better manage design complexity by modularizing collaborations and separating concerns. State of the art solutions, however, often lack proper abstractions for modeling collaborations at architectural level or do not reify these abstractions at detailed design and implementation level. Developers, on the other hand, rely on middleware, business process management, and Web services, techniques that mainly focus on low-level infrastructure. To address the problem of managing the design complexity of collaborative applications, we present Macodo. Macodo consists of three complementary parts: (1) a set of abstractions for modeling adaptive collaborations, (2) a set of architectural views, the main contribution of this article, that reify these abstractions at architectural level, and (3) a proof of concept middleware infrastructure that supports the architectural abstractions at design and implementation level. We evaluate the architectural views in a controlled experiment. Results show that the use of Macodo can reduce fault density and design complexity, and improve reuse and productivity. The main contributions of this article are illustrated in a supply chain management case.

    Ladda ner fulltext (pdf)
    fulltext
  • 78.
    Haesevoets, Robrecht
    et al.
    Katholieke Universiteit Leuven.
    Weyns, Danny
    Katholieke Universiteit Leuven.
    Holvoet, Tom
    Katholieke Universiteit Leuven.
    Joosen, Wouter
    Katholieke Universiteit Leuven.
    Valckenaers, Paul
    Katholieke Universiteit Leuven.
    Hierarchical Organizations and a Supporting Software Architecture for Floating Car Data2008Ingår i: Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2008, s. 31-36Konferensbidrag (Refereegranskat)
    Abstract [en]

    The use of floating car data is an interesting method to monitor traffic. Vehicles act as local traffic sensors and data from individual vehicles is aggregated into higher-level information. We propose a number of reusable organization abstractions and a software architecture to support a multi-agent approach applied to floating car data. The abstractions are based on the idea of hierarchical organizations which are used as units of data aggregation. In this approach, an agent is deployed on each vehicle. At the lowest level, nearby, vehicle agents collaborate to aggregate individual traffic data and distribute it to local clients such as traffic light controllers. At higher-levels, organizations are built up from lower-level organizations and represent specific aggregation interests such as the total congestion level in a specific area. A prototype was built, supporting a two-level organization structure, and is used in a simulated traffic environment as initial validation.

  • 79.
    Hassan, Jawad
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Structured Text Compiler Targeting XML2010Självständigt arbete på avancerad nivå (masterexamen), 30 poäng / 45 hpStudentuppsats (Examensarbete)
    Ladda ner fulltext (pdf)
    FULLTEXT01
  • 80.
    Helleboogh, Alexander
    et al.
    Katholieke Universiteit Leuven.
    Holvoet, Tom
    Katholieke Universiteit Leuven.
    Weyns, Danny
    Katholieke Universiteit Leuven.
    Time management support for simulating multi-agent systems2004Konferensbidrag (Refereegranskat)
    Abstract [en]

    Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks explicit support to express the timing characteristics of a simulation at the level of activities within a MAS. Moreover, integrating a MAS into a simulation platform requires the developer to alter the design of a MAS. In this paper, we first propose semantic duration models to capture timing characteristics that reflect the semantics of MAS activities in an explicit model. Second, we describe a simulation platform prototype that supports semantic duration models and integrates time management into a MAS without requiring the developer to alter the design of a MAS. We employ aspect-oriented programming technology as it allows separation of concerns, a crucial software engineering requirement. We use the Packet World as a case to illustrate our approach

  • 81. Helleboogh, Alexander
    et al.
    Weyns, Danny
    Katholieke Universiteit Leuven.
    Holvoet, Tom
    On the role of software architecture for simulating multi-agent systems2009Ingår i: Multi-agent systems: simulation and applications / [ed] Adelinde Uhrmacher ; Danny Weyns, Boca Raton: Taylor & Francis, 2009Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 82.
    Helleboogh, Alexander
    et al.
    Katholieke Universiteit of Leuven.
    Weyns, Danny
    Katholieke Universiteit of Leuven.
    Holvoet, Tom
    Katholieke Universiteit of Leuven.
    Boucké, Nelis
    Katholieke Universiteit of Leuven.
    On adls and tool support for documenting view-based architectural descriptions2008Konferensbidrag (Refereegranskat)
    Abstract [en]

    DistriNet is a research lab with +60 researchers. The general domain of expertise and innovation of DistriNet is the development of advanced open and distributed software applications. The research is application driven and is conducted in close collaboration with industry. One particular class of applications we target are decentralized systems that are characterized by a high degree of dynamism and change in either the problem or the system's environment. Example domains of interest are manufacturing control, supply chains, inland shipping, and traffic control.

    To document software architecture, we follow the approach of views and beyond (V&B). V&B is an approach for documenting software architecture by means of a set of relevant views and adding information that applies to more than one view. Views describe (parts of) the system from different perspectives, exposing different quality attributes that are of interest for particular stakeholders.

    In several projects in which we applied V&B, we experience that managing and maintaining a consistent architectural documentation is a tedious task, including maintaining the mapping between views, maintaining the related view packets within each view packet, updating context diagrams, maintaining consistency w.r.t. combined views, etc.

    While V&B offers a well-defined approach to organize architectural documentation,there is a lack of support in ADLs and associated tools for documenting softwarearchitectures that comprise several, interrelated views. Existing ADL tools (e.g. AADL,ArchStudio, AcmeStudio) offer several ways to organize architectural documentation, butdo not support views as first-class concepts of architectural documentation. From ourexperience, there is a gap between the state of the art on documenting softwarearchitectures and the state of the practice in ADL tool-support for documentingarchitecture.We advocate that developing ADLs and tool support specifically targeted at view-basedarchitectural descriptions is imperative. This can significantly increase the level ofcomfort for managing view-based architectural descriptions. As a first step, weinvestigate extending an existing ADL, i.e. xADL, with support for documenting anumber of relations among view packets of structural views. We integrated this extensionin ArchStudio, and used this extended tool for documenting the architectures of a trafficcontrol system as well as a digital newspaper publishing system. We experienced that thetool significantly improves consistency management. Another interesting benefit is that the tool enables an architect to generate composed views on the fly, which was founduseful in the interaction with stakeholders, particularly developers.Currently, we are expanding the scope of xADL and ArchStudio with support fordocumenting view packets and their relations across multiple views. From ourexperience, we put forward a number of challenges that are key to translating the existingbody of knowledge on views and relations into proper tool support. These challengesinclude (1) selecting a set of practical views and relations; (2) formally specifying theseviews and relations, and (3) designing a tool that provides an intuitive user interface,while hiding the complexity that lies beneath.

  • 83.
    Holvoet, Tom
    et al.
    Katholieke Universiteit Leuven.
    Weyns, Danny
    Katholieke Universiteit Leuven.
    Valckenaers, Paul
    Katholieke Universiteit Leuven.
    Delegate mas patterns for large-scale distributed coordination and control applications2010Konferensbidrag (Refereegranskat)
  • 84.
    Honar, Elnaz
    et al.
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Mortazavi Jahromi, Seyed AmirHossein
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    A Framework for Call Graph Construction2010Självständigt arbete på avancerad nivå (magisterexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    In object oriented programming, a Call Graph represents the calling relationships between the program’s methods. To be more precise, a Call Graph is a rooted directed graph where each node of the graph represents a method and each edge (u, v) represents a method call from method u to method v.

    Focus of this thesis is on building a framework for Call Graph construction algorithms which can be used in program analysis. Our framework is able to be initialized by different front-ends and constructs various Call Graph algorithms. Here, we instantiate framework with two bytecode readers (ASM and Soot) as front-ends and implement three Call Graph construction algorithms (CHA, RTA and CTA).

    At first, we used two above mentioned bytecode readers to read the bytecode of a specific Java program, then we found reachable methods for each invoked method; meanwhile we kept obtained details on our own data structures.  Creating data structures for storing required information about Classes, Methods, Fields and Statements, gives us a great opportunity to implement an independent framework for applying well known Call Graph algorithms. As a result of these data structures, Call Graph construction will not depend on bytecode readers; since, whenever we read the bytecode of a program, we accumulate all necessary points in pre-defined data structures and implement our Call Graphs based on this accumulated data.

    Finally, the result is a framework for different Call Graph construction algorithms which is the goal of this thesis. We tested and evaluated the algorithms with a variety of programs as the benchmark and compared the bytecode readers besides the three Call Graph algorithms in different aspects.

    Ladda ner fulltext (pdf)
    FULLTEXT01
  • 85.
    Humeniuk, Vladyslav
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM).
    Android Architecture Comparison: MVP vs. VIPER2019Självständigt arbete på avancerad nivå (magisterexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Android application development has been of interest since the first Android smartphone was released. Applications are constantly getting more complex as well as smartphone hardware is getting better. New ways of developing Android applications are developed with time. There is Model View Presenter architecture that is the most used for android applications now and new View InteractorPresenter Entity Router architecture that is becoming more popular. But there is no empirical data to compare these architectures to understand what architecture will fit better for developing new applications. This thesis aims to compare the MVP and the VIPER android architectures using a few important metrics like maintainability, modifiability, testability, and performance. Results will answer what architecture is better for developing different types of projects. VIPERarchitecture showed better performance results and maintenance metrics comparison shows that both architectures have advantages and disadvantages.

    Ladda ner fulltext (pdf)
    fulltext
  • 86.
    Hönel, Sebastian
    et al.
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM).
    Ericsson, Morgan
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM).
    Löwe, Welf
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM).
    Wingkvist, Anna
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM).
    A changeset-based approach to assess source code density and developer efficacy2018Ingår i: ICSE '18 Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, IEEE , 2018, s. 220-221Konferensbidrag (Refereegranskat)
    Abstract [en]

    The productivity of a (team of) developer(s) can be expressed as a ratio between effort and delivered functionality. Several different estimation models have been proposed. These are based on statistical analysis of real development projects; their accuracy depends on the number and the precision of data points. We propose a data-driven method to automate the generation of precise data points. Functionality is proportional to the code size and Lines of Code (LoC) is a fundamental metric of code size. However, code size and LoC are not well defined as they could include or exclude lines that do not affect the delivered functionality. We present a new approach to measure the density of code in software repositories. We demonstrate how the accuracy of development time spent in relation to delivered code can be improved when basing it on net-instead of the gross-size measurements. We validated our tool by studying ca. 1,650 open-source software projects.

  • 87.
    Iakovenko, Volodymyr
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    Visualization of complex events in multithreading systems2013Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Today more and more applications become multithreaded, because parallel processing of multiple threads improves program performance on computer systems that have multiple CPUs. With growing of amount of multithreaded applications also amount of problems increases, which can occur during program execution.

    There are many tools, which help with multithreading debugging. They all differ from each other and they are all good in solving specific kinds of problems that they aim to solve, but still there is much work has to be done in multithreading debugging area.

    The aim of this project is to create a solution, with use of each users can define events, which are executed in their single- or multithreaded applications and should be visualized for future debugging. This will help user to see how the application works on a logical level.

    Ladda ner fulltext (pdf)
    fulltext
  • 88.
    Iftikhar, Muhammad Usman
    et al.
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM).
    Ramachandran, Gowri Sankar
    KU Leuven, Belgium.
    Bollansée, Pablo
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM). KU Leuven, Belgium.
    Weyns, Danny
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM). KU Leuven, Belgium.
    Hughes, Danny
    KU Leuven, Belgium.
    DeltaIoT: A Self-Adaptive Internet of Things Exemplar2017Ingår i: Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017, IEEE, 2017, s. 76-82Konferensbidrag (Refereegranskat)
    Abstract [en]

    Internet of Things (IoT) consists of networked tiny embedded computers (motes) that are capable of monitoring and controlling the physical world. Examples range from building security monitoring to smart factories. A central problem of IoT is minimising the energy consumption of the motes, while guaranteeing high packet delivery performance, regardless of uncertainties such as sudden changes in traffic load and communication interference. Traditionally, to deal with uncertainties the network settings are either hand-tuned or over-provisioned, resulting in continuous network maintenance or inefficiencies. Enhancing the IoT network with self-adaptation can automate these tasks. This paper presents DeltaIoT, an exemplar that enables researchers to evaluate and compare new methods, techniques and tools for self-adaptation in IoT. DeltaIoT is the first exemplar for research on self-adaptation that provides both a simulator for offline experimentation and a physical setup that can be accessed remotely for real-world experimentation. © 2017 IEEE.

  • 89.
    Iftikhar, Muhammad Usman
    et al.
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Rauf, Muhammad
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Mobile Communication in Distributed Environment2010Självständigt arbete på avancerad nivå (magisterexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    The thesis purpose was to develop a framework for coordination of devices over mobile environment. The framework is specially designed for mobile devices due to constraints in mobiles of less memory and resources, enables zero configuration for communication. The purpose of study was to investigate existing tools and technologies for mobile communication. For this purpose UPnP (Universal Plug and Play) architecture is investigated over Prism-MW (Programming in the small and many - middleware) for android platform. We have developed the control point devices communicate with server devices. And also we have developed demonstrator application to show how devices will work.

    Ladda ner fulltext (pdf)
    FULLTEXT01
  • 90.
    Iftikhar, Muhammad Usman
    et al.
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Weyns, Danny
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System2012Ingår i: Electronic Proceedings in Theoretical Computer Science / [ed] Natallia Kokash and António Ravara, 2012, Vol. 91, nr 91, s. 45-62Konferensbidrag (Refereegranskat)
    Abstract [en]

    Self-adaptation is a promising approach to manage the complexity of modern software systems. A self-adaptive system is able to adapt autonomously to internal dynamics and changing conditions in the environment to achieve particular quality goals. Our particular interest is in decentralized selfadaptive systems, in which central control of adaptation is not an option. One important challenge in self-adaptive systems, in particular those with decentralized control of adaptation, is to provide guarantees about the intended runtime qualities. In this paper, we present a case study in which we use model checking to verify behavioral properties of a decentralized self-adaptive system. Concretely, we contribute with a formalized architecture model of a decentralized traffic monitoring system and prove a number of self-adaptation properties for flexibility and robustness. To model the main processes in the system we use timed automata, and for the specification of the required properties we use timed computation tree logic. We use the Uppaal tool to specify the system and verify the flexibility and robustness properties.

    Ladda ner fulltext (pdf)
    2012FOCLASA.pdf
  • 91.
    Iftikhar, Muhammad Usman
    et al.
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    Weyns, Danny
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV). Katholieke University Leuven, Belgium.
    ActivFORMS: A Runtime Environment for Architecture-Based Adaptation with Guarantees2017Ingår i: 2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE WORKSHOPS (ICSAW), IEEE, 2017, s. 278-281Konferensbidrag (Refereegranskat)
    Abstract [en]

    Modern software systems are exposed to various types of uncertainties, such as dynamics in the available resources that are difficult to predict and goals that may change during operation. Self-adaptation equips a software system with a feedback loop that collects additional knowledge at runtime, monitors the system and adapts it when necessary to maintain its quality goals, regardless of uncertainties. One challenging problem of self-adaptation is to provide guarantees for the goals that are subject of adaptation. In this paper, we present the ActivFORMS runtime environment to realise self- adaptation with guarantees. With ActivFORMS designers model and verify a feedback loop. The verified models can directly be deployed on top of a virtual machine that executes the models to realise adaption. The approach avoids coding of the models, which is an error-prone task. The runtime environment visualises the executing models, the state of the goals, and it supports on the fly updates of the models and goals. We illustrate the approach with an adaptation scenario of an IoT building security example.

  • 92.
    Iftikhar, Muhammad Usman
    et al.
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV). Linnaeus University.
    Weyns, Danny
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    ActivFORMS: Active Formal Models for Self-adaptation2014Ingår i: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, ACM Press, 2014, s. 125-134Konferensbidrag (Refereegranskat)
    Abstract [en]

    Self-adaptation enables a software system to deal autonomously with uncertainties, such as dynamic operating conditions that are difficult to predict or changing goals. A common approach to realize self-adaptation is with a MAPE-K feedback loop that consists of four adaptation components: Monitor, Analyze, Plan, and Execute. These components share Knowledge models of the managed system, its goals and environment. To provide guarantees of the adaptation goals, state of the art approaches propose using formal models of the knowledge. However, less attention is given to the formalization of the adaptation components themselves, which is important to provide guarantees of correctness of the adaptation behavior (e.g., does the execute component execute the plan correctly?). We propose Active FORmal Models for Self-adaptation (ActivFORMS) that uses an integrated formal model of the adaptation components and knowledge models. The formal model is directly executed by a virtual machine to realize adaptation, hence active model. The contributions of ActivFORMS are: (1) the approach assures that the adaptation goals that are verified offline are guaranteed at runtime, and (2) it supports dynamic adaptation of the active model to support changing goals. We show how we have applied ActivFORMS for a small-scale robotic system

    Ladda ner fulltext (pdf)
    fulltext
  • 93.
    Iftikhar, Muhammad Usman
    et al.
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM), Institutionen för datavetenskap (DV). Linnaeus University.
    Weyns, Danny
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM), Institutionen för datavetenskap (DV).
    Assuring System Goals Under Uncertainty with Active Formal Models of Self-adaptation2014Ingår i: Companion Proceedings of the 36th International Conference on Software Engineering, ACM Publications, 2014, s. 604-605Konferensbidrag (Refereegranskat)
    Abstract [en]

    Designing software systems with uncertainties, such as incomplete knowledge about changing system goals, is challenging. One approach to handle uncertainties is self-adaptation, where a system consists of a managed system and a managing system that realizes a feedback loop. The promise of self-adaptation is to enable a system to adapt itself realizing the system goals, regarding uncertainties. To realize this promise it is critical to provide assurances for the self-adaptive behaviours. Several approaches have been proposed that exploit formal methods to provide these assurances. However, an integrated approach that combines: (1) seamless integration of offline and online verification (to deal with inherent limitations of verification), with (2) support for runtime evolution of the system (to deal with new or changing goals) is lacking. In this paper, we outline a new approach named Active FORmal Models of Self-adaptation (ActivFORMS) that aims to deal with these challenges. In ActivFORMS, the formal models of the managing system are directly deployed and executed to realize self-adaptation, guaranteeing the verified properties. Having the formal models readily available at runtime paves the way for: (1) incremental verification during system execution, and (2) runtime evolution of the self-adaptive system. Experiences with a robotic system show promising results.

    Ladda ner fulltext (pdf)
    fulltext
  • 94.
    Iftikhar, Muhammad Usman
    et al.
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Weyns, Danny
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Model Checking of Self-Adaptive Behaviors in a Multi-Agent System for Traffic Monitoring2012Ingår i: Proceedings of European Workshop on Multi-Agent Systems EUMAS 2012, University College Dublin , 2012Konferensbidrag (Refereegranskat)
  • 95.
    Issarny, Valerie
    et al.
    INRIA, France.
    Caporuscio, Mauro
    University of L'Aquila, Italy.
    Georgantas, Nikolaos
    National Technical University of Athens, Greece.
    A Perspective on the Future of Middleware-based Software Engineering2007Ingår i: 2007 Future of Software Engineering (FOSE '07), IEEE Press, 2007, s. 244-258Konferensbidrag (Refereegranskat)
    Abstract [en]

    Middleware is a software layer that stands between the networked operating system and the application and provides well known reusable solutions to frequently encountered problems like heterogeneity, interoperability, security, dependability. Further, with networks becoming increasingly pervasive, middleware appears as a major building block for the development of future software systems. Starting with the impact of pervasive networking on computing models, manifested by now common grid and ubiquitous computing, this paper surveys related challenges for the middleware and related impact on the software development. Indeed, future applications will need to cope with advanced non-functional properties such as context- awareness and mobility, for which adequate middleware support must be devised together with accompanying software development notations, methods and tools. This leads us to introduce our view on next generation middleware, considering both technological advances in the networking area but also the need for closer integration with software engineering best practices, to ultimately suggest middleware-based software processes.

  • 96.
    Javanmardi, Tahereh
    et al.
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Malekzadeh, Negin
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    VPS Administration on Android OS2012Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Ladda ner fulltext (pdf)
    fulltext
  • 97.
    Jercic, Petar
    et al.
    Blekinge institute of technology, Sweden.
    Hagelbäck, Johan
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM).
    Lindley, Craig
    CSIRO, Australia.
    An affective serious game for collaboration between humans and robots2019Ingår i: Entertainment Computing, ISSN 1875-9521, E-ISSN 1875-953X, Vol. 32, s. 1-10, artikel-id 100319Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Elicited physiological affect in humans collaborating with their robot partners was investigated to determine its influence on decision-making performance in serious games. A turn-taking version of the Tower of Hanoi game was used, where physiological arousal and valence underlying such human-robot proximate collaboration were investigated. A comparable decision performance in the serious game was found between human and non-humanoid robot arm collaborator conditions, while higher physiological affect was found in humans collaborating with such robot collaborators. It is suggested that serious games which are carefully designed to take into consideration the elicited physiological arousal might witness a better decision-making performance and more positive valence using non-humanoid robot partners instead of human ones.

  • 98.
    Johansson, Fredrik
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Designmönster i Javascript2011Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Programmeringsspråket Javascript har sina brister som till exempel ingen riktigstruktur för Objektorienterad Programmering i jämförelse med andra språk.Detta är en frågeställning som skulle behöva en lösning. Kanske kan mananvända ett eller flera designmönster för att lösa detta.I avsnittet Teori visas en kort genomgång på tänkbara designmönster som kananvändas för att sedan välja ut maximalt tre av dessa och undersöka desssvagheter samt hur man kan förbättra det.Slutsatsen av rapporten är en övergripande Model-View-Controller där delarnakan ha olika designmönster som passar för den aktuella applikationen. Detdesignmönster som påminner mest om Objektorienterad Programmering som iandra språk är Revealing Module Pattern som är flexibel, enkel, har inkapslingoch publika respektive privata variablar och funktioner.

    Ladda ner fulltext (pdf)
    fulltext
  • 99.
    Juziuk, Joanna
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Design Patterns for Multi-Agent Systems2012Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Design patterns document a field's systematic knowledge derived from experiences. Despite the vast body of work in the field of multi-agent systems (MAS), design patterns for MAS are not popular among software practitioners. As MAS have features that are widely considered as key to engineering complex distributed applications, for example in manufacturing, robotics, ecommerce, traffic control and coordination, science simulations, it is important to provide a clear overview of existing patterns to make this knowledge accessible. To that end, a systematic literature review was performed covering the main publication venues of the field since 1998, resulting in 206 patterns.

    The study shows that (1) there is a lack of a standard template for documenting design patterns for MAS, which hampers the use of patterns by practitioners, (2) associations between patterns are poorly described, which results in a lack of overview of the pattern space, (3) patterns for MAS have been used for a variety of application domains, which underpins their high potential for practitioners, and (4) classifications of design patterns for MAS are bounded to specific pattern catalogs, a more holistic view on the pattern space is missing. From the study, a number of guidelines is outlined that are important for future work on design patterns for MAS and their adoption in practice.

    Ladda ner fulltext (pdf)
    JoannaJ_thesis
  • 100.
    Juziuk, Joanna
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Towards a Classification of Design Patterns for Web Programming2011Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    The evolution of WWW leads to continuous growth of demands that are placed on web applications that results in creating sophisticated web architectures. To minimize the complexity behind their design, software frameworks were introduced. There are hundreds of web frameworks, hence the choice of the right framework can be seen as searching for the holy grail.

    This thesis investigates the possibility of creating and validates usefulness of a classification scheme which organizes well-known object-oriented design patterns found in popular web frameworks: Apache Struts, Ruby on Rails, CakePHP and Zend Framework. The proposed classification scheme is based on two criteria: purpose and scope. The classification of such patterns that capture design rationale behind the decisions and best practices, is potentially important for building or restructuring a generic web framework, for capturing expertise knowledge and for orientation purposes in the problem domain - web engineering.

    The methodology used in this thesis is based on case studies and the identification of design patterns in web frameworks uses manual approaches. The results revealed popular design patterns in web frameworks and that the proposed classification scheme in a form of a 2D matrix must be refined, because relationships among design patterns in web frameworks are important and have a tendency to be formed as complex hierarchies. It is proposed to use a classification scheme in a form of a map or a tree when refining the scheme.

    Ladda ner fulltext (pdf)
    fulltext
1234567 51 - 100 av 305
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf