Engineering Real-Time Systems

The aim of this book is to enable the reader to master the complexity of distributed real time systems. As the use of such systems becomes more widespread quality becomes more critical and at the same time higher expectations increase their complexity. A methodology that helps the user to master this complexity and maintain quality in operation is therefore highly in demand. This book describes such a methodology and supplies complete coverage from ideas to implementation. The methodology uses the specification language SDL recommended by the international standardization body CCITT.