Assured Software Engineering and Proof (ASEP) teaches participants state-of-the-art techniques in assured development using model-based engineering and formal methods. These techniques are essential for development of safety- and security-critical systems including, for example, mobile and autonomous robots, which is a particular research focus at York. The importance of formal methods is reflected by their inclusion in several international standards, such as DO-178C for aerospace applications.

This three-day course will introduce participants to state-of-the-art approaches in domain-specific modeling and model-driven software engineering. During the course, participants will describe the concepts in a domain of interest, create a graphical modeling notation for those concepts, and write programs that validate and transform the models created in that notation.

This module aims to provide students with an understanding of the interrelationships between safety and security. In particular the module focuses on how security threats can develop into hazardous events. The module is aimed at students with knowledge of safety engineering, but little or no understanding of security. The module therefore provides a broad awareness of security principles, measures and techniques.