The . allocation view shows the assignment of modules to processors and other non-software elements. The Module Decomposition View and Components and Connectors view.

------------------------------------------------------

--This is a package that provides the elements

--necessary to define a runtime environment that

--works with the ADeS simulator.

------------------------------------------------------

package platform

public

-- Description of the memory onto which the process is bound

------------------------------------------------------

memory DefaultMemory

end DefaultMemory;

memory implementation DefaultMemory.impl

end DefaultMemory.impl;

-- Description of the bus onto which connections are bound

----------------------------------------------------------

bus DefaultBus

end DefaultBus;

bus implementation DefaultBus.impl

properties

    Propagation_Delay => 5 Ms .. 5 Ms;

end DefaultBus.impl;

-- Description of a processor to execute the threads

-------------------------------------------

processor DefaultProcessor

features

    busAcc: requires bus access DefaultBus.impl;

end DefaultProcessor;

processor implementation DefaultProcessor.impl

subcomponents

    mem: memory DefaultMemory.impl;

    properties

        Scheduling_Protocol => RMS;

    end DefaultProcessor.impl;

end platform;