風(fēng)河VxWorks Cert
VxWorks Cert平臺(tái)是面向高可靠、高安全計(jì)算機(jī)系統(tǒng)的商業(yè)化操作系統(tǒng)平臺(tái)，適用于那些必須通過(guò)嚴(yán)格的RTCA/DO-178B或EUROCAE/ED-12B（機(jī)載系統(tǒng)和設(shè)備合格審定中的軟件考慮）、RTCA/DO-278（地面系統(tǒng)的認(rèn)證），或其他相當(dāng)?shù)陌踩珮?biāo)準(zhǔn)驗(yàn)證的系統(tǒng)。
VxWorks Cert平臺(tái)是基于標(biāo)準(zhǔn)的VxWorks 6.6開(kāi)發(fā)的操作系統(tǒng)，在VxWorks 6.6基礎(chǔ)上選擇了多于240個(gè)系統(tǒng)調(diào)用API（VxWorks 6.6的子集），包括Cache、Clock、Event Flag、Interrupt、Memory Management、Message Queue、Ring Buffer、Semaphore、Signal、Task Management Calls以及相應(yīng)的C庫(kù)。這些調(diào)用全部具有確定性并完全滿足DO-178B/IEC61508安全標(biāo)準(zhǔn)。
因?yàn)閃orkbench和VxWorks接口在驗(yàn)證和非驗(yàn)證配置下是相同的，所以與VxWorks Cert擁有相同系統(tǒng)調(diào)用的VxWorks代碼無(wú)需修改，在Workbench下可直接立即導(dǎo)到VxWorks Cert驗(yàn)證環(huán)境中，從而極大地提高了工業(yè)控制系統(tǒng)的開(kāi)發(fā)速度和質(zhì)量。
VxWorks Cert Platform 包含的組件
Wind River Workbench 3.1
Wind River VxWorks 6.6
VxWorks 6.6（VxWorks Cert）
GNU Compiler 4.1.2
Wind River Compiler 5.6.0
MPC 8349E參考BSP（PowerPC 603 Architecture， PowerPC e300 Core）
可選擇的組件
Certified Network StackTCP/UDP/IPv4With Multicast
Workbench Plug-in For On-Chip-Debugging（OCD）
DO-178B/IEC61508 Certification Evidence DVD
