Go to main content

Software engineering for robotics [electronic resource] / Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock, editors.

Cavalcanti, Ana, editor.; Dongol, Brijesh, editor.; Hierons, Robert M., editor.; Timmis, Jonathan, 1970- editor.; Woodcock, Jim, editor.
2021
QA76.758
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Software engineering for robotics [electronic resource] / Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock, editors.
ISBN
9783030664947 (electronic bk.)
3030664945 (electronic bk.)
3030664937
9783030664930
DOI
https://doi.org/10.1007/978-3-030-66494-7
Published
Cham : Springer, 2021.
Language
English
Description
1 online resource
Item Number
10.1007/978-3-030-66494-7 doi
Call Number
QA76.758
Dewey Decimal Classification
005.1
Summary
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.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file
PDF
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed July 27, 2021).
Added Author
Cavalcanti, Ana, editor.
Dongol, Brijesh, editor.
Hierons, Robert M., editor.
Timmis, Jonathan, 1970- editor.
Woodcock, Jim, editor.
Available in Other Form
Print version: 9783030664930
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Software Product Line Engineering for Robotics
Towards Autonomous Robot Evolution
Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem
Testing Industrial Robotic Systems: A New Battlefield!
Gaining Confidence in the Trustworthiness of Robotic and Autonomous Systems
Robot Accident Investigation: A Case Study in Responsible Robotics
Verifiable Autonomy and Responsible Robotics
Verification of Autonomous Robots: A Roboticist's Bottom-Up Approach?
RoboStar Technology: A Roboticist's Toolbox for Combined Proof, Simulation, and Testing
CorteX: A software Framework for Interoperable, Plug-and-Play, Distributed, Robotic Systems-of-Systems
Mutation Testing for RoboChart
Languages for Specifying Missions of Robotic Applications
RoboStar Technology: Modelling Uncertainty in RoboChart using Probability
Panel Discussion: Regulation and Ethics of Robotics and Autonomous Systems.

Browse Subjects

Show more subjects...

Statistics

from
to
Export