% dp_check('model_dp1234_10t_1p').

archi_model_spec("model_dp1234_10t_1p",L) :-
L = [ sw_archi(log_upg),
tasks([t0,t1,t2,t3,t4,t5,t6,t7,t8,t9]),
processing_elements([c0]),
resources([ic0]),
a_type(c0,processing),
a_type(ic0,memory),
am_PE_use(c0,[ic0]),
ha_independent(c0),
dm_PE_actual(t0,c0),
dm_PE_actual(t1,c0),
dm_PE_actual(t2,c0),
dm_PE_actual(t3,c0),
dm_PE_actual(t4,c0),
dm_PE_actual(t5,c0),
dm_PE_actual(t6,c0),
dm_PE_actual(t7,c0),
dm_PE_actual(t8,c0),
dm_PE_actual(t9,c0),
dm_PE_allowed(t0,[c0]),
dm_PE_allowed(t1,[c0]),
dm_PE_allowed(t2,[c0]),
dm_PE_allowed(t3,[c0]),
dm_PE_allowed(t4,[c0]),
dm_PE_allowed(t5,[c0]),
dm_PE_allowed(t6,[c0]),
dm_PE_allowed(t7,[c0]),
dm_PE_allowed(t8,[c0]),
dm_PE_allowed(t9,[c0]),
dm_PE_scheduling(c0,t0, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t1, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t2, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t3, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t4, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t5, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t6, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t7, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t8, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t9, sched(posix_1003_highest_priority_first_protocol,preemptive)),
am_time(c0,a_bus,interval( 0, 500, 1000)),
a_proc_type(c0,processor),
a_proc_isa(c0,sparc_V8),
a_proc_speed(c0, 100000000),
a_mem_type(ic0,instruction_cache_type),
a_mem_cache_associativity(ic0, 1),
a_mem_cache_level(ic0, 1),
a_mem_cache_size(ic0, 1024),
a_mem_cache_line_size(ic0, 16),
a_mem_cache_miss_time(ic0, 1000),
a_type(a_bus,interconnect),
a_conn_type(a_bus,bus),
end_with_success ].