Workshop 2 : Day 1 - 1.30pm - 4.30pm
Developing real-time embedded systems in compliance with IEC 61508 and related international safety standards
This workshop will explore the use of Time-Triggered (TT) software architectures as a foundation for safe embedded systems.
In most cases, the starting point for a successful TT design is a “bare metal” software platform: that is, the system will not usually employ a conventional “RTOS”, Linux™ or Windows®. In this software platform, a single interrupt will be used, linked to the periodic overflow of a timer. A ‘polling’ process will then allow interaction with peripherals.
Time-triggered (TT) architectures built on this foundation have been used for many years in industries such as aerospace, because they have been found to provide the basis for safe and reliable systems.
In recent years the wider benefits of this approach to software development have been more generally recognised. For example, according to the influential international standard IEC 61508 (2010), the use of a TT architecture greatly reduces the effort required to test and certify a system.
In this workshop, we will argue that TT approaches provide an excellent foundation for safe real-time systems in many different sectors because – during development and after construction – it is easy to model the system and, thereby, determine whether all of the key timing requirements have been met. We’ll give examples of these models (and demonstrate how easy it is to create them).
During the workshop, we will also argue that the deterministic behaviour of TT systems offers significant advantages when the design is up and running because – since we know precisely what the system should be doing at a given point in time – we can very quickly determine whether it is doing something wrong. Again, we’ll use some practical examples to illustrate how easy it is to perform precise run-time monitoring on TT systems.
This highly-interactive workshop will be split in half.
In Part 1, we’ll describe techniques for developing safe embedded systems using a TT approach. We’ll introduce a three-stage “Model-Build-Monitor” methodology for TT systems. We’ll describe how to model TT systems, with several worked examples (from different sectors).
In Part 2, we’ll consider the development of a control system that needs to meet IEC 61508 requirements. We’ll work through this design in stages (with discussions at all stages).
Please note that - while our example in Part 2 will focus on IEC 61508 requirements - the techniques explored in the workshop can also be applied in a wide range of different sectors (including automotive systems, medical systems, aerospace systems, household goods, etc).
All participants will be provided with a copy of the following popular book so that they can explore the techniques presented in the workshop in more detail after the DDC event:
Pont, M.J. (2016) “The Engineering of Reliable Embedded Systems (Second Edition)”, SafeTTy Systems. ISBN: 978-0-9930355-3-1.
Participants will also be provided with a copy of a workbook that goes through the steps required to develop safe TT systems in detail (from documentation of the system concept and scope right through to planning for system decommissioning).
The workshop will be presented by a highly-experienced team, and there will be plenty of time to ask questions throughout the session.
Register your place for this workshop
back to the top>>