More information is also available from the publisher's catalogue .
For any set of application requirements there are potentially many system designs which can satisfy the required properties. A particular solution is usually arrived at by following a design method, either formally or informally. For hard real-time systems the situation is no different. The problem, however, is that current design methods do not adequately address the temporal characteristics of these systems. A hard real-time design method should guide the designer to a solution which can be analysed to ensure that the timing requirements have been met.