Metro II Execution Semantics for Mapping

Authors:
Densmore, Douglas Michael
Meyerowitz, Trevor Conrad
Davare, Abhijit
Zhu, Qi
Yang, Guang
Technical Report Identifier: EECS-2008-16
February 18, 2008
EECS-2008-16.pdf

Abstract: This document presents three proposals for the execution semantics of mapping in Metro II. Mapping is the relationship between what a system does (functionality) and how it does it (architecture). The main concern is whether the functionality and architecture models should execute concurrently or sequentially during simulation. Proposal #1 presents sequential execution with the functionality being executed before the architecture. Proposal #2 also presents sequential execution, but with the architecture executing before the functionality. Finally, Proposal #3 presents concurrent execution. Processes are present in the architecture to execute simultaneously with the events mapped to them in the functionality.

Each of these three proposals is demonstrated on a set of design scenarios with hand traces illustrating their execution. Additionally general assumptions, glossary terms, and proposal-specific assumptions made regarding the execution semantics are discussed. Finally, the proposals are compared and contrasted, especially regarding how they can properly implement the examples and the general semantic assumptions.