There are no formal entry requirements for this course. However, you must have relevant industrial experience and a reasonable command of the C programming language, as well as an elementary understanding of logic and discrete maths. 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.
Duration / assessment:
5 days CPD short course. Non-credit bearing.
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.
MIRA Technology Institute
Course provided by:
University of Leicester’s School of Engineering
Aim of Course:
Delegates 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.
Overview of Course:
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.
Delegates 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.
The course will be delivered at the MIRA Technology Institute. Both the seminar and the laboratory sessions are run by academics and experts from the Embedded Systems and Communications research group at the University.
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?
- 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?
The total cost of this course is £900.
Travel and accommodation is not included. The University of Leicester can provide a list of nearby hotels but cannot provide recommendations.
Cancellations more than one week before the course start date will receive a full refund. After that date, the full fee will be charged.
Please note that our CPD courses need a minimum number of delegates to run. We will confirm whether the course is running one week before it starts (and refund the full fee if it's not).
- The course runs from 1 April to 5 April 2019.
- The application deadline for this course is 18 March 2019.
You will be taught at the MIRA Technology Institute (MTI) based on the MIRA Technology Park (MTP) near Nuneaton, Warwickshire.
The first four days are spent on teaching, with the optional fifth day available for consultancy appointments.