% dp_check('model_dp1_dp3_10t_1p').

archi_model_spec("model_dp1_dp3_10t_1p",L) :-
L = [ sw_archi(log_upg),
tasks([t0,t1,t2,t3,t4,t5,t6,t7,t8,t9]),
processing_elements([c0]),
a_type(c0,processing),
am_PE_use(c0,[]),
ha_independent(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(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
a_proc_type(c0,processor),
a_proc_isa(c0,i386),
a_proc_speed(c0, 100000000),
end_with_success ].