The University of Southampton
Courses

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

Module Aims

To provide practical skills in how to approach the modelling and design of a large critical software project

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 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
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

Syllabus

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

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

Resources & Reading list

Fowler M (2003). UML Distilled. 

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

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

Assessment

Summative

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

Referral

MethodPercentage contribution
Examination  (2.5 hours) 100%

Repeat Information

Repeat type: Internal & External

Share this module Share this on Facebook Share this on Google+ Share this on Twitter Share this on Weibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×