archi_model_spec("ValidationExample3",L) :-
L = [ sw_archi(log_upg), 
tasks([interference, blackscholes,x264,vips,swaptions,ferret,canneal,bodytrack,freqmine,fluidanimate]),
processing_elements([c0, c1, c2, c3]),
resources([mc,b0,b1,b2]), 
a_type(c0,processing),    
a_type(c1,processing),
a_type(c2,processing),    
a_type(c3,processing),
a_type(mc, memory),
a_type(b0,memory),  
a_type(b1,memory),
a_type(b2,memory),
a_mem_type(mc,idCache),   % LLC
a_mem_type(b0,bank),  
a_mem_type(b1,bank),
a_mem_type(b2,bank),
am_PE_use(c0,[mc]),       
am_PE_use(c1,[mc]),
am_PE_use(c2,[mc]),         
am_PE_use(c3,[mc]),
am_R_use(mc,[b0,b1,b2]),
ha_dependent(c0),         
ha_dependent(c1),
ha_dependent(c2),         
ha_dependent(c3),
a_proc_type(c0,processor),      
a_proc_type(c1,processor),
a_proc_type(c2,processor),
a_proc_type(c3,processor),     
dm_PE_actual(interference,c0),
dm_PE_actual(blackscholes,c1),
dm_PE_actual(x264,c1),
dm_PE_actual(vips,c1),
dm_PE_actual(swaptions,c2),
dm_PE_actual(ferret,c2),
dm_PE_actual(canneal,c2),
dm_PE_actual(bodytrack,c3),
dm_PE_actual(freqmine,c3), 
dm_PE_actual(fluidanimate,c3),
dm_PE_allowed(interference,[c0, c1, c2, c3]),
dm_PE_allowed(blackscholes,[c1, c1, c2, c3]),
dm_PE_allowed(x264,[c0,c1,c2,c3]),
dm_PE_allowed(vips,[c0,c1,c2,c3]),
dm_PE_allowed(swaptions,[c0,c1,c2,c3]),
dm_PE_allowed(ferret,[c0,c1,c2,c3]),
dm_PE_allowed(canneal,[c0,c1,c2,c3]),
dm_PE_allowed(bodytrack,[c0,c1,c2,c3]),
dm_PE_allowed(freqmine,[c0,c1,c2,c3]),
dm_PE_allowed(fluidanimate,[c0,c1,c2,c3]),
dm_R_actual(interference,[b0,b1,b2]),
dm_R_actual(blackscholes,[b0]),
dm_R_actual(x264,[b0]),
dm_R_actual(vips,[b0]),
dm_R_actual(swaptions,[b1]),
dm_R_actual(ferret,[b1]),
dm_R_actual(canneal,[b1]),
dm_R_actual(bodytrack,[b2]),
dm_R_actual(freqmine,[b2]),
dm_R_actual(fluidanimate,[b2]),
dm_PE_scheduling(c0, interference, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c1, blackscholes, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c1, x264, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c1, vips, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c2, swaptions, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c2, ferret, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c2, canneal, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c3, bodytrack, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c3, freqmine, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c3, fluidanimate, sched(posix_1003_highest_priority_first_protocol,preemptive)),
end_with_success ].