000			04019cam a22004451a 4500
001			022616862
003			UkOxU
005			20230830104241.0
006			m o d
007			cr |n|||||||||
008			210712s2021 sz o 000 0 eng d
020			_a9783030664961
024	7		_a10.1007/978-3-030-66494-7 _2doi
035			_a(OCoLC)1259677346 _z(OCoLC)1260344008 _z(OCoLC)1266812211
037			_bSpringer
040			_aYDX _beng _cYDX _dGW5XE _dEBLCP _dOCLCO _dOCLCF _dDCT _dN$T
049			_aEQOA
050		4	_aQA76.758 _b.C376 2021
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
072		7	_aUMZ _2thema
082	0	4	_a005.1 _223
092			_aWMS1259677346
100			_aCavalcanti, Ana
245	0	0	_aSoftware Engineering for Robotics / _cAna Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock, editors.
260			_aCham, Switzerland : _bSpringer, _c2021.
300			_a483 Pages; _c23 cm.
521			_aSoftware 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. _bThe 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.
650		0	_aSoftware engineering.
650		0	_aRobotics.
650		7	_aSoftware engineering. _2fast
700	1		_aCavalcanti, Ana, _eeditor.
700	1		_aDongol, Brijesh, _eeditor.
700	1		_aHierons, Robert M., _eeditor.
700	1		_aTimmis, Jonathan, _d1970- _eeditor.
700	1		_aWoodcock, Jim, _eeditor.
776	0	8	_iPrint version: _z3030664937 _z9783030664930 _w(OCoLC)1224516668
856	4	0	_3Springer Complete eBooks _uhttps://link.springer.com/10.1007/978-3-030-66494-7
942			_2lcc _cBK
999			_c5816 _d5816