Design and analysis of distributed embedded systems : IFIP 17th World Computer Congress - TC10 stream on distributed and parallel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada
著者
書誌事項
Design and analysis of distributed embedded systems : IFIP 17th World Computer Congress - TC10 stream on distributed and parallel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada
(The International Federation for Information Processing, 91)
Kluwer Academic, c2002
大学図書館所蔵 件 / 全6件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
内容説明
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.
目次
- Preface. Workshop Organization. Session 1: Modelling and Specification. Can UML be a System-Level Language for Embedded Software? J.M. Fernandes, R.J. Machado. PEARL for Distributed Embedded Systems
- R. Gumzej, W.A. Halang. Universal Plug and Play Machine Models
- U. Glasser, M. Veanes. Session 2: Specification and Analysis. Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach
- Zonghua Gu, Kang G. Shin. Petri Net Based Design of Reconfigurable Embedded Real-Time Systems
- C. Rust, F. Stappert, R. Bernhardi-Grisson. Model Checking Robustness to Desynchronization
- J.-P. Talpin. Session 3: Verification and Validation. A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems
- N. Kececi, W.A. Halang, A. Abran. Towards Design Verification and Validation at Multiple Levels of Abstraction
- H. Giese, M. Kardos, U. Nickel. Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions
- P. Mishra, N. Dutt. Session 4: Fault Tolerance and Detection. Statistical Analysis of a Hybrid Replication Model
- E.R. de Oliveira Jr., I. Jansch Port. Building Embedded Fault-Tolerant Systems for Critical Applications: An Experimental Stud
- P. Townend, Jie Xu, M. Munro. Fault Detection in Safety-Critical Embedded Systems
- D. Verber, M. Colnaric, W.A. Halang. Session 5: Middleware and Reuse. Dependability Characterization of Middleware Services
- E. Marsden, N. Perrot, J.-C. Fabre, J. Arlat. Adaptive Middleware for Ubiquitous Computing Environments
- S.S. Yau, F. Karim. Finegrained Application Specific Customization of Embedded Software
- D. Beuche, O. Spinczyk, W.Schroeder-Preikschat. Session 6: Timing and Performance Analysis. Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems
- W.A. Halang, N. Kececi, G. Tsai. Transforming Execution-Time Boundable Code into Temporally Predictable Code
- P. Puschner. Bottom-Up Performance Analysis of HW/SW Platforms
- K. Richter, D. Ziegenbein, M. Jersak, R. Ernst. Session 7: Partitioning and Scheduling. Temporal Partitioning and Sequencing of Dataflow Graphs on Reconfigurable Systems
- C. Bobda. Integration of Low Power Analysis into High-Level Synthesis
- A. Rettberg, B. Kleinjohann, F.J. Rammig. Going Beyond Deadline-Driven Low-Level Scheduling in Distributed Real-Time Computing Systems
- K.H. (Kane) Kim, Juqiang Liu. Session 8: Communication and Application. IEEE-1394 A Standard to Interconnect Distributed Systems
- R. Santamaria. Deterministic and High-Performance Communication System for the Distributed Control of Mechatronic Systems Using the IEEE1394a
- M. Zanella, T. Lehmann, T. Hestermeyer, A. Pottharst. A Consistent Design Methodology for Configurable HW/SW-Interfaces in Embedded Systems
- S. Ihmor, M. Visarius, W. Hardt. Low Latency Color Segmentation on Embedded Real-Time Systems
- D. Stichling, B. Kleinjohann. Session 9: Design Methods and Frameworks. Soft IP Design Framework Using Metaprogramming Techniques
- V. Stuikys, R. Damasevi ius, G. Ziberkas, G. Majauskas. How to integrate Webservices in Embedded System Design? A. Rettberg, W. Thronick. Design and Realization of Distributed Real-Time Controllers for Mechatronic Systems
- M. Deppe, M. Zanella.
「Nielsen BookData」 より