安全關(guān)鍵型嵌入式系統(tǒng)
關(guān)注創(chuàng)建者：匿名 創(chuàng)建時間：2021-11-25
安全關(guān)鍵型嵌入式系統(tǒng)的實(shí)例教程
本次技術(shù)聯(lián)合將確保航空航天、汽車及其他行業(yè)的安全關(guān)鍵型系統(tǒng)自動完成驗(yàn)證，具備安全可靠性能
主要亮點(diǎn)
霍尼韋爾航空航天集團(tuán)使用Ansys仿真技術(shù)加速安全關(guān)鍵型嵌入式系統(tǒng)的研發(fā)、分析和認(rèn)證
將霍尼韋爾自主開發(fā)的基于模型的驗(yàn)證解決方案與Ansys基于模型的研發(fā)環(huán)境集成，能夠可靠地設(shè)計(jì)、仿真和測試自動駕駛汽車、電動飛機(jī)和安全關(guān)鍵型代碼的嵌入式代碼
通過全新深入的合作，Ansys將為霍尼韋爾航空航天集團(tuán)提供基于模型的研發(fā)解決方案，以加速在各個垂直行業(yè)對自動駕駛汽車、電動飛機(jī)和安全關(guān)鍵型代碼中的安全關(guān)鍵型嵌入式系統(tǒng)的研發(fā)、分析與認(rèn)證。
安全關(guān)鍵型嵌入式軟件必須符合嚴(yán)格且復(fù)雜的行業(yè)法規(guī)。這種關(guān)鍵型軟件的驗(yàn)證和確認(rèn)是一項(xiàng)成本高昂、耗時耗力的工作，和許多手動操作過程一樣，它也容易出錯。霍尼韋爾與Ansys合作開發(fā)的基于模型的可靠工作流程進(jìn)一步擴(kuò)展了兩家公司的測試與分析功能，在整個軟件研發(fā)過程中提供自動化、效率與價值。將霍尼韋爾自主開發(fā)的基于模型的驗(yàn)證解決方案與Ansys基于模型的研發(fā)環(huán)境集成，能夠可靠地設(shè)計(jì)、仿真和測試廣泛應(yīng)用的嵌入式代碼。
Ansys聯(lián)合霍尼韋爾確保航空航天、汽車和其他行業(yè)的安全關(guān)鍵系統(tǒng)得到自動驗(yàn)證，且安全和可靠
霍尼韋爾航空航天集團(tuán)高級技術(shù)總監(jiān)Jeff Radke表示：“Ansys與我們共同致力于轉(zhuǎn)型軟件研發(fā)。此次合作將有助于降低研發(fā)成本，縮短霍尼韋爾產(chǎn)品的上市時間。
展開 本次技術(shù)聯(lián)合將確保航空航天、汽車及其他行業(yè)的安全關(guān)鍵型系統(tǒng)自動完成驗(yàn)證，具備安全可靠性能
主要亮點(diǎn)
霍尼韋爾航空航天集團(tuán)使用Ansys仿真技術(shù)加速安全關(guān)鍵型嵌入式系統(tǒng)的研發(fā)、分析和認(rèn)證
將霍尼韋爾自主開發(fā)的基于模型的驗(yàn)證解決方案與Ansys基于模型的研發(fā)環(huán)境集成，能夠可靠地設(shè)計(jì)、仿真和測試自動駕駛汽車、電動飛機(jī)和安全關(guān)鍵型代碼的嵌入式代碼
通過全新深入的合作，Ansys將為霍尼韋爾航空航天集團(tuán)提供基于模型的研發(fā)解決方案，以加速在各個垂直行業(yè)對自動駕駛汽車、電動飛機(jī)和安全關(guān)鍵型代碼中的安全關(guān)鍵型嵌入式系統(tǒng)的研發(fā)、分析與認(rèn)證。
安全關(guān)鍵型嵌入式軟件必須符合嚴(yán)格且復(fù)雜的行業(yè)法規(guī)。這種關(guān)鍵型軟件的驗(yàn)證和確認(rèn)是一項(xiàng)成本高昂、耗時耗力的工作，和許多手動操作過程一樣，它也容易出錯。霍尼韋爾與Ansys合作開發(fā)的基于模型的可靠工作流程進(jìn)一步擴(kuò)展了兩家公司的測試與分析功能，在整個軟件研發(fā)過程中提供自動化、效率與價值。將霍尼韋爾自主開發(fā)的基于模型的驗(yàn)證解決方案與Ansys基于模型的研發(fā)環(huán)境集成，能夠可靠地設(shè)計(jì)、仿真和測試廣泛應(yīng)用的嵌入式代碼。
Ansys聯(lián)合霍尼韋爾確保航空航天、汽車和其他行業(yè)的安全關(guān)鍵系統(tǒng)得到自動驗(yàn)證，且安全和可靠
霍尼韋爾航空航天集團(tuán)高級技術(shù)總監(jiān)Jeff Radke表示：“Ansys與我們共同致力于轉(zhuǎn)型軟件研發(fā)。此次合作將有助于降低研發(fā)成本，縮短霍尼韋爾產(chǎn)品的上市時間。
展開 適用于關(guān)鍵嵌入式軟件系統(tǒng)的仿真解決方案
http://www.ansys.com/zh-CN/products/embedded-software
嵌入式軟件
嵌入式系統(tǒng)與軟件開發(fā)
嵌入式軟件越來越普遍地用于智能設(shè)備，但不完美的代碼可能會導(dǎo)致眾多產(chǎn)品故障。據(jù)業(yè)界領(lǐng)導(dǎo)者預(yù)計(jì)，每 1,000 行嵌入式軟件代碼包含 8 個漏洞。為了管理這一質(zhì)量風(fēng)險，以及達(dá)到更高的軟件認(rèn)證標(biāo)準(zhǔn)，您需要充分利用嵌入式軟件開發(fā)工具和認(rèn)證代碼生成器。
ANSYS 提供基于模型的嵌入式軟件開發(fā)和仿真環(huán)境，環(huán)境內(nèi)置自動代碼生成器，以加快嵌入式軟件開發(fā)項(xiàng)目的速度。系統(tǒng)和軟件工程師利用 ANSYS SCADE 解決方案生動地設(shè)計(jì)、驗(yàn)證并自動生成高可靠性要求的關(guān)鍵系統(tǒng)和軟件應(yīng)用。SCADE 解決方案具有較高的可互操作性，并且能夠輕松集成，從而實(shí)現(xiàn)開發(fā)優(yōu)化并加強(qiáng)各團(tuán)隊(duì)成員之間的溝通。
展開 本次技術(shù)聯(lián)合將確保航空航天、汽車及其他行業(yè)的安全關(guān)鍵型系統(tǒng)自動完成驗(yàn)證，具備安全可靠性能
主要亮點(diǎn)
霍尼韋爾航空航天集團(tuán)使用Ansys仿真技術(shù)加速安全關(guān)鍵型嵌入式系統(tǒng)的研發(fā)、分析和認(rèn)證
將霍尼韋爾自主開發(fā)的基于模型的驗(yàn)證解決方案與Ansys基于模型的研發(fā)環(huán)境集成，能夠可靠地設(shè)計(jì)、仿真和測試自動駕駛汽車、電動飛機(jī)和安全關(guān)鍵型代碼的嵌入式代碼
通過全新深入的合作，Ansys將為霍尼韋爾航空航天集團(tuán)提供基于模型的研發(fā)解決方案，以加速在各個垂直行業(yè)對自動駕駛汽車、電動飛機(jī)和安全關(guān)鍵型代碼中的安全關(guān)鍵型嵌入式系統(tǒng)的研發(fā)、分析與認(rèn)證。
安全關(guān)鍵型嵌入式軟件必須符合嚴(yán)格且復(fù)雜的行業(yè)法規(guī)。這種關(guān)鍵型軟件的驗(yàn)證和確認(rèn)是一項(xiàng)成本高昂、耗時耗力的工作，和許多手動操作過程一樣，它也容易出錯。霍尼韋爾與Ansys合作開發(fā)的基于模型的可靠工作流程進(jìn)一步擴(kuò)展了兩家公司的測試與分析功能，在整個軟件研發(fā)過程中提供自動化、效率與價值。將霍尼韋爾自主開發(fā)的基于模型的驗(yàn)證解決方案與Ansys基于模型的研發(fā)環(huán)境集成，能夠可靠地設(shè)計(jì)、仿真和測試廣泛應(yīng)用的嵌入式代碼。
Ansys聯(lián)合霍尼韋爾確保航空航天、汽車和其他行業(yè)的安全關(guān)鍵系統(tǒng)得到自動驗(yàn)證，且安全和可靠
霍尼韋爾航空航天集團(tuán)高級技術(shù)總監(jiān)Jeff Radke表示：“Ansys與我們共同致力于轉(zhuǎn)型軟件研發(fā)。此次合作將有助于降低研發(fā)成本，縮短霍尼韋爾產(chǎn)品的上市時間。
展開 image_process=/format,webp" data-initial-src="https://img.jishulink.com/202312/attachment/afac58041bee4413a266a3319db69322.jpg"></figure>
</div><p class="ql-align-center"><br></p><ul><li>仿真及驗(yàn)證需求規(guī)范</li></ul><p> Stimulus使系統(tǒng)架構(gòu)師能夠模擬需求，并在設(shè)計(jì)開始之前檢測到模糊、不正確、缺失或沖突的需求，從而創(chuàng)建安全關(guān)鍵型嵌入式系統(tǒng)驗(yàn)證所需的高質(zhì)量規(guī)范。Stimulus使用“自然語言”對需求進(jìn)行建模、仿真并驗(yàn)證需求，Stimulus中包含了豐富的時間與邏輯運(yùn)算符，例如：“當(dāng)……時”“如果”“大于”“只有”等。通過對需求按照運(yùn)算符進(jìn)行重新書寫，可以驗(yàn)證需求中是否存在沖突；通過對仿真結(jié)果的觀察，來驗(yàn)證需求規(guī)范中是否存在沖突與缺陷，進(jìn)而保證了需求規(guī)范的正確性。開發(fā)團(tuán)隊(duì)可以用更少的時間重新定義需求、重寫和重新調(diào)試代碼，從而減少實(shí)現(xiàn)高質(zhì)量結(jié)果所需的開發(fā)迭代。</p><p> </p><ul><li>生成測試用例及系統(tǒng)驗(yàn)證</li></ul><p> 在驗(yàn)證階段，Stimulus還使測試工程師能夠自動生成測試向量和測試目標(biāo)，并檢查嵌入式代碼是否符合其規(guī)范。Stimulus可以根據(jù)需求描述自動生成符合需求的測試用例（需求可以是高層次需求或者低層次需求），也可以在Stimulus中使用“自然語言”描述測試場景，并生成符合測試場景的測試用例。Stimulus不但可以根據(jù)需求生成測試用例，還可以監(jiān)測系統(tǒng)輸出是否符合需求規(guī)格說明中的要求。
展開 
安全關(guān)鍵型嵌入式系統(tǒng)的相關(guān)專題、標(biāo)簽、搜索
安全關(guān)鍵型嵌入式系統(tǒng)的最新內(nèi)容
afac58041bee4413a266a3319db69322.jpg"></figure>
</div><p class="ql-align-center"><br></p><ul><li>仿真及驗(yàn)證需求規(guī)范</li></ul><p> Stimulus使系統(tǒng)架構(gòu)師能夠模擬需求，并在設(shè)計(jì)開始之前檢測到模糊、不正確、缺失或沖突的需求，從而創(chuàng)建安全關(guān)鍵型嵌入式系統(tǒng)驗(yàn)證所需的高質(zhì)量規(guī)范
本次技術(shù)聯(lián)合將確保航空航天、汽車及其他行業(yè)的安全關(guān)鍵型系統(tǒng)自動完成驗(yàn)證，具備安全可靠性能
主要亮點(diǎn)
霍尼韋爾航空航天集團(tuán)使用Ansys仿真技術(shù)加速安全關(guān)鍵型嵌入式系統(tǒng)的研發(fā)、
本次技術(shù)聯(lián)合將確保航空航天、汽車及其他行業(yè)的安全關(guān)鍵型系統(tǒng)自動完成驗(yàn)證，具備安全可靠性能
主要亮點(diǎn)
霍尼韋爾航空航天集團(tuán)使用Ansys仿真技術(shù)加速安全關(guān)鍵型嵌入式系統(tǒng)的研發(fā)
本次技術(shù)聯(lián)合將確保航空航天、汽車及其他行業(yè)的安全關(guān)鍵型系統(tǒng)自動完成驗(yàn)證，具備安全可靠性能
主要亮點(diǎn)
霍尼韋爾航空航天集團(tuán)使用Ansys仿真技術(shù)加速安全關(guān)鍵型嵌入式系統(tǒng)的研發(fā)、
適用于關(guān)鍵嵌入式軟件系統(tǒng)的仿真解決方案
http://www.ansys.com/zh-CN/products/embedded-software
嵌入式軟件
嵌入式系統(tǒng)與軟件開發(fā)
嵌入式軟件越來越普遍地用于智能設(shè)備，但不完美的代碼可能會導(dǎo)致眾多產(chǎn)品故障。據(jù)業(yè)界領(lǐng)導(dǎo)者預(yù)計(jì)，每
