The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. The intended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work. Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. The intended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work. Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

st This volume contains the proceedings of two conferences held as part of the 21 IFIP World Computer Congress in Brisbane, Australia, 20-23 September 2010. th The first part of the book presents the proceedings of DIPES 2010, the 7 IFIP Conference on Distributed and Parallel Embedded Systems. The conference, int- duced in a separate preface by the Chairs, covers a range of topics from specification and design of embedded systems through to dependability and fault tolerance. rd The second part of the book contains the proceedings of BICC 2010, the 3 IFIP Conference on Biologically-Inspired Collaborative Computing. The conference is concerned with emerging techniques from research areas such as organic computing, autonomic computing and self-adaptive systems, where inspiraton for techniques - rives from exhibited behaviour in nature and biology. Such techniques require the use of research developed by the DIPES community in supporting collaboration over multiple systems. We hope that the combination of the two proceedings will add value for the reader and advance our related work.

This book outlines three emergent disciplines, which are now poised to engineer a paradigm shift from hypothesis- to data-driven research: theoretical immunology, immunoinformatics, and Artificial Immune Systems. It details how these disciplines will enable new understanding to emerge from the analysis of complex datasets. Coverage shows how these three are set to transform immunological science and the future of health care.

st This volume contains the proceedings of two conferences held as part of the 21 IFIP World Computer Congress in Brisbane, Australia, 20-23 September 2010. th The first part of the book presents the proceedings of DIPES 2010, the 7 IFIP Conference on Distributed and Parallel Embedded Systems. The conference, int- duced in a separate preface by the Chairs, covers a range of topics from specification and design of embedded systems through to dependability and fault tolerance. rd The second part of the book contains the proceedings of BICC 2010, the 3 IFIP Conference on Biologically-Inspired Collaborative Computing. The conference is concerned with emerging techniques from research areas such as organic computing, autonomic computing and self-adaptive systems, where inspiraton for techniques - rives from exhibited behaviour in nature and biology. Such techniques require the use of research developed by the DIPES community in supporting collaboration over multiple systems. We hope that the combination of the two proceedings will add value for the reader and advance our related work.

Arti?cial immune systems (AIS) is a diverse and maturing area of research that bridges the disciplines of immunology and engineering. The scope of AIS ranges fromimmune-inspiredalgorithmsandengineeringsolutionsinsoftwareandha- ware, to the understanding of immunology through modeling and simulation of immune system concepts. AIS algorithms have been applied to a wide variety of applications, including computer security, fault tolerance, data mining and optimization. In addition, theoretical aspects of arti?cial and real immune s- tems have been the subject of mathematical and computational models and simulations. The 8th InternationalConference on AIS (ICARIS 2009)built on the success of previous years, providing a forum for a diverse group of AIS researchers to present and discuss their latest results and advances. After two years outside Europe, ICARIS 2009 returned to England, the venue for the ?rst ICARIS back in 2002. This year's conference was located in the historic city of York, and was held in St. William's College, the conference venue of York Minster, northern Europe's largest Gothic cathedral.

TheArti?cialLifetermappearedmorethan20yearsagoinasmallcornerofNew Mexico, USA. Since then the area has developed dramatically, many researchers joining enthusiastically and research groups sprouting everywhere. This frenetic activity led to the emergence of several strands that are now established ?elds in themselves. We are now reaching a stage that one may describe as maturer: with more rigour, more benchmarks, more results, more stringent acceptance criteria, more applications, in brief, more sound science. This, which is the n- ural path of all new areas, comes at a price, however. A certain enthusiasm, a certain adventurousness from the early years is fading and may have been lost on the way. The ?eld has become more reasonable. To counterbalance this and to encourage lively discussions, a conceptual track, where papers were judged on criteria like importance and/or novelty of the concepts proposed rather than the experimental/theoretical results, has been introduced this year. A conference on a theme as broad as Arti?cial Life is bound to be very - verse, but a few tendencies emerged. First, ?elds like 'Robotics and Autonomous Agents' or 'Evolutionary Computation' are still extremely active and keep on bringing a wealth of results to the A-Life community. Even there, however, new tendencies appear, like collective robotics, and more speci?cally self-assembling robotics, which represent now a large subsection. Second, new areas appear.

This book constitutes the refereed proceedings of the Second International Conference on Artificial Immune Systems, ICARIS 2003, held in Edinburgh, UK in September 2003. The 27 revised full papers presented were carefully reviewed and selected from 41 submissions. The book presents the first coherent account of the state of the art in artificial immune systems reserch. The papers are organized in topical sections on applications of artificial immune systems, immunocomputing, emerging metaphors, augmentation of artificial immune systems algorithms, theory of artificial immune systems, and representations and operators.

Theoretical immunology is the application of mathematical modeling to diverse aspects of immunology. Immuno informatics, the application of computational informatics to the study of immunological macromolecules, addresses questions in immunobiology and vaccinology, as well as addressing issues of data management, and can design and implement new experimental strategies. Artificial Immune Systems (AIS) uses ideas and concepts from immunology to guide and inspire new algorithms, data structures, and software development. These three different disciplines are now poised to engineer a paradigm shift from hypothesis- to data-driven research, with new understanding emerging from the analysis of complex datasets: theoretical immunology, immunoinformatics, and Artificial Immune Systems (AIS). In Silico Immunology will summarize these emergent disciplines and will address the issue of synergy as it shows how these three are set to transform immunological science and the future of health care.