|
Abstract:
|
In this thesis, we present how a DisCo specification is mapped into a VHDL specification. A DisCo specification consists of classes, actions and relations. The DisCo method enables executable specification where objects, which are instances of classes, participate in joint actions. In actions, the global state of the system is changed. In the VHDL specification, a process corresponds to each object of the DisCo specification. Processes execute those parts of actions that change the state of the corresponding object. The execution of actions is controlled by a scheduler.The execution model of DisCo methodology is nondeterministic and it allows that any of enabled actions is executed next but it does not force execution. Hardware implementation requires the scheduler to select an action for execution in order to make the system proceed in its task. Additionally, the selections of the schedulers with different fairness properties were developed. They are able to satisfy the fairness requirements, which can be set in DisCo specifications. The schedulers were described in different level of abstraction and structural models were tested against behavioural models when their operation was ensured to correspond to each other. /Kir10 |