Software Modelling Tools and Techniques for Critical Systems

Learning Outcomes

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

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

Analysis and Design:

Requirements Engineering

System Analysis and Design Principles

Architectural and Detailed Design in OO

Approaches to Software Verification

Data and UI Design

Tools:

Tools for UML

Rodin for Event-B

Critical Systems:

Design for Security-Critical and Safety-Critical Systems

Levels of Criticality

Formal Modelling of Critical Systems

Formal Validation and Verification

Summative

This is how we’ll formally assess what you have learned in this module.

Referral

This is how we’ll assess you if you don’t meet the criteria to pass this module.

Repeat

An internal repeat is where you take all of your modules again, including any you passed. An external repeat is where you only re-take the modules you failed.