![]() ![]() Jon Timmis is Professor of Intelligent and Adaptive Systems at the University of Sunderland, where he is Deputy Vice-Chancellor, and is Visiting Professor at the University of York. He is joint Editor-in-Chief of the Journal of Software Testing, Verification, and Reliability (STVR) and is a member of the editorial boards of The Computer Journal and Formal Aspects of Computing. His research concerns the automated generation of efficient, systematic test suites on the basis of program code, models or specifications. Rob Hierons joined The University of Sheffield in 2018 as a full Professor. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work.Ĭhapters '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. 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. 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 origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. 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. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. 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. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |