SASO2012

SASO 2012

Sixth IEEE International Conference
on Self-Adaptive and Self-Organizing Systems

Lyon, France; 10-14 September 2012

Contact

saso2012@listes.univ-lyon1.fr

Search

Loading

Sponsors

Hosting Institution

Organizing Partners

Gold Sponsors

Silver Sponsors

Important Dates

The exact deadlines are at 11:59 PM Hawaii time (HST).

Proposal Submission Deadline:May 1, 2012 (passed)
Presenter Notification:May 15, 2012 (passed)
Tutorial Paper Submission Deadline (optional):June 22, 2012 (passed)
Tutorial Paper Notification:July 4, 2012 (passed)
Tutorial Paper Camera-Ready Deadline:July 18, 2012 (passed)
Early registration deadline:August 20, 2012 (passed)
Presentation handouts due:August 24, 2012 (passed)
Tutorial presentation:Sept. 10, 14, 2012

Tutorials

T1: Architectural Styles for Adaptive Systems


Animator(s)

  • Luciano Baresi
  • Sam Guinea

Abstract

Modern and evolving domains such as ambient intelligence, context-aware applications, and pervasive computing require that software systems be able to cope with unprecedented degrees of runtime variability in their context of execution and in their requirements. This demands that software systems be flexible, and easily adaptable when change occurs. Providing such flexibility is a multi-faceted challenge. However, knowing which software architectural styles can help is an important arrow in a designers quiver. In this tutorial we will introduce the attendees to the importance of Software Architecture, and discuss the existing styles that better support runtime adaptation. The tutorial will also provide an overview of the research directions in which the Software Architecture community is moving to better solve these issues.

About the authors

Luciano Baresi (PhD) is an associate professor at Dipartimento di Elettronica e Informazione of Politecnico di Milano, and was also visiting researcher at University of Oregon at Eugene (USA) and University of Paderborn (Germany). Luciano has published and presented some 120 papers on the most important national and international journals and conferences, and served as PC member for several conferences. Luciano was program chair of ICECCS02 (International Conference on Engineering Complex Computer Systems), FASE06 (ETAPS Conference on Fundamental Approaches on Software Engineering), and ICWE07 (International Conference on Web Engineering), and ICSOC09 (International Conference on Service-Oriented Computing). He will be program co-chair of SEAMS12 (the International Symposium on Software Engineering for Adaptive and Self-Managing Systems) and ESEC/FSE13 (the joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering). Luciano is part of the editorial board of: SOCA (Service-Oriented Computing & Applications, Springer) and TAAS (ACM Transactions on Autonomous and Adaptive Systems). Luciano has been principal investigator of different European and national projects. His research interests are in software engineering, and currently he is particularly interested in dynamic and flexible software systems, self-* properties, and service-oriented applications.

Sam Guinea (PhD) is an Assistant Professor at Dipartimento di Elettronica e Informazione of Politecnico di Milano. Sam received both his M.Sc. in Information Engineering (2003) and his Ph.D. in Information Engineering (2007) from Politecnico di Milano. Sams research interests are in the application of software engineering principles to the design and management of service-based systems. Sam is most well-known for his work in the field of functional and non-functional monitoring of complex servicebased systems. Sams most current interests focus on the development of dependable multi-layered service-based systems. Sam has published and presented some 50 papers on the most important national and international journals and conferences. Sam was co-chair of the demonstration track at ICSOC 2011 (International Conference on Service Oriented Computing), and co-organizer of the 1st International Workshop on Quality Assurance for Service-based applications at ECOWS 2011. Sam has served in various conference program committees such as VAST 2011 (International Workshop on Variability-intensive Systems Testing, Validation & Verification), MONA+ 2009-2011 (Workshop on Monitoring, Adaptation, and Beyond), MobiWIS 2011 (International Conference on Mobile Web Information Systems), PESOS (International Workshop on Principles of Engineering Service-Oriented Systems), and INTENSIVE 2009 (International Conference on Intensive Applications and Services). Sam has also offered referee service is various international journals such as IEEE Transactions on Software Engineering, IEEE Transactions on Services Computing, Springer Journal - Service Oriented Computing and Applications, and Elsevier - The Journal of Systems and Software.

