奧鏈ˇ奧看を千沮、簿鱗步でシステムを蝗いやすくしたWind RiverのVxWorks
寥み哈みソフトウエア絡緘のWind RiverのマルチコアSoC羹けのリアルタイムOS∈RTOS∷であるVxWorks 653 4.0マルチコア惹では、簿鱗步菇喇を何ることができるが、その奧鏈拉(safety)とセキュリティについて、丸泣した票家ビジネス倡券ディレクタ〖のAlex Wilson會(哭1)が豺棱した。
哭1 Wind Riverビジネス倡券ディレクタ〖のAlex Wilson會
Wilson會は、≈奧鏈拉∽はシステムが件跋に灤して巢を第ぼさないようにすることであり、≈セキュリティ∽は嘲からシステムに巢が第ぶのを松ぐことだ、と年盜する。奧鏈拉は、これまでの旺悟から池ぶことができる。毋えば、ロボットが侯度鎊を播ってしまったり、クルマが咀仆禍肝を彈こしたりした沸賦猛を池漿することで箕粗と鼎にますます奧鏈になる。これに灤してセキュリティは、部鉗にも畔って茍封が躬攤になり、箕粗の沸冊とともにますます豈しくなるという潑魔がある。
奧鏈拉は帽なる蛤奶や掛鄂怠だけではなく、供眷でのプロセス擴告やオ〖トメ〖ション、券排疥や排蝸廢琵でも啼瑪になったことが驢く、プロセス擴告ではIEC 61508、排蝸廢エネルギ〖ではIEC 60880といった憚呈がある。Wind Riverは、リスクが光いほどシステムの奧鏈を么瘦するという緘恕を何る。VxWorksはIEC 61508 SIL3レベルの千沮を評ており、このRTOSをユ〖ザ〖が蝗えば、ユ〖ザ〖は千沮を艱評する澀妥がないという。VxWorksはTUVなどの媽3莢怠簇による千年今∈哭2∷を艱評しているからだ。これ笆嘲にも、DO-178CレベルA千沮や、浮沮テストハ〖ネス、浮沮貉みのOSバイナリなどの千年沮湯今を積つ。
哭2 奧鏈を么瘦するVxWorksの千年今
VxWorks Safetyサブセットには、千沮されたAPI∈Application Programming Interface∷サブセット、箕粗弄ˇ鄂粗弄なパ〖ティショニング、リソ〖ス擴告など、ユ〖ザ〖が奧鏈拉を侯喇するうえで舔に惟つ怠墻がある。このためユ〖ザ〖は極尸の評罷なコア禱窖に礁面できるため、瀾墑の倡券コストや瘦奸コストが奧く貉む。VxWorksのような輝任のRTOSは千沮貉みであるため、そのためのコストは妥らない懼に哪懾步を松ぐこともできる。
奧鏈拉もセキュリティも么瘦するために、VxWorks SafetyサブセットにはもともとSIL 3で瘦沮された奧鏈なアプリケ〖ションと、奧鏈拉は瘦沮されないアプリケ〖ションの尉數を瘤らせることができるように鄂粗弄に尸充されている。怠墻奧鏈のハ〖ドウエアとしてArmコアやIntel、PowerPCプロセッサに灤炳している。
さらに箕粗弄にもハイパ〖バイザを蝗って箕尸充のパ〖ティショニングを乖う(哭3)。箕癸t1では、答創廢のような潤撅に腳妥な怠墻∈モ〖タ擴告や鈍締瓢侯など∷を減け積ち、箕癸t2では面鎳刨に腳妥な怠墻(奶慨怠墻など)を減け積ち、さらに箕癸t3でそれほど腳妥ではない怠墻∈HMIやロギング、システムチェックなど∷を減け積っていく。この簿鱗步プロセスでは尸充眶に懼嘎はなく、杠狄が瘋めることができるとWilson會は咐う。
哭3 箕尸充のパ〖ティショニングで簿鱗步を悸附する 叫諾¨Wind River
リソ〖ス擴告では、アプリケ〖ションからどのOSを擴告すべきかを瘋める。システム奶慨では釣推される奶慨を擴嘎し、どのような奶慨にもフィルタをかけることができる。また、嘲嬸から湯らかに釣推されないオブジェクトがアクセスできないようにコ〖ドを奸っている。メモリ推翁の充り碰てにも懼嘎を肋けている。
鄂粗弄∈濕妄弄∷なパ〖ティショニングに灤しては、掛鄂や供眷オ〖トメ〖ション、極瓢賈脫となどさまざまな妥滇に灤してもVxWorksのハイパ〖バイザを蝗って、どのOSを蝗うべきかをサポ〖トする。マルチコアˇマルチタスクを肩蝸とする64ビットArmコアとIntelプロセッサを晾っている。いろいろなOSでも辦刨千沮を減ければ戮の脫龐にも浩網脫できる。
哭4 鄂粗尸充のパ〖ティショニングで簿鱗步を悸附する 叫諾¨Wind River
毋えば、掛鄂怠簇犯では(哭4)、奧鏈拉の光いアプリケ〖ションにはSIL 3レベルのVxWorks Safetyサブセットをコア0懼で瘤らせ、奧鏈拉の你いアプリケ〖ションにはWind River Linuxをコア2懼で瘤らせることができる。ここでも奧鏈拉が么瘦されたVxWorksハイパ〖バイザで稱ソフトウエアを擴告する。
呵稿に卡れておくが2009鉗にIntelが寥み哈みシステムを動步するためWind Riverを傾箭し、3奉まで魯いていたが、4奉になって抨獲柴家のTPGに卿笛することを瘋めた。これに灤してWilson會はコメントしていないが、おそらくIntelは寥み哈みシステムでのRTOSが稍妥になり、むしろクラウドのデ〖タセンタ〖などハイエンドコンピュ〖ティングを動步するためであろう。やはりIntelはIoTシステムの懼疤レイヤ〖を謄回す數克を蓋めたといえそうだ。
