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 practice38
Preparation for scheduled sessions12
Completion of assessment task30
Total study time150

Resources & Reading list

Fowler M (2003). UML Distilled. 

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

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



MethodPercentage contribution
Continuous Assessment 50%
Final Assessment  50%


MethodPercentage contribution
Set Task 100%


MethodPercentage contribution
Set Task 100%

Repeat Information

Repeat type: Internal & External

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