T2: How to Build Self-Modeling Systems


Animator(s)

  • Christopher Landauer
  • Kirstie L. Bellman
  • Phyllis R. Nelson

Abstract

Self-Modeling Systems are computing systems that have complete models of their own behavior, down to some level of detail, and that interpret those models to produce that behavior (in some aplications, the interpreter itself is also modeled). Then when the system changes the models, it changes its own behavior. We have shown how our Wrappings integration infrastructure facilitates the construction and operation of these systems, and the management (i.e., appropriate limitation) of their variability.

In this Tutorial, we will show how to build a Self-Modeling System (SMS), based on the Wrappings integration infrastructure that we have we developeed over the last many years. After some preliminary instruction on how to build and use Wrappings, and what facilities they provide, the group will design and build several working examples of SMSs.

In general, the application area is that of designing autonomous systems for dynamic complex environments, for which we believe Self-Modeling is essential, especially when repairs and reconfiguration are prohibitively expensive or otherwise unlikely (e.g., for satellites and other space systems, or systems that need to exist in hazardous environments).

Our examples will use CARS (Computational Architecture for Reflective Systems), which is a testbed for studying cooperating distributed embedded systems. The system is simple enough for participants to understand the intent, and interesting enough to allow us all to study serious questions of coordination, cooperation, conflict, interference, and influence.

For the tutorial, all work will be done in the context of a simulation program, with simple models of the sensors and effectors, and a model of the external environment (a relatively polite ``ground truth''), all of which will be provided by the presenter and used by the participants.

About the authors

Dr. Christopher Landauer is a mathematician (Ph.D. Mathematics, Caltech, 1973) working on large-scale software managed systems, with an emphasis on the development and evaluation of formal methods and other mathematically based tools for and models of complex software systems, and on the software development processes required to make them effective and reliable. This work has included both applications and research in communication protocols, discrete-event simulations, computer security and program verification, multiple target tracking, spacecraft attitude determination, evaluation of knowledge-based systems, system integration infrastructure, natural language processing, computational semiotics and knowledge representation, model-based design and engineering of computer managed systems, including real-time, embedded, self-organizing, and reflective systems.

Dr. Kirstie L. Bellman is a Neurophysiologist (Ph.D. UCSD 1979), Computer Scientist and Mathematician, working on large-scale software-managed systems, with a combined emphasis on formal methods and the appropriate use of biological principles. She has been a DARPA Program Manager from 1993-1997, in charge of mathematical and formal methods programs, including Domain-Specific Software Architectures, rapid prototyping technology, and the large Computer-Aided Education and Training Initiative. At the end of her DARPA tenure, she received a (rare) award from the Office of the Secretary of Defense for excellence in her programs. Dr. Bellman has over thirty-five years of academic, industry, and consulting experience in the development of both conventional computer models and applications and artificial intelligence. Her published research spans a wide range of topics in the cognitive, neuro-physiological, and information processing sciences. In addition to playing a leading role in the development of pro- grams in error analysis and evaluation of expert systems, her group did nationally recognized research in extending the applications of expert systems to open-ended design problems and to the integration of mathematical and artificial intelligence techniques.

Dr. Phyllis R. Nelson received the PhD degree from UCLA, an MS from the California Institute of Technology, and a BS from California State Polytechnic University, Pomona, all in electrical engineering. She joined the Electrical and Computer Engineering faculty at the California State Polytechnic University, Pomona, in 1999 and is currently a professor. She has been the co-director of the Center for Macromolecular Modeling and Materials Design since 2005. Previously, she was research staff and a lecturer in the Electrical Engineering department at UCLA and Member of the Technical Staff at several aerospace companies. Her current research interests include applications of self-x methods to cyberphysical systems, organic computing, and the development of design and testing methodologies for complex, multi-agent systems. Previous research interests include energy transfer and upconversion in optical materials and the design of solid-state lasers.

T3: Engineering Organised Adaptation using 'Sociologically-Inspired Computing'


Animator(s)

  • Jeremy Pitt
  • Alexander Artikis

