Hasso-Plattner-Institut
Prof. Dr. Holger Giese
 

Books

Autonomic Computing

The proceedings of the 13th IEEE International Conference on Autonomic Computing, ICAC 2016, held in Würzburg, Germany, July 17-22, 2016


ICAC is the leading conference on autonomic computing techniques, foundations, and applications. Large-scale systems of all types, such as data centers, computer clouds, smart cities, cyber-physical systems, sensor networks, and embedded or pervasive environments, are becoming increasingly complex and burdensome for people to manage. Autonomic computing systems reduce this burden by managing their own behavior in accordance with high-level goals. In autonomic systems, resources and applications are managed to maximize performance and minimize cost, while maintaining predictable and reliable behavior in the face of varying workloads, failures, and malicious threats. Achieving self-management requires and motivates research that spans a wide variety of scientific and engineering disciplines, including distributed systems, artificial intelligence, machine learning, modeling, control theory, optimization, planning, decision theory, user interface design, data management, software engineering, emergent behavior analysis, and bio-inspired computing. ICAC brings together researchers and practitioners from disparate disciplines, application domains and perspectives, enabling them to discover and share underlying commonalities in their approaches to making resources, applications and systems more autonomic.

Software Engineering for Self-Adaptive Systems III. – Assurances

A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customizable, and configurable when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip the software system with self-adaptation capabilities. Despite recent advances in this area, one key aspect that remains to be tackled in depth is the provision of assurances.

 

Originating from a Dagstuhl seminar held in December 2013, this book constitutes the third volume in the series “Software Engineering for Self-Adaptive Systems”, and looks specifically into the provision of assurances. Opening with an overview chapter on Research Challenges, the book presents 13 further chapters written and carefully reviewed by internationally leading researchers in the field. The book is divided into topical sections on research challenges, evaluation, integration and coordination, and reference architectures and platforms.

Graph Transformation

This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014.
The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications.

Software Engineering for Self-Adaptive Systems II

Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of self-adaptive systems that are able to adapt to internal faults, changing requirements, and evolving environments. The 15 carefully reviewed papers included in this state-of-the-art survey were presented at the International Seminar on "Software Engineering for Self-Adaptive Systems", held in Dagstuhl Castle, Germany, in October 2010. Continuing the course of the first book of the series on "Software Engineering for Self-Adaptive Systems" the collection of papers in this second volume comprises a research roadmap accompanied by four elaborating working group papers. Next there are two parts - with three papers each - entitled "Requirements and Policies" and "Design Issues"; part four of the book contains four papers covering a wide range of "Applications".

Formal Techniques for Distributed Systems

This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services.

Model-Based Engineering of Embedded Real-Time Systems

International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

This volume describes novel and state-of-the-art approaches to solving problems arising in the domain of embedded real-time systems. It is based on the GI-Dagstuhl research seminar MBEERTS (Modelling-Based Engineering of Embedded Real-Time Systems), which took place from November 4th to 9th in 2007, at Schloss Dagstuhl, Germany. Using models throughout the development bears several advantages. Not only can they be used as a tool for abstraction but also for verification, implementation, testing and maintenance. Due to the specific domain of real-time systems several constraints like real-time requirements, resource limitations or hardware-specific dependencies arise and impede the acceptance of high-level models for the aforementioned purposes. The approaches presented in this volume tackle those problems and lead the way to a greater acceptance and applicability of high-level models for embedded real-time systems. Therefore this volume contains 10 longer chapters covering broad areas and 11 short chapters discussing several specific state-of-the-art tools used for model-based engineering of embedded real time systems. The topic of 'Model-based Engineering of Real-time Embedded Systems' brings together a challenging problem domain (real-time embedded systems) and a solution domain (model-based engineering). Today, real-time embedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and facilitator for innovation. Development, evolution, verification, configuration, and maintenance of embedded and distributed software nowadays are often serious challenges as drastic increases in complexity can be observed in practice. This volume is a collection of 10 long and 11 short papers that survey the state-of-the-art in model-based development of real-time embedded systems. It is composed of longer chapters that cover broad areas and short papers that discuss specific tools. This state-of-the-art survey - outcome of a Dagstuhl Seminar held in Dagstuhl Castle in November 2007 - covers the essential aspects of integrated software and systems engineering in the field of model-based engineering of embedded real-time systems. The topics covered include: frameworks and methods, validation, model-based integration technology, formal modeling of semantics, fault management, concurrency models and models of computation, requirements modeling, formal derivation of designs from requirements, test modeling and model-based test generation, quality assurance, design management, abstractions and extensions, and development techniques and problems of application domains.

Architecting Critical Systems

Architecting critical systems has gained major importance in commercial, governmental and industrial sectors. Emerging software applications encompass criticalities that are associated with either the whole system or some of its components. Therefore, effective methods, techniques, and tools for constructing, testing, analyzing, and evaluating the architectures for critical systems are of major importance. Furthermore, these methods, techniques and tools must address issues of dependability and security, while focusing not only on the evelopment, but also on the deployment and evolution of the architecture.
This newly established ISARCS symposium provided an exclusive forum for exchanging views on the theory and practice for architecting critical systems. Such systems are characterized by the perceived severity of consequences that faults or attacks may cause, and architecting them requires appropriate means to assure that they will fulfill their specified services in a dependable and secure manner.

Software Engineering for Self-Adaptive Systems

Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognised its key role in enabling the development of future software systems that are able to self-adapt to changes that may occur in the system, its requirements, or the environment in which it is deployed. In our understanding, this collection is one of the first books containing a collection of papers that looks specifically into the current state-of-the-art in the field, describes a wide range of approaches coming from different strands of software engineering, and presents future challenges facing this always resurgent and challenging field of research. This state-of-the-art survey originates from the International Seminar on Software Engineering for Self-Adaptive Systems, held in Dagstuhl Castle, Germany, in January 2008. Also included in this book is an invited roadmap paper on research challanges for the area of software engineering for self-adaptive systems, which was based on the discussion held at the Dagstuhl Seminar and put together by several of its participants. The volume consists of four parts: Research Roadmap, Architecture-Based, Context-Aware and Model-Driven, as well as Self-Healing.

Models in Software Engineering

This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September/October 2007 (see LNCS 4735).

The 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators' symposium section. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven development of advanced user interfaces (MDDAUI 2007), model size metrics (MSM 2007), model-based design of trustworthy health information systems (MOTHIS 2007), model-driven engineering, verification and validation (MoDeVVa 2007), modelling systems with OCL (Ocl4All 2007), Models@run.time, multi-paradigm modeling: concepts and tools (MPM 2007), quality in modeling, doctoral symposium, and educators' symposium.

Software Engineering for Multi-Agent Systems V

The papers selected for this volume present advances in software engineering approaches to develop dependable high-quality multi-agent systems. These papers describe experiences and techniques associated with large multi-agent systems in a wide variety of problem domains. Reflecting the importance of agent properties in today's software systems, the papers in this book illustrate recent developments in specific issues and practical experience.

The 12 thoroughly reviewed and revised full papers are organized in topical sections on fault tolerance, exception handling and diagnosis, security and trust, verification and validation, as well as early development phases and software reuse. Some of the papers were initially presented at the 5th International Workshop on Software Engineering for Large-Scale Multi-agent Systems, SELMAS 2006, held in Shanghai, China in May 2006 in association with ICSE 2006.