Abstract is missing.
- Can UML be a System-Level Language for Embedded Software?João M. Fernandes, Ricardo Jorge Machado. 1-10
- PEARL for Distributed Embedded SystemsRoman Gumzej, Wolfgang A. Halang. 11-20
- Universal Plug and Play Machine ModelsUwe Glässer, Margus Veanes. 21-30
- Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based ApproachZonghua Gu, Kang G. Shin. 31-40
- Petri Net Based Design of Reconfigurable EmbeddedCarsten Rust, Friedhelm Stappert, Reinhard Bernhardi-Grisson. 41-50
- Model Checking Robustness to DesynchronizationJean-Pierre Talpin. 51-60
- A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex SystemsNihal Kececi, Wolfgang A. Halang, Alain Abran. 61-69
- Towards Design Verification and Validation at Multiple Levels of AbstractionHolger Giese, Martin Kardos, Ulrich Nickel. 71-80
- Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and ExceptionsPrabhat Mishra, Nikil D. Dutt. 81-90
- Statistical Analysis of a Hybrid Replication ModelEmerson Rogério de Oliveira Junior, Ingrid Jansch-Pôrto. 91-100
- Building Embedded Fault-Tolerant Systems for Critical Applications: An Experimental StudyPaul Townend, Jie Xu, Malcolm Munro. 101-112
- Fault Detection in Safety-Critical Embedded SystemsDomen Verber, Matjaz Colnaric, Wolfgang A. Halang. 113-119
- Dependability Characterization of Middleware ServicesEric Marsden, Nicolas Perrot, Jean-Charles Fabre, Jean Arlat. 121-130
- Adaptive Middleware for Ubiquitous Computing EnvironmentsStephen S. Yau, Fariaz Karim. 131-140
- Finegrained Application Specific Customization of Embedded SoftwareDanilo Beuche, Olaf Spinczyk, Wolfgang Schröder-Preikschat. 141-151
- Checking the Temporal Behaviour of Distributed and Parallel Embedded SystemsWolfgang A. Halang, Nihal Kececi, Grace Tsai. 153-162
- Transforming Execution-Time Boundable Code into Temporally Predictable CodePeter P. Puschner. 163-172
- Bottom-Up Performance Analysis of HW/SW PlatformsKai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst. 173-183
- Temporal Partitioning and Sequencing of Dataflow Graphs on Reconfigurable SystemsChristophe Bobda. 185-194
- Integration of Low Power Analysis into High-Level Scheduling in Distributed Real-Time Computing SystemsAchim Rettberg, Bernd Kleinjohann, Franz J. Rammig. 205-215
- IEEE-1394 A Standard to Interconnect Distributed SystemsRomualdo Santamaria. 217-225
- Deterministic and High-Performance Communication System for the Distributed Control of Mechatronic Systems Using the IEEE1394aMauro Cesar Zanella, Thomas Lehmann, Thorsten Hestermeyer, Andreas Pottharst. 227-236
- A Consistent Design Methodology for Configurable HW/SW-interfaces in Embedded SystemsStefan Ihmor, Markus Visarius, Wolfram Hardt. 237-246
- Low Latency Color Segmentation on Embedded Real-Time SystemsDirk Stichling, Bernd Kleinjohann. 247-256
- Soft IP Design Framework Using Metaprogramming TechniquesVytautas Stuikys, Robertas Damasevicius, Giedrius Ziberkas, Giedrius Majauskas. 257-266
- How to integrate Webservices in Embedded System Design?Achim Rettberg, Wolfgang Thronicke. 267-276
- Design and Realization of Distributed Real-Time Controller for Mechatronic SystemsMarkus Deppe, Mauro Cesar Zanella. 277-286