1. Multi-Valued Performance Metrics for Real-Time Embedded Systems

   • Xiaobo (Sharon) Hu
   • Rajeshkumar S. Sambandam

   OriginalPaper Pages: 5 - 28

2. Synthesis for Mixed Arithmetic

   • Anne Mignotte
   • Jean-Michel Muller
   • Olivier Peyran

   OriginalPaper Pages: 29 - 60

3. Assessing Probabilistic Timing Constraints on System Performance

   • G. de Veciana
   • M. Jacome
   • Jian-Huei Guo

   OriginalPaper Pages: 61 - 81

4. Functional Validation of Mixed Hardware/Software Systems based on Specification, Partitioning, and Simulation of Test Cases

   • Axel Jantsch
   • Johann Notbauer
   • Thomas Albrecht

   OriginalPaper Pages: 83 - 113