背景技術(shù)：

技術(shù)實(shí)現(xiàn)思路

1、本文公開了用于幫助用戶、軟件程序員、設(shè)計(jì)者、系統(tǒng)開發(fā)者等優(yōu)化系統(tǒng)設(shè)計(jì)的系統(tǒng)和相關(guān)方法，例如但不必限于使用域知識(shí)規(guī)則的迭代建模來優(yōu)化有限狀態(tài)機(jī)(fsm)建模系統(tǒng)，以根據(jù)用戶體驗(yàn)、可用性、正確性、可轉(zhuǎn)換性、有效性和準(zhǔn)備好的狀態(tài)中的一個(gè)或多個(gè)來可預(yù)測(cè)地對(duì)fsm建模系統(tǒng)的狀態(tài)流表示進(jìn)行排名。本文所構(gòu)想的自動(dòng)化方法尤其適用于設(shè)計(jì)具有相對(duì)復(fù)雜和/或高度交互行為特征的系統(tǒng)，例如，跨各種各樣的可能狀態(tài)、狀態(tài)轉(zhuǎn)換、狀態(tài)或模式觸發(fā)事件、以及輸出。例如，具有自動(dòng)化控制功能的機(jī)動(dòng)車輛具有相對(duì)復(fù)雜的工作模式和狀態(tài)轉(zhuǎn)換規(guī)則。這些模式中的一些是自動(dòng)/自主地執(zhí)行的或是響應(yīng)于駕駛員輸入而執(zhí)行的，而其它模式則可以是基于定時(shí)器、隱藏邏輯或其它自動(dòng)發(fā)生的激活準(zhǔn)則的?？梢允褂糜邢逘顟B(tài)機(jī)技術(shù)來設(shè)計(jì)其它復(fù)雜系統(tǒng)，例如航空電子設(shè)備、醫(yī)療設(shè)備和用于各種移動(dòng)或固定系統(tǒng)的相關(guān)控制邏輯，并且這些系統(tǒng)同樣受益于下面詳細(xì)描述的自動(dòng)驗(yàn)證方法。

2、本公開的一個(gè)非限制性方面涉及了一種設(shè)計(jì)優(yōu)化平臺(tái)。所述設(shè)計(jì)優(yōu)化平臺(tái)可以包括系統(tǒng)設(shè)計(jì)模塊，其被配置成用于從用戶設(shè)備接收與有限狀態(tài)機(jī)fsm建模系統(tǒng)的設(shè)計(jì)相關(guān)聯(lián)的數(shù)據(jù)。所述數(shù)據(jù)可以描述fsm建模系統(tǒng)的狀態(tài)、狀態(tài)轉(zhuǎn)換、事件以及輸出。設(shè)計(jì)優(yōu)化平臺(tái)還可以包括組合生成器模塊，其被配置成生成fsm建模系統(tǒng)的多個(gè)狀態(tài)流表示，可選地，每個(gè)狀態(tài)流表示反映fsm建模系統(tǒng)在根據(jù)fsm建模系統(tǒng)的狀態(tài)和狀態(tài)轉(zhuǎn)換、事件和輸出中的一個(gè)或多個(gè)替選方案工作時(shí)的行為。設(shè)計(jì)優(yōu)化平臺(tái)還可以包括評(píng)分機(jī)制模塊，其被配置成為每個(gè)狀態(tài)流表示產(chǎn)生評(píng)分。

3、設(shè)計(jì)優(yōu)化平臺(tái)可以包括域知識(shí)規(guī)則模塊，其被配置成包含用于定義替選方案的多個(gè)域知識(shí)規(guī)則。

4、組合生成器模塊可被配置成根據(jù)迭代替選方案來生成fsm建模系統(tǒng)的多個(gè)經(jīng)迭代的狀態(tài)流表示，可選地，每個(gè)經(jīng)迭代的狀態(tài)流表示表示了fsm建模系統(tǒng)在根據(jù)一個(gè)或多個(gè)迭代替選方案工作時(shí)的行為。

5、評(píng)分機(jī)制模塊可被配置成生成每個(gè)經(jīng)迭代的狀態(tài)流表示的迭代評(píng)分。

