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:

• Apply modelling techniques to critical systems
• Use structured design methods and design patterns proficiently

Subject Specific Practical Skills

Having successfully completed this module you will be able to:

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

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

Resources & Reading list

Textbooks

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

Fowler M (2003). UML Distilled. Addison-Wesley.

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

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.

Repeat Information

Repeat type: Internal & External