Abstract

Many contemporary applications in distributed systems and networks demand that the components change the system specification at run-time. We are particularly concerned with intentional change involving choice, coordination and collective action: this we call organised adaptation. There are many proposed formalisms for engineering such adaptation, primarily stemming from the fields of multi-agent systems and autonomic computing, and we propose an analytic framework against which we evaluate a number of prominent formalisms. It is seen to be commonplace to turn to social or biological science to examine how solutions to structurally similar problems of organised adaptation have been found in natural systems. We argue that this process is so common and so necessary that a method to support it is required. The tutorial is concerned with describing and demonstrating this method, that we call 'sociologically-inspired commuting', and demonstrating its application to engineering organising adaptation in self-organising electronic institutions.

About the authors

Jeremy Pitt is a Reader in Intelligent Systems, and Deputy Head of the Intelligent Systems and Networks group, in the Electrical & Electronic Engineering Department of Imperial College London, where is he also Associate Director of the Institute for Security Science and Technology. He has been a researcher in computational logic and Multi-Agent Systems for the over 20 years, and has contributed to the ideas of agent societies, electronic institutions, and organisations, and more recently has studied the logical and computational foundations of participative and adaptive behaviours in mechanism design (primarily voting) in multi-agent systems. He has published extensively in the field (over 100 papers, h-index 23), and was active in the standards body FIPA from 1997 until 2002. As well delivering full undergraduate lecture courses in Software Engineering, Human-Computer Interaction, and Artificial Intelligence, he has previously given Tutorials on Multi-Agent Systems at the ECMAST97, ECMAST98 and AAMAS10 conferences, and has taught on course delivered at PerAda and EASSS Summer Schools. He has been an accredited teacher of the University of London and Imperial College since 1996, is a Senior Member of the ACM, a Fellow of the IET, and a Fellow of the BCS.

Alexander Artikis is a Research Associate in the Institute of Informatics & Telecommunications at NCSR "Demokritos", in Athens, Greece. He holds a PhD from Imperial College London on the topic of norm-governed multi-agent systems. His research interests lie in the areas of artificial intelligence, temporal representation and reasoning, and distributed systems. He has published papers in related journals and conferences, such as the Artificial Intelligence Journal, the ACM Transactions on Computational Logic, and the ACM Transactions on Autonomous and Adaptive Systems. He worked on the highly successful EU FP7 PRONTO project, being responsible for the event recognition work-package. Dr. Artikis has served as a member of the program committees of several conferences and workshops.

T4: Metaheuristic Algorithms for Self-Organizing Systems


Animator(s)

  • Xin-She Yang

Abstract

Many problems in computational intelligence are NP-hard, and there is no efficient algorithm to tackle such problems. In essence, such computation can be considered as a nonlinear optimization problem, thus it is possible to solve them using optimization algorithms. However, the NP-hardness means that in many cases, metaheuristic algorithms such as genetic algorithms (GA) and particle swarm optimization (PSO) are the only alternative. Over the last two decades, nature-inspired metaheuristic algorithms have become increasingly popular in solving large-scale, nonlinear, global optimization with many real-world applications. They also become an important of part of computational intelligence as so-called "smart algorithms". New algorithms emerge almost every year, and this tutorial course will review and introduce some of the last developments.

About the authors

Xin-She Yang is a Senior Research Scientist at Mathematics and Scientific Computing of UK's National Physical Laboratory. He worked at Cambridge University for many years after obtaining his DPhil in Applied Mathematics from University of Oxford. He was awarded Distinguished/Guest Professor at Xi'an Polytechnic University and Guest Professor at Reykjavik University, Iceland. He has authored/edited 11 books and published more than 140 papers. He is the Editor-in-Chief of Int. J. Mathematical Modelling and Numerical Optimisation (IJMMNO, Inderscience), serves as an editorial board member of several international journals, including Elsevier's Journal of Computational Science (JoCS), ISRN-Applied Mathematics, IJAI, SJI and IJBIC, and the editor of OCP Science book series. He is also vice Chair of the IEEE CIS task force on Business Intelligence.