6、設(shè)計(jì)優(yōu)化平臺(tái)可以包括一個(gè)優(yōu)化設(shè)計(jì)模塊，其被配置成至少部分地基于評(píng)分和迭代評(píng)分來確定fsm建模系統(tǒng)的優(yōu)化的狀態(tài)流表示。

7、評(píng)分機(jī)制模塊可被配置成根據(jù)優(yōu)化算法來計(jì)算評(píng)分和迭代評(píng)分。

8、設(shè)計(jì)優(yōu)化平臺(tái)可以包括加權(quán)模塊，其被配置成分配將由評(píng)分機(jī)制模塊在計(jì)算評(píng)分和迭代評(píng)分時(shí)使用的權(quán)重值。

9、可以為分層結(jié)構(gòu)層級(jí)、嵌套結(jié)構(gòu)、狀態(tài)之間的連接數(shù)量、狀態(tài)圖半徑、狀態(tài)之間的間隔以及預(yù)定義結(jié)構(gòu)中的一個(gè)或多個(gè)來分配值。

10、評(píng)分機(jī)制模塊可以包括被配置成作為遺傳算法工作的優(yōu)化算法。

11、評(píng)分機(jī)制模塊可以包括被配置成作為局部搜索算法工作的優(yōu)化算法。

12、本公開的一個(gè)非限制性方面涉及了設(shè)計(jì)優(yōu)化平臺(tái)。所述設(shè)計(jì)優(yōu)化平臺(tái)可以包括一個(gè)系統(tǒng)設(shè)計(jì)模塊，其被配置成用于從用戶設(shè)備接收與有限狀態(tài)機(jī)fsm建模系統(tǒng)的設(shè)計(jì)相關(guān)聯(lián)的數(shù)據(jù)。所述數(shù)據(jù)可以描述fsm建模系統(tǒng)的狀態(tài)、狀態(tài)轉(zhuǎn)換、事件及輸出。設(shè)計(jì)優(yōu)化平臺(tái)還可以包括組合生成器模塊，其被配置成根據(jù)域和迭代替選方案生成fsm建模系統(tǒng)的多個(gè)狀態(tài)流表示，可選地，每個(gè)狀態(tài)流表示反映fsm建模系統(tǒng)在根據(jù)一個(gè)或多個(gè)域和迭代替選方案工作時(shí)的行為。設(shè)計(jì)優(yōu)化平臺(tái)還可以包括評(píng)分機(jī)制模塊，其被配置成為每個(gè)狀態(tài)流表示產(chǎn)生評(píng)分。

13、設(shè)計(jì)優(yōu)化平臺(tái)還包括優(yōu)化設(shè)計(jì)模塊，其被配置成至少部分地基于為狀態(tài)流表示而確定的評(píng)分來確定fsm建模系統(tǒng)的優(yōu)化的狀態(tài)流表示。

14、優(yōu)化設(shè)計(jì)模塊可被配置成指導(dǎo)迭代模塊至少部分地基于根據(jù)優(yōu)化算法分析一個(gè)或多個(gè)評(píng)分來將域替選方案迭代成經(jīng)迭代的替選方案。

15、評(píng)分機(jī)制模塊可被配置成根據(jù)優(yōu)化算法來計(jì)算評(píng)分。

16、本公開的一個(gè)非限制性方面涉及了用于設(shè)計(jì)優(yōu)化的方法。所述方法可以包括從用戶設(shè)備接收與有限狀態(tài)機(jī)fsm建模系統(tǒng)的設(shè)計(jì)相關(guān)聯(lián)的數(shù)據(jù)。該數(shù)據(jù)可以描述fsm建模系統(tǒng)的狀態(tài)、狀態(tài)轉(zhuǎn)換、事件及輸出。該方法還可以包括接收多個(gè)域知識(shí)規(guī)則以定義fsm建模系統(tǒng)的狀態(tài)和狀態(tài)轉(zhuǎn)換中的一個(gè)或多個(gè)的域替選方案，并且生成fsm建模系統(tǒng)的多個(gè)狀態(tài)流表示，可選地，其中，狀態(tài)流表示中的每一個(gè)反映fsm建模系統(tǒng)在根據(jù)一個(gè)或多個(gè)域替選方案工作時(shí)的行為。該方法還可以包括為每個(gè)狀態(tài)流表示生成評(píng)分。

