- 您好，
- 歡迎訪問(wèn)無(wú)人機(jī)網(wǎng)（www.hldxsj.cn)!
-
- 消息0
- 請(qǐng)登錄
- 免費(fèi)注冊(cè)
-
微信號(hào):youuav
關(guān)注官方微信
m.youuav.com手機(jī)掃碼看新聞
-
- 求購(gòu)
- 發(fā)布求購(gòu)
- 管理求購(gòu)
- 添加收藏
- 關(guān)于我們
無(wú)人機(jī)整機(jī)
無(wú)人機(jī)配件
無(wú)人機(jī)服務(wù)
設(shè)備與工具
Sol - 生命安全腳本
在個(gè)人計(jì)算機(jī)和服務(wù)器上，軟件通常是腳本化的。因?yàn)殚_(kāi)發(fā)速度更快，維護(hù)更容易，編寫(xiě)復(fù)雜的算法也更加強(qiáng)大。如果我們能夠?yàn)镈O-178C A級(jí)可認(rèn)證的航空電子軟件做到這一點(diǎn)，那會(huì)不會(huì)很好？難道我們能夠創(chuàng)建一種非常安全的腳本語(yǔ)言來(lái)自動(dòng)證明其正確性，并且在很大程度上符合DO-178C的開(kāi)箱即用目標(biāo)，這不是很好嗎？為什么在計(jì)算機(jī)可以為您完成這項(xiàng)工作時(shí)，花費(fèi)時(shí)間，精力和金錢來(lái)遵守和證明正確性？
這就是Sol的設(shè)計(jì)目標(biāo)。Sol是一種腳本語(yǔ)言，專為DO-178C航空電子應(yīng)用而設(shè)計(jì)，專注于易用性，同時(shí)也專注于認(rèn)證自動(dòng)化。（UN）MANNED從DO-178C的71個(gè)目標(biāo)開(kāi)始，旨在為這些目標(biāo)提供最大允許的自動(dòng)化。
生成的腳本語(yǔ)言Sol允許輕松有效地建模系統(tǒng)規(guī)范。使用DO-178C限定編譯器，Sol腳本將轉(zhuǎn)換為可執(zhí)行代碼。
驚人的認(rèn)證和驗(yàn)證
因?yàn)槲覀儚腄O-178C開(kāi)始，所以我們的Sol編譯器在取消硬認(rèn)證工作方面超越了市場(chǎng)上的任何其他東西。您對(duì)生成的代碼沒(méi)有任何審核活動(dòng)。更好的是，我們還確保您不必?fù)?dān)心A級(jí)代碼的編譯器合規(guī)性，并且我們還確保目標(biāo)平臺(tái)兼容性。沒(méi)有其他航空電子軟件開(kāi)發(fā)產(chǎn)品可以做出相同的聲明。
但我們不止于此。在設(shè)計(jì)階段，我們的編譯器已經(jīng)為您提供了集成模型檢查和最壞情況執(zhí)行時(shí)間，以及其他分析信息。這使您可以直接從系統(tǒng)要求的模型中測(cè)量軟件安全參數(shù)。
在驗(yàn)證期間，我們提供腳本覆蓋信息。我們還提供經(jīng)過(guò)認(rèn)證的目標(biāo)仿真環(huán)境，允許您測(cè)試腳本。使用Sol平臺(tái)測(cè)試非常難以做到的情況（例如硬件故障）是很簡(jiǎn)單的。
功能完善
作為一種腳本語(yǔ)言，Sol旨在設(shè)計(jì)航空電子應(yīng)用。
Sol在腳本中提供符合ARINC 661（駕駛艙顯示系統(tǒng)）的符號(hào)系統(tǒng)。您可以使用包含駕駛艙顯示系統(tǒng)標(biāo)準(zhǔn)中任何符號(hào)的工具箱繪制到屏幕。我們添加了許多其他符號(hào)，可用于現(xiàn)實(shí)生活中的駕駛艙設(shè)計(jì)。使用Sol了解有關(guān)建筑屏幕的更多信息。
Sol還包括其他極高級(jí)功能，例如A級(jí)文件系統(tǒng)，A級(jí)數(shù)據(jù)庫(kù)系統(tǒng)，A級(jí)UDP，TFTP，TCP和FTP。
當(dāng)然，Sol還原生支持所有常見(jiàn)的航空電子總線，如ARINC 429，MIL-STD 1553，RS-422，分立，以太網(wǎng)等。
開(kāi)箱即用，Sol甚至提供實(shí)時(shí)跨設(shè)備同步功能，專門用于創(chuàng)建冗余硬件級(jí)A航空電子解決方案。
大幅降低項(xiàng)目成本
在現(xiàn)實(shí)生活中使用Sol時(shí)，可以大幅降低成本：
第一天工作原型;
手工開(kāi)發(fā)的端到端項(xiàng)目工作量減少了90％;
軟件認(rèn)證成本降低75％;
測(cè)試成本降低了90％;
對(duì)于具有功能性視覺(jué)影響的更改，可以在幾個(gè)小時(shí)內(nèi)更改完整文檔更新和重新認(rèn)證的請(qǐng)求處理。
此外，Sol比任何替代方案更安全，因?yàn)樗峁┳詣?dòng)模型級(jí)測(cè)試，自動(dòng)覆蓋分析，自動(dòng)化平臺(tái)合規(guī)性檢查，自動(dòng)化最壞情況執(zhí)行檢查以及完全消除編碼錯(cuò)誤。
任何平臺(tái)
Sol平臺(tái)可以在流行的平臺(tái)上運(yùn)行，例如VxWorks 653，但也可以移植到您喜歡的操作系統(tǒng)。它也可以在iPad上運(yùn)行，非常適合早期原型設(shè)計(jì)。
