Software Engineering for Reliable Embedded Systems CPD, 5 days

A five-day course covering state-of-the-art modelling and verification techniques.

Contact
+44 (0)116 252 2903
dlstudy@le.ac.uk

Join us for a live online chat.

Department of Engineering website

Course description

Course description

This five day course covers state-of-the-art modelling and verification techniques which are driving forward the way that developers and certification authorities are thinking about reliability and what it means to claim that a system is reliable. You will learn how the language of Communicating Sequential Processes (CSP) may be used to specify the functionality we expect and demand from reliable embedded systems. 

You will learn this in the context of building specifications and implementations of systems using the modelling features of the CSP language, and industrial strength state-of-the-art tools for automatic verification. We will explore the complexities and challenges involved in producing plausible arguments about the behaviour of reliable embedded systems, how modern software engineering techniques mitigate the natural and theoretic limitations of testing based approaches and how these methodologies provide real, practical and scalable solutions to the software crisis.

Entry requirements

Entry requirements

There are no formal entry requirements for this course. However, you must have a reasonable command of the C programming language.

English Language Requirements

There are no specific English language requirements for this course. However, to get the most out of the course you should have a reasonable command of written English.

Fees and funding

Fees and funding

UK and EU Students

The total cost of this course is £500.

This low fee is an introductory offer for 2018, the course's first year of operation.

Travel and accommodation is not included. The University of Leicester can provide a list of nearby hotels but cannot provide recommendations.

International Students

The total cost of this course is £500.

This low fee is an introductory offer for 2018, the course's first year of operation.

Travel and accommodation is not included. The University of Leicester can provide a list of nearby hotels but cannot provide recommendations.

Careers and employability

Careers and employability

Studying with the University of Leicester gives a clear signal to employers. It demonstrates that you have the spark, ambition and commitment to take your career to the next level. Your current employer will also benefit directly from your newly acquired understanding and capabilities.

CPD is an essential element of career development and helps to enhance job prospects. Whether you're an employee looking to get ahead or an employer keen to develop the capabilities of your workforce, studying a CPD course with us will bring the resources of a leading University to your organisation.

Related courses

Related courses

Course structure

Topics covered

Topics covered

Introduction to CSP

  • What is CSP, and what does a piece of CSP intended to model a system look like?
  • What level of precision does this model give in terms of the behaviour of a system and why is it crucial to have this model when one could argue that source code is a definitive model?
  • What tool support is provided?
  • How does this naturally integrate with commonly understood engineering paradigms such as the V model?
  • How is this going to improve our notion of reliability and the claims we make about reliability?

Understanding concurrency

  • What does 'concurrency' mean, and why is it a key concept in modelling and understanding systems?
  • How can we ensure that we truly and accurately understand behaviours in the presence of concurrency?
  • How does concurrency affect the phenomenon of nondeterminism, and why is nondeterminism both our friend and our enemy in the context of reasoning about reliability?

Scalable engineering and analysis

  • How can we build models of systems that scale to the levels of those that are causing the software crisis?
  • What support does the language offer us in achieving this, and what reliance can we place on the theoretical underpinnings that are not always considered so rigorously at the source code level?
  • How can we ensure that automatic verification of properties of interest is possible in order to mitigate the common apprehensions of verification challenges?

Understanding safety and models

  • What does 'safety' really mean – particularly in the context of reliable embedded systems?
  • What exactly is a safety specification, and can we give a safety specification a defined and precise meaning?

Modules shown represent choices available to current students. The range of modules available and the content of any individual module may change in future years.

Teaching and learning

You will be taught at the MIRA Technology Institute (MTI) based on the MIRA Technology Park (MTP) near Nuneaton, Warwickshire.

Delivery will consist of interactive seminar sessions discussing and studying the various topics, and a number of laboratory based sessions where you will experiment with the tools and techniques discussed. Both the seminar and the laboratory sessions are run by academics and experts from the Embedded Systems and Communications research group at the University of Leicester.

Key dates

February 2019 course

  • The course runs from 11 February to 15 February 2019.
  • The application deadline for this course is 4 February 2019.

Apply now

Course Qualification Duration Availability
Course Software Engineering for Reliable Embedded Systems Qualification CPD Duration 5 days Availability Apply Now