17、該方法可以包括至少部分地基于隨機(jī)化域知識(shí)規(guī)則的一個(gè)或多個(gè)特征來生成域替選方案。

18、該方法可以包括自動(dòng)地將一個(gè)或多個(gè)域替選方案迭代成經(jīng)迭代的替選方案，并且生成fsm建模系統(tǒng)的多個(gè)經(jīng)迭代的狀態(tài)流表示，可選地，每個(gè)經(jīng)迭代的狀態(tài)流表示表示了fsm建模系統(tǒng)在根據(jù)一個(gè)或多個(gè)經(jīng)迭代的替選方案工作時(shí)的原始行為。

19、該方法可以包括為經(jīng)迭代的狀態(tài)流表示中的每一個(gè)生成迭代評(píng)分。

20、該方法可以包括至少部分地基于評(píng)分和迭代評(píng)分來確定fsm建模系統(tǒng)的優(yōu)化的狀態(tài)流表示。

21、該方法可以包括使用優(yōu)化算法計(jì)算評(píng)分和迭代評(píng)分。

22、當(dāng)結(jié)合附圖和所附權(quán)利要求時(shí)，從以下對(duì)用于實(shí)施本公開的說明性示例和模式的詳細(xì)描述中，本公開的以上特征和優(yōu)點(diǎn)以及其他特征和伴隨的優(yōu)點(diǎn)應(yīng)當(dāng)是顯而易見的。此外，本公開明確地包括了上文和下文呈現(xiàn)的要素和特征的組合和子組合。

技術(shù)特征：

1.一種設(shè)計(jì)優(yōu)化平臺(tái)，包括：

2.根據(jù)權(quán)利要求1所述的設(shè)計(jì)優(yōu)化平臺(tái)，還包括：

3.根據(jù)權(quán)利要求2所述的設(shè)計(jì)優(yōu)化平臺(tái)，其中：

4.根據(jù)權(quán)利要求3所述的設(shè)計(jì)優(yōu)化平臺(tái)，其中：

5.根據(jù)權(quán)利要求4所述的設(shè)計(jì)優(yōu)化平臺(tái)，還包括：

6.根據(jù)權(quán)利要求5所述的設(shè)計(jì)優(yōu)化平臺(tái)，還包括：

7.根據(jù)權(quán)利要求5所述的設(shè)計(jì)優(yōu)化平臺(tái)，還包括：

8.根據(jù)權(quán)利要求7所述的設(shè)計(jì)優(yōu)化平臺(tái)，其中：

9.根據(jù)權(quán)利要求1所述的設(shè)計(jì)優(yōu)化平臺(tái)，其中：

10.根據(jù)權(quán)利要求1所述的設(shè)計(jì)優(yōu)化平臺(tái)，其中：

技術(shù)總結(jié)
一種用于優(yōu)化有限狀態(tài)機(jī)(FSM)建模系統(tǒng)的支持性的基于軟件的“工具箱”。該優(yōu)化可以包括為FSM建模系統(tǒng)定義多個(gè)替選方案模型，并將一個(gè)或多個(gè)域替選方案迭代成經(jīng)迭代的替選方案。優(yōu)化可以包括根據(jù)迭代的替選方案生成FSM建模系統(tǒng)的多個(gè)狀態(tài)流表示，并且基于此，生成每個(gè)狀態(tài)流表示的模型評(píng)分，至少部分地基于用戶體驗(yàn)、可用性、正確性、可轉(zhuǎn)換性、有效性和準(zhǔn)備好的狀態(tài)中的一個(gè)或多個(gè)來預(yù)測(cè)地對(duì)狀態(tài)流表示進(jìn)行排名。

技術(shù)研發(fā)人員：Z·布納亞,D·魯濱,A·德佳尼,Y·S·弗里德蘭,S·阿福尼特
受保護(hù)的技術(shù)使用者：通用汽車環(huán)球科技運(yùn)作有限責(zé)任公司
技術(shù)研發(fā)日：
技術(shù)公布日：2025/1/9