Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis while Chapter 6 concentrates on timing and performance analysis. Chapter 3 describes approaches to system verification at different levels of abstraction. Chapter 4 deals with fault tolerance and detection. Middleware and software reuse aspects are treated in Chapter 5. Chapters 7 and 8 concentrate on the distribution related topics such as partitioning, scheduling and communication. The book closes with a chapter on design methods and frameworks.Figure 2 illustrates the results of this review process for a FUR of a pressure control system: user inputs are identified from the SRS, system variables and the functiona#39;s output are identified from the User Guide, algorithms are identified from theanbsp;...
|Title||:||Design and Analysis of Distributed Embedded Systems|
|Author||:||Bernd Kleinjohann, K.H. (Kane) Kim, Lisa Kleinjohann, Achim Rettberg|
|Publisher||:||Springer - 2013-04-17|