SEAMS 2007
ICSE 2007 Workshop
Minneapolis, Minnesota, USA
Sat/Sun, May 26-27, 2007
Hilton Hotel, Ballroom Symphony II

Keynote: Addressing Assurance for Dynamically Adaptive Systems
Betty H.C. Cheng, Michigan State University
http://www.cse.msu.edu/~chengb

Abstract

Increasingly, software should dynamically adapt its behavior at run-time in response to changing conditions in the supporting computing and communication infrastructure, and in the surrounding physical environment. In order for an adaptive program to be trusted, it is important to have mechanisms to ensure that the program functions correctly \emph{during} and \emph{after} adaptations. Adaptive programs are generally more difficult to specify, verify, and validate due to their high complexity. Particularly, when involving multi-threaded adaptations, the program behavior is the result of the collaborative behavior of multiple threads and software components.

This presentation overviews recent work that addresses assurance of adaptive systems at different points throughout the development process. The talk will cover techniques ranging from those to be applied as part of requirements engineering to those that are applied at run-time. An emphasis will be on those techniques that are automated and involve formal analysis of assurance properties. We will also highlight some of the key challenges for the research community in addressing assurance for current and future adaptive systems.

Biography

Betty H.C. Cheng is a professor in the Department of Computer Science and Engineering at Michigan State University. Her research and teaching interests include requirements engineering, automated software engineering, object-oriented analysis and design, embedded systems development, assurance patterns, adaptive systems, visualization, and distributed computing, all in the context of high-assurance systems. Recently, she has embarked on an exciting new area of interdisciplinary research exploring how digital evolution can be harnessed to support the modeling and development of adaptive and autonomic computing systems. She collaborates with industrial partners for both her class projects and research in order to facilitate technology exchange between academia and industry. She was awarded a NASA/JPL Faculty Fellowship in 1993 to investigate the use of new software engineering techniques for a portion of the shuttle software. In 1998, she spent her sabbatical working with the Motorola Software Labs investigating automated analysis techniques of specifications of telecommunication systems. Her research has been funded by NSF, ONR, DARPA, NASA, AFRL, and numerous industrial organizations. She serves on the editorial boards for Requirements Engineering Journal, and Software and Systems Modeling; she recently completed a term on the editorial board for IEEE Transactions on Software Engineering. Each year, she serves on numerous program and organizational committees for international conferences and workshops, including IEEE International Conference on Software Engineering (ICSE), IEEE Requirements Engineering Conference (RE), and IEEE UML/MoDELS.

Session 2: Paper Session
Architecture-based Techniques for Adaptive Systems
Session Chair and Discussion Leader: D. Garlan, Carnegie Mellon University, USA

• An Architectural Style for Solving Computationally Intensive Problems on Large Networks
  Y. Brun and N. Medvidovic, University of Southern California, USA

• An Architectural Strategy for Self-Adapting Systems
  D. Weyns and T. Holvoet, Katholieke Universiteit Leuven, Belgium

• Towards an Autonomic Element Architecture for ASSL
  E. Vassev and J. Paquet, Concordia University, Canada

• Representing Hierarchical Mobility in Software Architectures
  F.J. Barros, Universidade de Coimbra, Portugal

30 mins Discussion

Session 4: Paper Session
Analyzing Quality Attributes of Adaptive and Self-Managing Systems
Session Chair and Discussion Leader: J. Magee, Imperial College, UK

• Quality Criteria and an Analysis Framework for Self-Healing Systems
  S. Neti and H.A. Müller, University of Victoria, Canada

• A Survey of Approaches to Adaptive Application Security
  A. Elkhodary and J. Whittle, George Mason University, USA

• Extensible Contract Broker for QoS and Self-Properties
  P. Furtado, Universidade de Coimbra, Portugal

Session 5: Paper Session
Architectural Patterns for Autonomic Computing
Session Chair and Discussion Leader: M. Litoiu, IBM Canada Ltd., Canada

• The WSDM of Autonomic Computing: Experiences in Implementing Autonomic Web Services
  P. Martin, W. Powley, Queen's University, Canada; K. Wilson, CA Inc., USA
  W. Tian, T. Xu, and J. Zebedee, Queen's University, Canada

• A Real-Time Pattern Based Approach to Autonomic Computing
  B. Solomon and D. Ionescu, University of Ottawa, Canada
  M. Litoiu and M. Mihaiescu, IBM Canada Ltd., Canada

• A Proposal for an Autonomic Grid Management System
  R. Desmarais and H.A. Müller, University of Victoria, Canada

• Implementing Adaptive Performance Management in Server Applications
  Y. Liu, National ICT Australia, Australia and
  I. Gorton, Pacific Northwest National Laboratory, USA

30 mins Discussion

Abstract

http://www.think-and-link.org/

Biography

Stephen Fickas is a Professor in the Computer Science Department at the University of Oregon . His interest is in personalized requirements engineering with a specific interest in the role adaptable systems can play in meeting a person's changing requirements.

Session 7: Paper Session
Analyzing Quality Attributes of Adaptive and Self-Managing Systems
Session Chair and Discussion Leader: R. de Lemos, University of Kent, UK

• Digitally Evolving Models for Dynamically Adaptive Systems
  H.J. Goldsby, D.B. Knoester, B.H.C. Cheng, P.K. McKinley
  and C.A. Ofria, Michigan State University, USA

• Mixed-Mode Adaptation in Distributed Systems: A Case Study
  K.N. Biyani and S.S. Kulkarni, Michigan State University, USA

• Designing Run-Time Fault-Tolerance Using Dynamic Updates
  A. Ebnenasir, Michigan Technological University, USA

30 mins Discussion

• Model-Based Software Design and Adaptation
  H. Gomaa, George Mason University, USA

• Goal-Directed Context Validation for Adaptive Ubiquitous Systems
  C. Xu and S.C. Cheung, Hong Kong University of Science and Technology, China
  W.K. Chan, City University of Hong Kong, China

• Research Issues in Multiple Policy Optimisation Using Collaborative Reinforcement Learning
  I. Dusparic and V. Cahill, Trinity College Dublin, Ireland

• Process Evolution with Atomicity Consistency
  C. Ye and S.C. Cheung, Hong Kong University of Science and Technology, China
  W.K. Chan, City University of Hong Kong, China

30 mins Discussion