定方式中的功能，以使得存儲在計算機可讀介質(zhì)中的指令產(chǎn)生制品，其包括實施在流程圖和/或方框圖的一個或者多個方框中具體說明的函數(shù)/動作的指令。
[0086]計算機程序指令也可以被加載到計算機、其它可編程數(shù)據(jù)處理裝置、或者其它設(shè)備中，從而使得一系列操作步驟在計算機、其它可編程裝置或者其它設(shè)備中執(zhí)行，以產(chǎn)生計算機實施的過程，以使得在計算機或者其它可編程裝置中執(zhí)行的指令提供用于實施在流程圖和/或方框圖一個或者多個方框中具體說明的功能/動作的過程。
[0087]在附圖中的流程圖和方框圖按照本公開內(nèi)容的各種實施例圖示出系統(tǒng)、方法和計算機程序產(chǎn)品的可能實施方案的架構(gòu)、功能性和操作。就這一點而言，在流程圖或者方框圖中的每個方塊可能代表代碼的模塊、節(jié)段或者部分，其包括用于實施具體說明的(一個或者多個)邏輯功能的一個或者多個可執(zhí)行指令。也應(yīng)該注意的是，在一些可替換的實施方案中，在方框中記錄的功能可能以與圖中記錄的順序不同的順序發(fā)生。例如，接連示出的兩個方框可能實際上基本同時地執(zhí)行，或者取決于所牽涉的功能性，方框有時可能以逆轉(zhuǎn)的順序執(zhí)行。也將注意的是，方框圖和/或流程圖舉例說明的每個方框和在方框圖和/或流程圖舉例說明中的方框的組合可以由執(zhí)行具體功能或者動作的特殊目的基于硬件的系統(tǒng)或者特殊目的硬件和計算機指令的組合來實施。
[0088]已經(jīng)描述了本公開內(nèi)容的各種方面。本公開內(nèi)容的許多方面已在系統(tǒng)的具體類型的上下文中描述，例如，自動電子控制單元(ECU)。然而，相似的技術(shù)可以延伸到廣泛的其它系統(tǒng)中，其可以通過使用元模型來改進系統(tǒng)的確認覆蓋相對于其需求的應(yīng)用適應(yīng)度和驗證而象征性地關(guān)于其性能和特性來描述。這些和其它方面在下文的權(quán)利要求的范圍之內(nèi)。
【主權(quán)項】
1.一種用于確認系統(tǒng)的方法，包括: 由計算設(shè)備的至少一個處理器來構(gòu)建至少一個元模型；并且 由所述至少一個處理器對所述至少一個元模型執(zhí)行以下的一個或者多個:拆分操作、合并操作、約簡操作、數(shù)學(xué)變換、逆操作、推導(dǎo)操作、級聯(lián)操作和代數(shù)運算。
2.如權(quán)利要求1的方法，其中對所述至少一個元模型執(zhí)行以下的一個或者多個:拆分操作進一步包括: 由所述至少一個處理器來確定所述至少一個元模型中的一個元模型的第一因子，其不與所述元模型的第二因子交互；并且 由所述至少一個處理器將所述元模型的第一因子與所述元模型的第二因子相分離，包括構(gòu)建包括第一因子的第一元模型和包括第二因子的第二元模型。
3.如權(quán)利要求1的方法，其中對所述至少一個元模型執(zhí)行以下的一個或者多個:拆分操作進一步包括: 由至少一個處理器將所述至少一個元模型中的一個元模型的至少一個第一響應(yīng)與所述元模型的至少一個第二響應(yīng)相分離，包括構(gòu)建包括所述至少一個第一響應(yīng)的第一元模型和構(gòu)建包括所述至少一個第二響應(yīng)的第二元模型。
4.如權(quán)利要求1的方法，其中對所述至少一個元模型執(zhí)行以下的一個或者多個:合并操作進一步包括: 由至少一個處理器將所述至少一個元模型的第一元模型與所述至少一個元模型的第二元模型合并，從而構(gòu)建第三元模型，包括將與第一元模型和第二元模型相關(guān)聯(lián)的共有因子合并到與第三元模型相關(guān)聯(lián)的單個因子中。
5.如權(quán)利要求1的方法，其中對所述至少一個元模型執(zhí)行以下的一個或者多個:約簡操作進一步包括: 由至少一個處理器來從所述至少一個元模型的一個元模型中移除一個或者多個不重要的因子。
6.如權(quán)利要求1的方法，其中對所述至少一個元模型執(zhí)行以下的一個或者多個:約簡操作進一步包括: 由至少一個處理器將所述至少一個元模型中的一個元模型的因子的子集設(shè)定在固定水平。
7.如權(quán)利要求1的方法，其中對所述至少一個元模型執(zhí)行以下的一個或者多個:變換操作進一步包括: 由至少一個處理器將數(shù)學(xué)變換應(yīng)用到與所述至少一個元模型中的一個元模型相關(guān)聯(lián)的因子和響應(yīng)中的至少一個。
8.如權(quán)利要求1的方法，其中對所述至少一個元模型執(zhí)行以下的一個或者多個:逆操作進一步包括: 由至少一個處理器將與所述至少一個元模型中的一個元模型相關(guān)聯(lián)的一個或者多個因子變換成與所述元模型相關(guān)聯(lián)的一個或者多個響應(yīng)。
9.如權(quán)利要求1的方法，其中對所述至少一個元模型執(zhí)行以下的一個或者多個:推導(dǎo)操作進一步包括: 由至少一個處理器將所述至少一個元模型中的一個元模型的因子的子集移除；并且 由至少一個處理器將所述元模型中的響應(yīng)替代為關(guān)于所述因子的子集的一個或者多個統(tǒng)計學(xué)特性。
10.如權(quán)利要求1的方法，其中對所述至少一個元模型執(zhí)行以下的一個或者多個:級聯(lián)操作進一步包括: 由至少一個處理器將第一元模型與第二元模型級聯(lián)，以使得第一元模型中的響應(yīng)是第二元模型中的因子。
11.如權(quán)利要求1的方法，其中: 構(gòu)建元模型包括構(gòu)建元模型從而響應(yīng)于物理系統(tǒng)中的至少一個因子的變化來近似物理系統(tǒng)的至少一個響應(yīng)； 所述至少一個因子包括放置在半導(dǎo)體晶片上的管芯；并且 所述至少一個響應(yīng)包括測量結(jié)果。
12.一種包含指令的計算機可讀存儲介質(zhì)，當所述指令由至少一個處理器執(zhí)行時，使得所述至少一個處理器執(zhí)行操作，包括: 構(gòu)建至少一個元模型；并且 對所述至少一個元模型執(zhí)行以下的一個或者多個:拆分操作、合并操作、約簡操作、數(shù)學(xué)變換、逆操作、推導(dǎo)操作、級聯(lián)操作、和代數(shù)運算。
13.如權(quán)利要求12的計算機可讀存儲介質(zhì)，其中對所述至少一個元模型執(zhí)行以下的一個或者多個:拆分操作進一步包括: 確定所述至少一個元模型中的一個元模型的第一因子，其不與所述元模型的第二因子交互；并且 將所述元模型的第一因子與所述元模型的第二因子相分離，包括構(gòu)建包括第一因子的第一元模型和包括第二因子的第二元模型。
14.如權(quán)利要求12的計算機可讀存儲介質(zhì)，其中對所述至少一個元模型執(zhí)行以下的一個或者多個:拆分操作進一步包括: 將所述至少一個元模型中的一個元模型的至少一個第一響應(yīng)與所述元模型的至少一個第二響應(yīng)相分離，包括構(gòu)建包括所述至少一個第一響應(yīng)的第一元模型和構(gòu)建包括所述至少一個第二響應(yīng)的第二元模型。
15.如權(quán)利要求12的計算機可讀存儲介質(zhì)，其中對所述至少一個元模型執(zhí)行以下的一個或者多個:合并操作進一步包括: 將所述至少一個元模型的第一元模型與所述至少一個元模型的第二元模型合并，從而構(gòu)建第三元模型，包括將與第一元模型和第二元模型相關(guān)聯(lián)的共有因子合并到與第三元模型相關(guān)聯(lián)的單個因子中。
16.如權(quán)利要求12的計算機可讀存儲介質(zhì)，其中對所述至少一個元模型執(zhí)行以下的一個或者多個:約簡操作進一步包括: 從所述至少一個元模型的一個元模型中移除一個或者多個不重要的因子。
17.如權(quán)利要求12的計算機可讀存儲介質(zhì)，其中對所述至少一個元模型執(zhí)行以下的一個或者多個:約簡操作進一步包括: 將所述至少一個元模型中的一個元模型的因子的子集設(shè)定在固定水平。
18.如權(quán)利要求12的計算機可讀存儲介質(zhì)，其中對所述至少一個元模型執(zhí)行以下的一個或者多個:變換操作進一步包括: 將數(shù)學(xué)變換應(yīng)用到與所述至少一個元模型中的一個元模型相關(guān)聯(lián)的因子和響應(yīng)中的至少一個。
19.一種計算系統(tǒng)，包括: 存儲器； 至少一個處理器；以及 至少一個模塊，其在所述至少一個處理器中執(zhí)行，并且被配置用于: 構(gòu)建至少一個元模型；并且 對至少一個元模型執(zhí)行以下的一個或者多個:拆分操作、合并操作、約簡操作、數(shù)學(xué)變換、逆操作、推導(dǎo)操作、級聯(lián)操作和代數(shù)運算。
20.如權(quán)利要求19的計算系統(tǒng)， 其中當至少一個模塊對至少一個元模型執(zhí)行以下的一個或者多個時:約簡操作，其將所述至少一個元模型中的一個元模型的因子的子集設(shè)定在固定水平。
21.如權(quán)利要求19的計算系統(tǒng)，其中當至少一個模塊對至少一個元模型執(zhí)行以下的一個或者多個時:變換操作，其將數(shù)學(xué)變換應(yīng)用到與所述至少一個元模型中的一個元模型相關(guān)聯(lián)的因子和響應(yīng)中的至少一個。
22.如權(quán)利要求19的計算系統(tǒng)，其中當至少一個模塊對至少一個元模型執(zhí)行以下的一個或者多個時:逆操作，其將與所述至少一個元模型中的一個元模型相關(guān)聯(lián)一個或者多個因子變換成與所述元模型相關(guān)聯(lián)的一個或者多個響應(yīng)。
23.如權(quán)利要求19的計算系統(tǒng)，其中當至少一個模塊對至少一個元模型執(zhí)行以下的一個或者多個時:推導(dǎo)操作，其將所述至少一個元模型中的一個元模型的因子的子集移除，并且將所述元模型中的響應(yīng)替代為關(guān)于因子的子集的一個或者多個統(tǒng)計學(xué)特性。
24.如權(quán)利要求19的計算系統(tǒng)，其中當至少一個模塊對至少一個元模型執(zhí)行以下的一個或者多個時:級聯(lián)操作，其將第一元模型與第二元模型級聯(lián)，以使得第一元模型中的響應(yīng)是第二元模型中的因子。
25.如權(quán)利要求19的計算系統(tǒng)，其中 構(gòu)建元模型包括構(gòu)建元模型從而響應(yīng)于物理系統(tǒng)中的至少一個因子的變化來近似物理系統(tǒng)的至少一個響應(yīng)； 所述至少一個因子包括放置在半導(dǎo)體晶片上的管芯；并且 所述至少一個響應(yīng)包括測量結(jié)果。
【專利摘要】本發(fā)明涉及使用元模型的基于應(yīng)用的驗證覆蓋。計算設(shè)備的至少一個處理器可以構(gòu)建至少一個元模型。至少一個處理器可以對至少一個元模型進一步執(zhí)行以下的一個或者多個：拆分操作、合并操作、約簡操作、數(shù)學(xué)變換、逆操作、推導(dǎo)操作、級聯(lián)操作、以及對至少一個元模型的代數(shù)運算。
【IPC分類】G06F11-26
【公開號】CN104834577
【申請?zhí)枴緾N201510063488
【發(fā)明人】G.佩爾茨, M.拉法伊拉
【申請人】英飛凌科技股份有限公司
【公開日】2015年8月12日
【申請日】2015年2月6日
【公告號】DE102015101712A1, US20150220667