Skip to main navigationSkip to main content
The University of Southampton

COMP6226 Software Modelling Tools and Techniques for Critical Systems

Module Overview

This modules aims to provide practical skills in how to approach the modelling and design of a large critical software project. The module covers modelling techniques from requirements analysis to design and introduces a range of tools and approaches. In particular, formal modelling and tools to support this are covered. The inclusion of these derives from the demand of critical systems for rigorous Requirements Engineering with strong Validation and Verification practice. The module is compulsory for MSc Software Engineering students. Experience of Object-Oriented programming is assumed and some familiarity with UML would be an advantage.

Aims and Objectives

Learning Outcomes

Knowledge and Understanding

Having successfully completed this module, you will be able to demonstrate knowledge and understanding of:

  • The relationship between formal modelling and software engineering
Subject Specific Intellectual and Research Skills

Having successfully completed this module you will be able to:

  • Use structured design methods and design patterns proficiently
  • Apply modelling techniques to critical systems
Subject Specific Practical Skills

Having successfully completed this module you will be able to:

  • To conduct refinement and verification in Event-B
  • Use a variety of CASE tools and IDEs


Analysis and Design: Requirements Engineering System Analysis and Design Principles Architectural and Detailed Design in OO Approaches to Software Testing Tools: Tools for UML Rodin for Event-B Critical Systems: Design for Critical and Safety Critical Systems Levels of Criticality Formal Modelling of Critical Systems Validation and Verification

Learning and Teaching

Follow-up work12
Wider reading or practice51
Completion of assessment task17
Preparation for scheduled sessions12
Total study time150

Resources & Reading list

Fowler M (2003). UML Distilled. 

Sommerville I (2016 or newer versions). Software Engineering. 

Abrial J. R (2010). Modeling in Event-B: System and Software Engineering. 



MethodPercentage contribution
Examination  (2.5 hours) 70%
Modelling 15%
Modelling 15%


MethodPercentage contribution
Examination 100%


MethodPercentage contribution
Examination  (2.5 hours) 100%

Repeat Information

Repeat type: Internal & External

Share this module Share this on Facebook Share this on Twitter Share this on Weibo
Privacy Settings