High Assurance System Design

Overview

This course will provide you with a comprehensive understanding of high assurance system design approaches.

In this course, you will:

• Gain an in-depth understanding of the tools and methods for high assurance system design;

• Explore the approaches for system specification and system modelling;

• Learn about refinement techniques and their application in system development.

This course is designed for systems architects or developers; software developers; computer auditors; systems analysts and application developers

Convenience: All of our CPD courses are taught in 4 day block mode meaning that you can complete your chosen course in one convenient commitment.

Relevance: Through our partnership with our Industrial Advisory Group consisting of Airbus, BT, Deloitte UK and Rolls Royce, we can ensure the relevance of our courses to real organisational needs.

High Quality: All of our CPD courses are taught by leading experts from our research centres in our dedicated high-end labs.