風(fēng)河VxWorks Cert
VxWorks Cert平臺是面向高可靠、高安全計算機系統(tǒng)的商業(yè)化操作系統(tǒng)平臺，適用于那些必須通過嚴格的RTCA/DO-178B或EUROCAE/ED-12B（機載系統(tǒng)和設(shè)備合格審定中的軟件考慮）、RTCA/DO-278（地面系統(tǒng)的認證），或其他相當(dāng)?shù)陌踩珮?biāo)準(zhǔn)驗證的系統(tǒng)。
VxWorks Cert平臺是基于標(biāo)準(zhǔn)的VxWorks 6.6開發(fā)的操作系統(tǒng)，在VxWorks 6.6基礎(chǔ)上選擇了多于240個系統(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庫。這些調(diào)用全部具有確定性并完全滿足DO-178B/IEC61508安全標(biāo)準(zhǔn)。
因為Workbench和VxWorks接口在驗證和非驗證配置下是相同的，所以與VxWorks Cert擁有相同系統(tǒng)調(diào)用的VxWorks代碼無需修改，在Workbench下可直接立即導(dǎo)到VxWorks Cert驗證環(huán)境中，從而極大地提高了工業(yè)控制系統(tǒng)的開發(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
