- Department: Computer Science
- Module co-ordinator: Dr. Mark Nicholson
- Credit value: 10 credits
- Credit level: M
- Academic year of delivery: 2021-22
- See module specification for other years: 2020-21
Robotics and Autonomous Systems (RAS) are being increasingly used as elements in safety-critical applications in a variety of domains. These technologies provide many challenges to current system safety engineering methods and assurance techniques. In this module, we will identify the nature of the safety challenges - technical, engineering and social - posed by RAS and consider their implications for legislation and regulatory guidance and for engineering practice.
No prior knowledge of RAS is required for this module - we will provide an introduction to the technologies sufficient for understanding of the safety aspects during the module.
In addition to COM00017M Computers and Safety, students will need to have taken either COM00006M Foundations of System Safety Engineering or COM00100M Foundations of System Safety II. Applications for the module on a stand-alone basis will be considered, but students will need to demonstrate an equivalent level of knowledge to that covered in the pre-requisite modules.
|A||Summer Term 2021-22|
In this module, we will consider the challenges posed to safety engineering techniques and praxis by Robotics and Autonomous Systems in three broad areas: technical, engineering and social. Among the technical challenges, we will explore the nature of decision-making technologies and will consider the implications for data management, model learning, verification and deployment and understanding of the interaction between AS and the 'outside world', including humans. Engineering challenges include the elicitation and validation of safety requirements, identifying and analysing new classes of hazard and understanding how failures propagate in systems with an autonomous component, implications for incident report and investigation etc.. Social challenges include the role and expectations of the human in interactions with RAS, ethical concerns, acceptance and communication of risk and challenges for the law, governance and regulatory regimes in a number of domains. Implications for the safety case, particularly with reference to machine understanding and decision-making, will be considered throughout the module.
The module will be taught in a blended fashion, using a combination of pre-recorded lectures and live exercises sessions in which students will be taught in small groups. After the taught part of the module, students will select a topic and conduct a short critical literature review (formative). They will use this as a basis for a short talk, in a small group session, on which they will receive feedback both from other members of the group and from the course tutor. There will also be an open assessment (summative), undertaken over 7 weeks following the taught part of the module.
By the end of this module, students will be able to:
The following topics will be addressed in the module:
Introduction to Safety and Assurance challenges for RAS: Gains from employing RAS; Challenges – systems, society and technology; Challenges relating to the contribution of ML / AI / RAS technology to safety; Hazard identification; Philosophy of updating Standards and guidance.
Societal Acceptability of AS: Legal and governance issues; Regulations, standards and guidance; ethics; risk acceptance and communication.
Safety Assurance of AS in Complex Environments: Defining safe AS behaviour in complex environments; Analysing interactions between AS and outside world, including humans; Incident and Accident investigation.
Safety Assurance of Understanding and Decision Making in AS: Safety Requirements elicitation and validation; Failure analysis and propagation for Understanding and Decision Making in AS; Safety case for Understanding in AS
Assurance of Machine Learning in Autonomous Systems: Requirements Elicitation; Data Management; Model Learning; Model Verification; Model Deployment; Assurance case for ML
Reassessment of the open assessment is by resubmission.
Feedback on the formative assessment (Literature Review Presentation) will be received from the module tutor in a group session in which the presentation is made. There will be informal presentation (written) from other members of the group and both written and oral feedback from the module tutor.
Feedback on the summative assessment (individual open assessment) will be give in writing by the module tutor after the assessment, within the University's usual timescales.
1. Russell, S.J. and Norvig, P., 2016. Artificial intelligence: a modern approach. Malaysia; Pearson Education Limited.
2. Marcus, G. and Davis, E., 2019. Rebooting AI: Building artificial intelligence we can trust. Pantheon.
3. Goodfellow, I., et. al., 2016. Deep learning (Vol. 1). Cambridge: MIT press.
4. Géron, Aurélien. Hands-on machine learning with Scikit-Learn, Keras, and TensorFlow: Concepts, tools, and techniques to build intelligent systems. O'Reilly Media, 2019.
5. Topol, Eric. Deep medicine: how artificial intelligence can make healthcare human again. Hachette UK, 2019.
6. Liu, Yun, et al. "How to read articles that use machine learning: users’ guides to the medical literature." Jama 322.18 (2019): 1806-1816.
7. Chen, Po-Hsuan Cameron, Yun Liu, and Lily Peng. "How to develop machine learning models for healthcare." Nature materials 18.5 (2019): 410.