1.一種用于對(duì)具有攔截器的布局進(jìn)行漏洞評(píng)估的計(jì)算機(jī)化機(jī)構(gòu),其特征在于,包括至少一計(jì)算機(jī)化裝置,其被配置為接收具有在預(yù)安排位置處并入攔截器的布局,并執(zhí)行多個(gè)操作,所述多個(gè)操作包括:
故障誘發(fā)操作,通過模型化影響所述布局中的時(shí)序的物理現(xiàn)象而虛擬地誘發(fā)所述布局中的故障;
檢測操作,響應(yīng)于根據(jù)所述時(shí)序與所提供的規(guī)范之間的差異所誘發(fā)的所述故障而檢測所述布局中的時(shí)序違規(guī);以及
故障確定操作,根據(jù)檢測到的故障確定所述布局到故障的漏洞。
2.根據(jù)權(quán)利要求1所述的計(jì)算機(jī)化機(jī)構(gòu),其特征在于,所述計(jì)算機(jī)化裝置還包括:執(zhí)行一布局分割操作,用以根據(jù)所述物理現(xiàn)象的直徑將所述布局分成多個(gè)分區(qū),其中各所述分區(qū)包括單元、網(wǎng)或其組合。
3.根據(jù)權(quán)利要求2所述的計(jì)算機(jī)化機(jī)構(gòu),其特征在于,所述物理現(xiàn)象是具有由時(shí)間因子和直徑表示的強(qiáng)度的虛擬激光光束,所述虛擬激光光束通過所述分區(qū)掃描所述布局并且根據(jù)所述時(shí)間因子改變所述分區(qū)中的所述單元和網(wǎng)的指定時(shí)序。
4.根據(jù)權(quán)利要求2所述的計(jì)算機(jī)化機(jī)構(gòu),其特征在于,所述檢測操作包括在每個(gè)所述分區(qū)中檢測所述單元和網(wǎng)的所述時(shí)序與所提供的規(guī)范之間的差異,并且其中所述故障確定操作是根據(jù)所述攔截器外所檢測到的時(shí)序違規(guī)確定所述布局到故障的漏洞。
5.根據(jù)權(quán)利要求1所述的計(jì)算機(jī)化機(jī)構(gòu),其特征在于,所述計(jì)算機(jī)化裝置以不同強(qiáng)度的所述物理現(xiàn)象依序地重復(fù)所述故障誘發(fā)操作、所述檢測操作及所述故障確定操作至少一次以上。
6.根據(jù)權(quán)利要求1所述的計(jì)算機(jī)化機(jī)構(gòu),其特征在于,所述計(jì)算機(jī)化裝置以不同程度的模型化的物理現(xiàn)象依序地重復(fù)所述故障誘發(fā)操作、所述檢測操作及所述故障確定操作至少一次以上。
7.根據(jù)權(quán)利要求1所述的計(jì)算機(jī)化機(jī)構(gòu),其特征在于,所述計(jì)算機(jī)化裝置還執(zhí)行攔截器位置修改操作,響應(yīng)于所述故障確定操作且進(jìn)一步重復(fù)所述多個(gè)操作,而修改所述攔截器在所述布局中的位置。
8.根據(jù)權(quán)利要求1所述的計(jì)算機(jī)化機(jī)構(gòu),其特征在于,所述計(jì)算機(jī)化裝置還執(zhí)行攔截器數(shù)量修改操作,響應(yīng)于所述故障確定操作且進(jìn)一步重復(fù)所述多個(gè)操作,而修改所述攔截器在所述布局中的數(shù)量。
9.根據(jù)權(quán)利要求1所述的計(jì)算機(jī)化機(jī)構(gòu),其特征在于,所述計(jì)算機(jī)化裝置還執(zhí)行攔截器位置與數(shù)量修改操作,響應(yīng)于所述故障確定操作且進(jìn)一步重復(fù)所述多個(gè)操作,而修改所述攔截器在所述布局中的位置與數(shù)量。
10.根據(jù)權(quán)利要求1所述的計(jì)算機(jī)化機(jī)構(gòu),其特征在于,所述故障確定操作是根據(jù)所述攔截器中的時(shí)序違規(guī)的檢測。
11.根據(jù)權(quán)利要求1所述的計(jì)算機(jī)化機(jī)構(gòu),其特征在于,所述物理現(xiàn)象是模型化電磁照射。
12.根據(jù)權(quán)利要求1所述的計(jì)算機(jī)化機(jī)構(gòu),其特征在于,所述物理現(xiàn)象是模型化加熱。