国产精品亚洲综合一区在线观看_国产精品色哟哟网站_欧美日韩在线精品一区二区三区激情综合,国产福利电影一区二区三区，欧美日韩成人精品久久久免费看,欧美日韩国产中文精品字幕自在自线,欧美日韩激情无码专区,欧美日韩精品一区二区三区不卡,亚洲精品国产日韩无码AV永久免费网,欧美一级毛片在播放免费,久久中文字幕,91精品国产福利在线观看麻豆,国产福利视频一区二区三区

職位描述：

1、操作系統的論證工作
2、操作系統的軟件架構設計作
3、產品需求分析及設計

崗位要求：
熟悉操作系統原理，熟悉面向嵌入式的宏內核、微內核操作系統，有相關架構設計經驗，至少熟悉一個硬件架構：ARM、X86、PPC具有安全關鍵軟件的架構、模塊設計能力以及經驗，掌握安全關鍵軟件的設計方法及工具。GNU編譯工具鏈有比較深刻的理解；熟練掌握C編程語言，具備較強的編碼能力。
具備較強英語讀寫能力
了解形式化設計及驗證方法，有模型驅動開發經驗優先。
具有ARINC653系統開發或者應用經驗者優先。
具有航空電子軟件開發經驗者優先。
具有RTCA DO-178標準實踐經驗者優先。