抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
マルチタスクは,複数のタスクを同じハードウェア上で実行することを可能にし,空間分割は,それらの間の強い分離を強制することを目指し,タスクは,許可を許さないメモリ領域へのアクセスを行わなければならない。この挙動は,専用ハードウェアコンポーネントによって可能になったメモリ保護方式によって実行時間で実行される。今日,メモリ保護は,主に動的要求(例えば,タスクの可変数)で,システムの大きな多様性で広く実行される。安全クリティカルシステムは,故障の最小確率を確保するために高レベルの認証に従わなければならないが,メモリ保護を義務づける埋込み実行可能に厳しい要求を受けるが,重要な認証努力を必要とする。本論文では,安全特性を損なうことなく認証コストを削減することを目的として,安全クリティカルシステムに向けた静的で検証可能なメモリ分割方式の生成法を提案した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】