Software Engineering for Robotics (Hardcover, 1st ed. 2021)

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.

General

Imprint:	Springer Nature Switzerland AG
Country of origin:	Switzerland
Release date:	July 2021
First published:	2021
Editors:	Ana Cavalcanti • Brijesh Dongol • Rob Hierons • Jon Timmis • Jim Woodcock
Dimensions:	235 x 155mm (L x W)
Format:	Hardcover
Pages:	483
Edition:	1st ed. 2021
ISBN-13:	978-3-03-066493-0
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > Artificial intelligence > General Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics Promotions
LSN:	3-03-066493-7
Barcode:	9783030664930

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!