Contents

• Preface
• List of Figures
• List of Tables
• DEVS Formalism and DEVS++ code
  • Atomic DEVS
  • Coupled DEVS
  • Building Ping-Pong Game using DEVS++
  
  
• Structure of DEVS++
  • Event=PortValue
    • Named
    • Port, InputPort, and OutputPort
    • Value, bValue and tmValue
    • PortValue
  • DEVS
    • Base DEVS: Devs
    • Atomic DEVS: Atomic
    • Coupled DEVS: Coupled
  • Scalable Real-Time Engine: SRTEngine
  • Random Variable
  • Miscellaneous
    • Time Span and Time
    • String Handling
  
  
• Simple Examples
  • Atomic DEVS Examples
    • Timer
    • Vending Machine
  • Coupled DEVS Examples
    • Monorail System
  
  
• Performance Evaluation
  • Performance Measures
    • Throughput
    • Cycle Time
    • Utilization
    • Average Queue Length
    • Sample Mean, Sample Variance, and Confidence Interval
  • Practice in DEVS++
    • Throughput and System Time in DEVS++
    • Utilization in DEVS++
    • Average Queue Length in DEVS++
  • Client-Server System
    • Server
    • Buffer
    • Performance Analysis
  
  
• Appendix: Compiling DEVS++
  • Using Microsoft Visual Studio 2005$^{\rm TM}$
  
  
• Bibliography
• Index