By Topic

Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2013 ICSE Workshop on

Date 20-21 May 2013

Filter Results

Displaying Results 1 - 25 of 26
  • [Front cover]

    Publication Year: 2013 , Page(s): 1
    Save to Project icon | Request Permissions | PDF file iconPDF (209 KB)  
    Freely Available from IEEE
  • [Title page]

    Publication Year: 2013 , Page(s): 1 - 2
    Save to Project icon | Request Permissions | PDF file iconPDF (40 KB)  
    Freely Available from IEEE
  • Contents

    Publication Year: 2013 , Page(s): 1 - 2
    Save to Project icon | Request Permissions | PDF file iconPDF (55 KB)  
    Freely Available from IEEE
  • Message from the SEAMS 2013 chairs

    Publication Year: 2013 , Page(s): iii - iv
    Save to Project icon | Request Permissions | PDF file iconPDF (855 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Committees

    Publication Year: 2013 , Page(s): v - vi
    Save to Project icon | Request Permissions | PDF file iconPDF (63 KB)  
    Freely Available from IEEE
  • Science in the cloud (Keynote)

    Publication Year: 2013 , Page(s): 1
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (67 KB)  

    Recent trends in science have made computational capabilities an essential part of scientific discovery. This is often referred to as enhanced scientific discovery, or eScience. eScience has been an integral part of high energy physics for several decades due to the complexity and volume of data produced by experiments. In the 1990s, eScience become central to biology with the sequencing of the hu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A 10-year perspective on software engineering self-adaptive systems (keynote)

    Publication Year: 2013 , Page(s): 2
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (56 KB)  

    In 2002 I helped organize the 1st ACM Workshop on Self-healing Systems (WOSS), a workshop that eventually morphed into this SEAMS Conference. As with SEAMS today, the goal then was to bring researchers together to gain a better understanding of the software engineering challenges and approaches for this emerging area. Now, just over 10 years later, it seems a fitting time to reflect back on the pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Do external feedback loops improve the design of self-adaptive systems? A controlled experiment

    Publication Year: 2013 , Page(s): 3 - 12
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (2157 KB) |  | HTML iconHTML  

    Providing high-quality software in the face of uncertainties, such as dealing with new user needs, changing availability of resources, and faults that are difficult to predict, raises fundamental challenges to software engineers. These challenges have motivated the need for self-adaptive systems. One of the primary claimed benefits of self-adaptation is that a design with external feedback loops p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evolving an adaptive industrial software system to use architecture-based self-adaptation

    Publication Year: 2013 , Page(s): 13 - 22
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (629 KB) |  | HTML iconHTML  

    Although architecture-based self-adaptation has been widely used, there is still little understanding about the validity and tradeoffs of incorporating it into real-world software-intensive systems which already feature built-in adaptation mechanisms. In this paper, we report on our experience in integrating Rainbow, a platform for architecture-based self-adaptation, and an industrial middleware e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements and architectural approaches to adaptive software systems: A comparative study

    Publication Year: 2013 , Page(s): 23 - 32
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (632 KB) |  | HTML iconHTML  

    The growing interest in adaptive software systems has resulted in a number of different proposals for the design of adaptive systems. Some approaches adopt architectural models, whereas others model adaptation options, at the level of requirements. This dichotomy has motivated us to perform a comparative study between two proposals for the design of adaptive systems: the Rainbow Framework (archite... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On estimating actuation delays in elastic computing systems

    Publication Year: 2013 , Page(s): 33 - 42
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (503 KB) |  | HTML iconHTML  

    Elastic controllers autonomically adjust the allocation of resources in cloud computing systems. Usually such controllers assume that control actions will take immediate effect. In clouds, however, actuation times may be long, and the controllers can hardly guarantee acceptable levels of service if they neglect these actuation delays. Therefore, the ability to correctly estimate the time that cont... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Self-adaptive and sensitivity-aware QoS modeling for the cloud

    Publication Year: 2013 , Page(s): 43 - 52
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (358 KB) |  | HTML iconHTML  

    Given the elasticity, dynamicity and on-demand nature of the cloud, cloud-based applications require dynamic models for Quality of Service (QoS), especially when the sensitivity of QoS tends to fluctuate at runtime. These models can be autonomically used by the cloud-based application to correctly self-adapt its QoS provision. We present a novel dynamic and self-adaptive sensitivity-aware QoS mode... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • QoS-aware fully decentralized service assembly

    Publication Year: 2013 , Page(s): 53 - 62
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (502 KB) |  | HTML iconHTML  

    Large distributed software systems are increasingly common in today geographically distributed IT infrastructures. A key challenge for the software engineering community is how to efficiently and effectively manage such complex systems. Extending software services with autonomic capabilities has been suggested as a possible way to address this challenge. Ideally, self-management capabilities shoul... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formalizing correctness criteria of dynamic updates derived from specification changes

    Publication Year: 2013 , Page(s): 63 - 72
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (530 KB) |  | HTML iconHTML  

    Modern software-intensive systems often have to be updated to adapt to unpredicted changes in their environments or to satisfy unpredicted requirement changes. Many systems, however, cannot be easily shut down or are expected to run continuously. Therefore, they must be updated dynamically, at run-time. Especially for critical systems, dynamic updates must be safe and performed as soon as possible... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Run-time adaptation of mobile applications using genetic algorithms

    Publication Year: 2013 , Page(s): 73 - 82
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (764 KB) |  | HTML iconHTML  

    Mobile applications run in environments where the context is continuously changing. Therefore, it is necessary to provide support for the run-time adaptation of these applications. This support is usually achieved by middleware platforms that offer a context-aware dynamic reconfiguration service. However, the main shortcoming of existing approaches is that both the list of possible configurations ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Guaranteeing robustness in a mobile learning Application using formally verified MAPE loops

    Publication Year: 2013 , Page(s): 83 - 92
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (705 KB) |  | HTML iconHTML  

    Mobile learning applications support traditional indoor lectures with outdoor activities using mobile devices. An example scenario is a team of students that use triangulation techniques to learn properties of geometrical figures. In previous work, we developed an agent-based mobile learning application in which students use GPS-enabled phones to calculate distances between them. From practical ex... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Engineering adaptation with Zanshin: An experience report

    Publication Year: 2013 , Page(s): 93 - 102
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (413 KB) |  | HTML iconHTML  

    The Zanshin framework adopts a Requirements Engineering perspective to the design of adaptive systems and is centered around the idea of feedback loops. Evaluation experiments conducted so far have used simulations, limiting the strength of our conclusions on the viability of our proposal. In this paper, we report on the experience of applying Zanshin to an existing base system, a software that si... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Diagnosing architectural run-time failures

    Publication Year: 2013 , Page(s): 103 - 112
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (252 KB) |  | HTML iconHTML  

    Self-diagnosis is a fundamental capability of self-adaptive systems. In order to recover from faults, systems need to know which part is responsible for the incorrect behavior. In previous work we showed how to apply a design-time diagnosis technique at run time to identify faults at the architectural level of a system. Our contributions address three major shortcomings of our previous work: 1) we... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic decision networks for decision-making in self-adaptive systems: A case study

    Publication Year: 2013 , Page(s): 113 - 122
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (2947 KB) |  | HTML iconHTML  

    Bayesian decision theory is increasingly applied to support decision-making processes under environmental variability and uncertainty. Researchers from application areas like psychology and biomedicine have applied these techniques successfully. However, in the area of software engineering and specifically in the area of self-adaptive systems (SASs), little progress has been made in the applicatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Self-adaptive containers: Building resource-efficient applications with low programmer overhead

    Publication Year: 2013 , Page(s): 123 - 132
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (762 KB) |  | HTML iconHTML  

    Despite advances in operating system resource management and the availability of standardised container libraries, developing scalable high-capacity applications remains a nontrivial endeavour. Naïve implementations of fundamental algorithms often rapidly exhaust system resources under heavy load. Resolving this via manual refactoring is usually possible but requires significant programmer... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Synthesizing self-adaptive connectors meeting functional and performance concerns

    Publication Year: 2013 , Page(s): 133 - 142
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (1840 KB) |  | HTML iconHTML  

    Today's networked environment is characterized by a wide variety of heterogeneous systems that dynamically decide to interoperate to achieve some goal. In this context, systems meet and know each other at runtime when they want to start to interoperate. Given the huge heterogeneity and dynamism characterizing the described environment, automated solutions appear to be the only way to achieve inter... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • High-quality specification of self-adaptive software systems

    Publication Year: 2013 , Page(s): 143 - 152
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (667 KB) |  | HTML iconHTML  

    Today' software systems have to cope with changing environments while at the same time facing high non-functional requirements such as flexibility and dependability. Recently, these non-functional requirements are addressed using self-adaptivity features, that is, the system monitors its environment and adjusts its structure or behavior in reaction to changes. In classical model-driven software en... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving context-awareness in self-adaptation using the DYNAMICO reference model

    Publication Year: 2013 , Page(s): 153 - 162
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (388 KB) |  | HTML iconHTML  

    Self-adaptation mechanisms modify target systems dynamically to address adaptation goals, which may evolve continuously due to changes in system requirements. These changes affect values and thresholds of observed context variables and monitoring logic, or imply the addition and/or deletion of context variables, thus compromising self-adaptivity effectiveness under static monitoring infrastructure... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Law and adaptivity in requirements engineering

    Publication Year: 2013 , Page(s): 163 - 168
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (305 KB) |  | HTML iconHTML  

    The great impact that law has on the design of software systems has been widely recognized in past years. However, little attention has been paid to the challenge of coping with variability characterizing the legal domain (e.g., multiple ways to comply with a given law, frequent updates to regulations, different jurisdictions, etc.) on the design of software systems. This position paper advocates ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards run-time testing of dynamic adaptive systems

    Publication Year: 2013 , Page(s): 169 - 174
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (148 KB) |  | HTML iconHTML  

    It is challenging to design, develop, and validate a dynamically adaptive system (DAS) that satisfies requirements, particularly when requirements can change at run time. Testing at design time can help verify and validate that a DAS satisfies its specified requirements and constraints. While offline tests may demonstrate that a DAS is capable of satisfying its requirements before deployment, a DA... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.