2.  Theory and Background

This chapter will discuss all theory that is necessary to understand the simulation technology used in the practical experience part. It will start with a discussion on abstraction levels, presenting different schemes for the categorization of models. The subsequent part shows a standard for interfaces within simulation, followed by a summary of verification techniques. The last section in the theory and background chapter introduces a concrete implementation for a simulator backplane.

 2.1  Model Abstraction Levels
  2.1.1  A basic abstraction model
  2.1.2  Gajski-Kuhn chart
  2.1.3  The VSIA approach
 2.2  Model Interfaces
  2.2.1  Basic OMI Concepts
  2.2.2  OMI Information Model
  2.2.3  Execution Stages
 2.3  Model Verification
  2.3.1  Intent Verification
  2.3.2  Equivalence Verification
  2.3.3  Verification Test Suite Migration
  2.3.4  VC Verification versus Integration Verification
  2.3.5  Summary: Functional Verification Mapping
 2.4  Octopus
  2.4.1  Event Based Simulation with Octopus
  2.4.2  Execution Logic
  2.4.3  Octopus classification
  2.4.4  Octopus through OMI Eyes
 2.5  Summary of the Theory Part